Tagged `[programming]`

7n6% | FREST Substack | Guyren Howe | Substack
2025-07-01 frest.substack.com blogs databases programming
7n5$ | People Keep Inventing Prolly Trees | DoltHub Blog
2025-07-01 dolthub.com programming
7mp* | Weird expressions in rust
2025-06-28 wakunguma.com programming rust
7ju- | Teal
2025-05-16 teal-language.org programming types
7je: | Stability by Design
2025-05-09 potetm.com clojure programming
7hd, | Turing Drawings
2025-04-20 maximecb.github.io art programming weird
7gt& | A prettier printer - Philip Wadler
2025-04-10 homepages.inf.ed.ac.uk papers programming
7gh: | GitHub - IUCompilerCourse/Essentials-of-Compilation: A book about compiling Racket and Python to x86-64 assembly
2025-04-05 github.com books lisp programming
7gg. | An Incremental Approach to Compiler Construction
2025-04-05 scheme2006.cs.uchicago.edu lisp papers programming
7f14* | Cloudflare - Building fast interpreters in Rust
2025-03-24 cloudflare.com programming rust
7f13' | Simple but Powerful Pratt Parsing
2025-03-24 matklad.github.io programming rust
7fw* | GitHub - ksqsf/pest-mode: A major mode for editing Pest files
2025-03-22 github.com emacs programming rust
78x^ | Thinking Above the Code - Leslie Lamport [pdf]
2024-11-03 microsoft.com presentations programming writing
78r. | Get Me Out Of Data Hell — Ludicity
2024-11-02 ludic.mataroa.blog databases programming work
74s* | Safe Documents (SafeDocs)
2024-08-19 darpa.mil cybersecurity programming
731; | Pin
2024-07-22 without.boats programming rust
72s& | Docs as Code — Write the Docs
2024-07-09 writethedocs.org documentation programming
7112' | ACTIONS AND OTHER EVENTS IN SITUATION CALCULUS - John McCarthy
2024-06-21 www-formal.stanford.edu papers programming
6xv& | The Checker Framework
2024-04-28 checkerframework.org java programming
6xu% | GitHub - uber/NullAway: A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
2024-04-28 github.com java programming
6xk; | Personal Software Process (PSP) SEI CMU Body of Knowledge
2024-04-22 insights.sei.cmu.edu documentation engineering programming work
6w17, | HN Comment: Code search is hard
2024-04-11 ycombinator.com programming quotes
6vv$ | Marc Brooker's Blog - Marc's Blog
2024-03-28 brooker.co.za blogs programming
6p5% | Medley Interlisp
2023-11-19 interlisp.org lisp programming retro
6m14< | Someone saying 'No, it's less effort than that!'?
2023-10-21 smartguess.is estimates programming
6k2h. | The Glitch Gallery
2023-10-10 glitchgallery.org programming
6kn# | Angular Conventional Commit types
2023-09-25 github.com programming
6k2> | API design guide | Cloud APIs | Google Cloud
2023-09-22 cloud.google.com programming web
6j29^ | Fennel – Why Fennel?
2023-09-13 fennel-lang.org programming
6j1m< | Understanding Real-World Concurrency Bugs in Go
2023-09-08 songlh.github.io golang papers programming
6j1d% | How Query Engines Work
2023-09-08 howqueryengineswork.com books databases programming
6jr& | Shape Up: Stop Running in Circles and Ship Work that Matters
2023-09-06 basecamp.com programming
6jp$ | "Waterfall" doesn't mean what you think it means |> Changelog
2023-09-06 changelog.com programming
6jh< | Michael Perry - Software Mathematician, Pluralsight author
2023-09-05 michaelperry.net architecture programming
6jg; | So you want to modify the text of a PDF by hand · GitHub
2023-09-05 gist.github.com forensics programming
6jf: | Wikipedia search-by-vibes through millions of pages offline | Little Short Bulletins
2023-09-04 leebutterman.com ai offline programming web
6jc, | You Don't Need to Learn Svelte – Here's Why
2023-09-04 kaviisuri.com javascript programming web
6ja' | Classic Programmer Paintings
2023-09-04 classicprogrammerpaintings.com programming satire
6j9# | 6.5840 Lab 2: Raft
2023-09-04 pdos.csail.mit.edu programming raft
6j4@ | CRDTs: The Hard Parts - YouTube
2023-09-04 youtube.com crdt presentations programming
6h3y* | Patterns with Rust types
2023-09-01 shuttle.rs programming rust
6h3s! | How to Implement OAuth in Rust
2023-08-31 shuttle.rs programming rust web
6h3n> | Measuring developer productivity? A response to McKinsey
2023-08-30 newsletter.pragmaticengineer.com programming
6h3e& | Reaching the Unix Philosophy's Logical Extreme with Webassembly - Xe Iaso
2023-08-29 xeiaso.net programming unix wasm
6h3b# | OpenTelemetry Demo Documentation | OpenTelemetry
2023-08-28 opentelemetry.io programming
6h3a! | OpenTelemetry Semantic Conventions 1.21.0 | OpenTelemetry
2023-08-28 opentelemetry.io programming
6h2q^ | Close to the Machine: Technophilia and its discontents | manu
2023-08-25 manu.zone literature programming
6h2j- | Understanding Automatic Differentiation in 30 lines of Python
2023-08-25 vmartin.fr machinelearning math programming python
6h2g' | How we designed Cedar to be intuitive to use, fast, and safe | AWS Security Blog
2023-08-24 aws.amazon.com cybersecurity programming
6h2b! | Introduction | p2panda
2023-08-22 p2panda.org programming
6h2a~ | HTTPX
2023-08-21 python-httpx.org programming python software
6h25. | My patch review workflow | Josef Bacik’s Blog
2023-08-20 josefbacik.github.io git programming
6h24- | Using lei, b4, and mutt to do kernel development | Josef Bacik’s Blog
2023-08-20 josefbacik.github.io blogs git programming
6h1p> | Structuring your Infrastructure as Code | lbr.
2023-08-19 leebriggs.co.uk cloud programming
6h1m: | C# Application Markup Language (CSAML): A Preview [2006]
2023-08-19 charlespetzold.com programming satire
6h1e$ | GitHub - graphql-rust/juniper: GraphQL server library for Rust
2023-08-19 github.com graphql programming
6h19< | Demystifying Technical Debt
2023-08-19 storj.io programming
6h13* | The Night Watch - James Mickens
2023-08-18 usenix.org programming satire unix
6h12' | The Art of Unix Programming
2023-08-18 catb.org programming unix
6hy. | Tillitis TKey Developer Handbook
2023-08-18 dev.tillitis.se cybersecurity hardware programming tpm
6hv* | Learning Async Rust With Entirely Too Many Web Servers
2023-08-18 ibraheem.ca programming rust
6hr$ | Adding Merkle Mountain Ranges and Fly Proofs to ETC
2023-08-18 youtu.be crypto programming technology
6hq# | Fuzz Testing Is the Best Thing To Happen to Our Application Tests | QuestDB
2023-08-18 questdb.io cybersecurity programming testing
6hp! | Policy Engines: Open Policy Agent vs AWS Cedar vs Google Zanzibar | Permit
2023-08-17 permit.io programming
6hn_ | The Dark Side of .reserve()
2023-08-17 youtube.com programming rust
6hm^ | BOB 2023
2023-08-17 bobkonf.de conferences programming technology
6hf- | a world to win: webassembly for the rest of us -- wingolog
2023-08-17 wingolog.org presentations programming web
6h7^ | How should I read type system notation?
2023-08-15 langdev.stackexchange.com programming types
6g5q~ | GitHub - adbar/trafilatura: Python & command-line tool to gather text on the Web: web crawling/scraping, extraction of text, metadata, comments
2023-08-14 github.com programming web
6g5c% | Just-in-time Architecture • Macklin Hartley • YOW! 2022 - YouTube
2023-08-12 youtube.com presentations programming
6g58@ | There are "tall" applications and "wide" applications
2023-08-12 ycombinator.com programming
6g54: | Forking Go Code
2023-08-11 github.com git golang programming
6g46; | Lamport Clock
2023-08-08 martinfowler.com programming
6g43- | Typograms: A definition and renderer for ASCII diagrams
2023-08-08 google.github.io graphics programming
6g40' | Compiler Development: Rust or OCaml?
2023-08-08 hirrolot.github.io programming software
6g3v$ | matklad's blog
2023-08-07 matklad.github.io blogs nix programming rust technology zig
6g3u# | Fantastic Learning Resources
2023-08-07 matklad.github.io education math programming technology
6g3s~ | Modern Operating Systems - Wikipedia
2023-08-07 wikipedia.org programming unix
6g3r_ | How Java’s Floating-Point Hurts Everyone Everywhere
2023-08-07 people.eecs.berkeley.edu java programming
6gy- | Study of std::io::Error
2023-07-30 matklad.github.io programming rust
6gt% | Functions are Vectors
2023-07-30 thenumb.at math programming
6gn^ | So you want to build your own open source chatbot… - Mozilla Hacks - the Web developer blog
2023-07-29 hacks.mozilla.org ai programming
6gm@ | Inventing the Service trait | Tokio - An asynchronous Rust runtime
2023-07-29 tokio.rs programming rust tokio
6gd' | Study of std::io::Error
2023-07-28 matklad.github.io programming rust
6g5< | anime.js • JavaScript animation engine
2023-07-27 animejs.com graphics programming
6g3: | Plain Text - Dylan Beattie - NDC Copenhagen 2022 - YouTube
2023-07-27 youtube.com presentations programming unicode
6f4j- | Matrix is a Distributed Real-time Database - Andy Balaam - ACCU 2022 - YouTube
2023-07-26 youtube.com networking programming
6f1a@ | Pulling All Email-Enabled Security Groups : PowerShell
2023-07-15 reddit.com cybersecurity powershell programming
6e5f& | Madison Ruby 2013 CLOSURE by Steve Klabnik - YouTube
2023-07-07 youtube.com philosophy presentations programming ruby
6e32& | Google Zanzibar vs OPA - Graph vs. Code Based Authorization | Permit
2023-07-01 permit.io authorization programming
6e2u_ | The AWK Programming Language, Second Edition
2023-06-29 awk.dev awk programming unix
6eb# | fhtagn – a tiny CLI programs tester written in AWK | Volodymyr Gubarkov
2023-06-20 maximullaris.com awk programming testing
6d2j& | Why I don't use Copilot
2023-06-11 inkdroid.org ai programming
6cs_ | "We Really Don't Know How to Compute!" - Gerald Sussman (2011)
2023-05-15 youtube.com presentations programming
6c3* | Let's build GPT: from scratch, in code, spelled out. - Andrej Karpathy
2023-05-12 youtube.com ai presentations programming python
6b2r: | Chris James -HTMX is the Future
2023-05-05 quii.dev programming web
6822< | Parse, don’t validate
2023-03-07 lexi-lambda.github.io cybersecurity programming
653x- | lrpar - crates.io: Rust Package Registry
2023-01-18 crates.io programming rust
6528^ | Who needs Haskell? Straight to Rust Hell.
2023-01-12 jernesto.com programming rust types
633x* | Why don’t software development methodologies work?
2022-12-09 typicalprogrammer.com programming
6219< | Crate List - Blessed.rs
2022-11-08 blessed.rs programming rust
62s% | (6) Rust Dublin October 2021 - Tonic + gRPC + Protobuf - YouTube
2022-11-06 youtube.com grpc presentations programming rust
6113' | Just for Fun. No, Really.
2022-10-19 justforfunnoreally.dev programming
5y22& | The Zen of Programming • Sander Hoogendoorn • GOTO 2022
2022-09-15 youtube.com presentations programming
5t1x@ | The hunt for the cluster-killer Erlang bug | by Dániel Szoboszlay | Klarna Engineering
2022-06-15 engineering.klarna.com erlang kafka postmortem programming
5s6y# | GitHub - satwikkansal/wtfpython: What the f*ck Python? 😱
2022-05-31 github.com programming python
5s3m& | Lessons Learned From Running Apache Airflow at Scale — Data Science & Engineering (2022)
2022-05-24 shopify.engineering data programming
5s3k$ | Resource safety is hard - SPFS #10
2022-05-24 youtube.com presentations programming scala
5rb> | Google Engineering Practices Documentation | eng-practices
2022-04-29 google.github.io programming
5p3k~ | HTTP Feeds | Asynchronous event streaming and data replication with plain HTTP APIs.
2022-04-04 http-feeds.org programming web
5p1j@ | Network protocols, sans I/O — Sans I/O 1.0.0 documentation
2022-03-27 sans-io.readthedocs.io networking programming python
5k34; | Articles — brandur.org
2022-02-10 brandur.org blogs photography postgresql programming
5j2n> | Statistical Rethinking (2022 Edition) | Hacker News
2022-01-17 ycombinator.com programming rlang statistics
5gg, | Floating Point Visually Explained
2021-11-29 fabiensanglard.net math programming
5d4b^ | Impossible Programs • Tom Stuart • GOTO 2015 - YouTube
2021-10-16 youtube.com presentations programming
5d9< | Don't Get Stuck in the "Con" Game - ACM Queue
2021-10-01 queue.acm.org programming
5c1u< | Solving One Problem with 16 Programming Languages, on YouTube – The New Stack
2021-09-27 thenewstack.io presentations programming python rust
5714; | Visualising software architecture with the C4 model - Simon Brown, Agile on the Beach 2019
2021-06-15 youtube.com architecture presentations programming
5325. | Peter Naur, Programming as Theory Building
2021-04-09 pages.cs.wisc.edu papers programming
53x- | Introduction :: Learn TLA+
2021-04-01 learntla.com books programming toread
4w21! | "A Tale of Two Asyncs: Open Source Language Design in Rust and Node.js" by Ashley Williams
2020-12-19 youtube.com javascript presentations programming rust
4q1_ | Awesome IoT | awesome-iot
2020-08-08 phodal.github.io iot programming
4j8_ | "Code is the Easy Part" by Evan Czaplicki
2020-05-11 youtube.com elm presentations programming
3my; | Day 1 Part 3: Introductory Intel x86: Architecture, Assembly, Applications - YouTube
2018-10-24 youtube.com assembly presentations programming x86
2w1$ | Introduction - The Rust Programming Language
2017-08-04 rust-lang.org books documentation programming rust
2b5% | Typelevel.scala | Higher-kinded types: the difference between giving up, and moving forward
2016-08-29 typelevel.org programming scala types
1vt> | The TTY demystified
2015-11-27 linusakesson.net history programming unix
1js! | Spring 4 MVC with Scala | Pivotal P.O.V.
2015-05-26 pivotal.io programming scala spring
10p; | The No-framework Scala Dependency Injection Framework
2014-06-09 infoq.com programming scala
0wf~ | The Unreasonable Effectiveness of Dynamic Typing for Practical Programs on Vimeo
2014-04-19 jz13.java.no presentations programming
0q1< | How I Built Emojitracker — Medium
2013-12-11 medium.com programming unicode web
05c$ | Scala 2.8 Collections API -- Performance Characteristics
2013-01-21 scala-lang.org programming scala
02c~ | Homotopy Type Theory
2012-11-14 homotopytypetheory.org programming types
027. | Aki Saarinen / Valo - Opinionated Scala at Valo Research and Trading on Vimeo
2012-11-11 vimeo.com programming scala
026- | Systems Programming at Twitter
2012-11-09 monkey.org presentations programming