| 31. | | Monads Are Too Powerful: The Expressiveness Spectrum (chrispenner.ca) |
| 5 points by g0xA52A2A 4 months ago | past |
|
| 32. | | Checking that functions are constant time with Valgrind (2010) (imperialviolet.org) |
| 11 points by g0xA52A2A 4 months ago | past | 6 comments |
|
| 33. | | Building Search for this Site – Search on a static site (alexleighton.com) |
| 4 points by g0xA52A2A 5 months ago | past |
|
| 34. | | A Slotted Hash Cons for Alpha Invariance (philipzucker.com) |
| 1 point by g0xA52A2A 5 months ago | past |
|
| 35. | | Launching QuickDID – Fast, Open Handle Resolution for the AT Protocol (leaflet.pub) |
| 3 points by g0xA52A2A 5 months ago | past |
|
| 36. | | Driftsort: An efficient, generic and robust stable sort implementation (github.com/voultapher) |
| 2 points by g0xA52A2A 5 months ago | past |
|
| 37. | | Areal, Are.na's new typeface (are.na) |
| 165 points by g0xA52A2A 5 months ago | past | 105 comments |
|
| 38. | | Cabinet: Dynamically Weighted Consensus Made Fast (muratbuffalo.blogspot.com) |
| 3 points by g0xA52A2A 6 months ago | past |
|
| 39. | | Chunking for Fasta Parsing (curiouscoding.nl) |
| 2 points by g0xA52A2A 6 months ago | past |
|
| 40. | | In Order Traversal in Haskell and Rust (mmhaskell.com) |
| 3 points by g0xA52A2A 6 months ago | past |
|
| 41. | | Building Bluesky comments for my blog (natalie.sh) |
| 382 points by g0xA52A2A 6 months ago | past | 141 comments |
|
| 42. | | Zero-Copy (De)Serialization (apache.org) |
| 2 points by g0xA52A2A 9 months ago | past |
|
| 43. | | Jujutsu UI (github.com/idursun) |
| 2 points by g0xA52A2A 9 months ago | past |
|
| 44. | | Destructive Updates – A Stitch in Time (icicle-lang.github.io) |
| 7 points by g0xA52A2A 11 months ago | past |
|
| 45. | | SimdSketch: A Fast Bucket Sketch (curiouscoding.nl) |
| 2 points by g0xA52A2A 11 months ago | past |
|
| 46. | | Intensional Joy (a concatenative account of internal structure) (pithlessly.github.io) |
| 60 points by g0xA52A2A on Feb 12, 2025 | past | 13 comments |
|
| 47. | | Ways to generate SSA (bernsteinbear.com) |
| 110 points by g0xA52A2A on Feb 11, 2025 | past | 35 comments |
|
| 48. | | Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (acm.org) |
| 4 points by g0xA52A2A on Feb 8, 2025 | past |
|
| 49. | | Pwn2Own Automotive: Popping the Charx SEC-3100 (ret2.io) |
| 1 point by g0xA52A2A on Jan 25, 2025 | past |
|
| 50. | | Optics for UI 1: Deconstructing React with Parametrised Lenses (cybercat.institute) |
| 2 points by g0xA52A2A on Jan 21, 2025 | past |
|
| 51. | | A Practical Interpretation of Linear Logic (protovision.github.io) |
| 3 points by g0xA52A2A on Jan 5, 2025 | past |
|
| 52. | | Into CPS, Never to Return (bernsteinbear.com) |
| 137 points by g0xA52A2A on Dec 25, 2024 | past | 57 comments |
|
| 53. | | Well-Typed Substructural Languages (zanzix.github.io) |
| 4 points by g0xA52A2A on Dec 22, 2024 | past |
|
| 54. | | Hacking physics from the back of a napkin (2020) (hapax.github.io) |
| 122 points by g0xA52A2A on Dec 14, 2024 | past | 14 comments |
|
| 55. | | Dependent Types and the Art of HTTP Headers (github.com/mar-file-system) |
| 2 points by g0xA52A2A on Nov 30, 2024 | past | 1 comment |
|
| 56. | | The Rise of Bluesky (acm.org) |
| 46 points by g0xA52A2A on Nov 27, 2024 | past | 77 comments |
|
| 57. | | Scientific computing with confidence using typed dimensions (laurentrdc.xyz) |
| 97 points by g0xA52A2A on Nov 21, 2024 | past | 47 comments |
|
| 58. | | Reliable Immutable Transfer Protocol (paper.wf) |
| 2 points by g0xA52A2A on Nov 7, 2024 | past |
|
| 59. | | OpenVMM – A New VMM for Windows and Linux, Written in Rust (github.com/microsoft) |
| 171 points by g0xA52A2A on Oct 17, 2024 | past | 118 comments |
|
| 60. | | Linearity in Query Processing (buttondown.com/jaffray) |
| 1 point by g0xA52A2A on Oct 15, 2024 | past |
|
|
| More |
