http://ln.ht/_/images/favicon-4c526c32c48400028d7739cac47cd2a3.svg?vsn=d http://ln.ht/_/feed/ 2026-10-02T11:32:50.274426Z teddy https://ln.ht/~teddy <p> Build macOS, Windows, and Linux desktop apps in JavaScript: txiki.js backend, native WebKit / WebView2 / WebKitGTK window, ~6 MB shipped. No Electron. No ports.</p> https://tinyjs.app/index.html 2026-10-02T10:58:04Z tmfnk https://ln.ht/~tmfnk https://paulgraham.com/greatwork.html 2026-10-02T08:35:09Z mrnossiom https://ln.ht/~mrnossiom https://www.oliverdunk.com/2026/09/30/iana-reply 2026-10-02T08:31:39Z tmfnk https://ln.ht/~tmfnk <p> An independent reading edition of Paul Graham’s essay, with notes, source attribution, and a link to the original.</p> https://www.ranli.me/read-paul-graham/ 2026-10-02T08:29:51Z stephanmax https://ln.ht/~stephanmax <p> Workshop handouts including a detailed tool and supply list.</p> https://karenhanmer.com/handouts 2026-10-02T07:08:29Z stephanmax https://ln.ht/~stephanmax <p> For paper mechanisms.</p> https://cutfoldtemplates.com/ 2026-10-02T06:58:00Z sebastien https://ln.ht/~sebastien <p> Another online drawing tool, good for reference</p> https://koboyo.com/ 2026-10-02T05:53:31Z sebastien https://ln.ht/~sebastien <p> I’m going to try this one, there’s not many of these available.</p> https://github.com/pageton/tui-design-skill 2026-10-02T05:52:58Z mrnossiom https://ln.ht/~mrnossiom https://verdagon.dev/blog/boundary-memory-safety#valens-memory-safety-group-borrowing 2026-10-01T22:53:23Z mrnossiom https://ln.ht/~mrnossiom https://en.wikipedia.org/wiki/Shadow_stack 2026-10-01T21:00:19Z durian https://ln.ht/~durian <p> A Weekly Gathering for Black/Indigenous/People of Color</p> https://www.garrisoninstitute.org/online-communities/bipoc-meditation-sangha/ 2026-10-01T16:46:11Z mlb https://ln.ht/~mlb <p> A good primer on some of the limitations of TLA+, notably: reachability properties and hyperpropeties and how to work around them.</p> https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/ 2026-10-01T15:23:38Z wheresalice https://ln.ht/~wheresalice <p> A how-to manual for engineer-led discovery in software platforms</p> https://sujithjay.com/inventing-work 2026-10-01T15:01:52Z teddy https://ln.ht/~teddy <p> A blog about software craft and quality</p> https://unsung.aresluna.org/before-pixels-modular-industrial-dashboards/ 2026-10-01T13:27:18Z xd009642 https://ln.ht/~xd009642 <p> “We propose a new, deeper language for properties based on a mixed embedding that we call deferred binding abstract syntax, which reifies properties as a data structure and decouples them from the property runners that execute them. We implement this language in Rocq and Racket, leveraging the power of dependent and dynamic types, respectively. Finally, we showcase the flexibility of this new approach by rapidly prototyping a variety of property runners, highlighting domain-specific testing improvements that can be unlocked by more programmable testing.”</p> https://arxiv.org/abs/2602.18545 2026-10-01T11:55:10Z xd009642 https://ln.ht/~xd009642 <p> Property-based testing tools test software against a specification, rather than a set of examples. This tutorial paper presents five generic approaches to writing such specifications (for purely functional code). We discuss the costs, benefits, and bug-finding power of each approach, with reference to a simple example with eight buggy variants. The lessons learned should help the reader to develop effective property-based tests in the future.</p> https://research.chalmers.se/en/publication/517894?utm_source=chatgpt.com 2026-10-01T11:54:28Z ac2 https://ln.ht/~ac2 https://emersion.fr/blog/2017/sets-in-go/ 2026-10-01T03:11:02Z srivathsan https://ln.ht/~srivathsan <p> I built Hunch, a find-in-page extension for Firefox, Chrome and Safari that highlights the paragraphs that answer your search, not just the ones that contain the same words.</p> https://blog.tymscar.com/posts/hunchsemanticfind/ 2026-10-01T01:25:10Z casparvitch https://ln.ht/~casparvitch https://www.themonthly.com.au/october-2026/nation-reviewed/art-arts-sake 2026-09-30T20:46:09Z kawcco https://ln.ht/~kawcco <blockquote> <p> A discovery-oriented introduction to error correction codes. </p> </blockquote> <p> via: https://fpga.mit.edu/6205/F26/assignments/week03/parity</p> https://www.youtube.com/watch?v=X8jsijhllIA 2026-09-30T14:53:53Z