Part 3 begins!
Finally, the stakes come into focus.
How does it all end?
Chapter 29 of "A New Faith" is up on the website at https://tinjar.ghost.io/a-new-faith
Parts 1 and 2 are available to #download (or read online) for #free in #DRMfree #PDF and #EPUB formats
#solarpunk #hopepunk #books #bookstodon #novel #climatechange #adaptation #migration #mystery
#thriller #amwriting #WritersCoffeeClub
#WordWeavers #ScribesAndMakers
#PennedPossibilities #writingcommunity #sciencefiction
#climatefiction
Seventy Years of Parsing: Theoretical and Practical Consequences https://lobste.rs/s/qwgpts #pdf #compsci
https://langsec.org/spw26/papers/lucas-70-years-of-parsing.pdf
Understanding the limitations of Pubsub systems https://lobste.rs/s/psxjb4 #pdf #distributed
https://dl.acm.org/doi/pdf/10.1145/3713082.3730397
WebSphere DataPower XML Accelerator XA35 (2006) https://lobste.rs/s/9p226o #pdf #hardware
https://public.dhe.ibm.com/software/integration/datapower/library/DataPower_datasheet.pdf
Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS via @wezm https://lobste.rs/s/bc2zth #pdf #c #hardware #rust
https://arxiv.org/pdf/2604.25679
Functional Algorithms, Verified https://lobste.rs/s/lqthae #pdf #formalmethods #plt
https://www21.in.tum.de/teaching/fds/SS21/assets/book-draft.pdf
CVA6-CFI: A First Glance at RISC-V Control-Flow Integrity Extensions https://lobste.rs/s/o7ulwh #pdf #hardware #security
https://arxiv.org/pdf/2602.04991
I won my FOIA against Twelve South to open up the electrical information for the PlugBug 120W https://lobste.rs/s/kxnxyv #pdf #hardware #reversing
https://archive.org/details/pb120-us
Retargeting JIT compilers by using C-compiler generated executable code (2004) https://lobste.rs/s/etfkgx #pdf #compilers #concatenative #plt
https://www.cs.arizona.edu/~collberg/Teaching/553/2011/Resources/jit.pdf
Runahead Execution vs. Conventional Data Prefetching in the IBM POWER6 Microprocessor (2010) https://lobste.rs/s/btwu8f #pdf #hardware
https://pages.cs.wisc.edu/~cain/pubs/cain_ispass10.pdf
SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL (2024) https://lobste.rs/s/yiiupr #pdf #databases
https://research.google/pubs/sql-has-problems-we-can-fix-them-pipe-syntax-in-sql/
Past, Present, Future: The PHPUnit Story https://lobste.rs/s/lwzkbz #pdf #slides #php #testing
https://phpunit.expert/presentations/past-present-future-the-phpunit-story.html
The “AI Vulnerability Storm”: Building a “Mythos-ready” Security Program https://lobste.rs/s/zendmv #pdf #security
https://labs.cloudsecurityalliance.org/mythos-ciso/
No one can force me to have a secure website https://lobste.rs/s/gvgrij #pdf #security #web
https://tom7.org/httpv/httpv.pdf
A Report on Burnout in Open Source Software Communities via @lobsters https://lobste.rs/s/pwi4vx #pdf #practices
https://mirandaheath.website/static/oss_burnout_report_mh_25.pdf
What Really Happened in Y2K? via @fanf https://lobste.rs/s/1v94sk #pdf #historical
https://www.gresham.ac.uk/sites/default/files/2017-04-04-MartynThomas_Y2K-T.pdf
A Tale of Two Worlds, a Formal Story of WireGuard Hybridization via @RunxiYu https://lobste.rs/s/aeyi20 #pdf #cryptography
https://www.usenix.org/system/files/usenixsecurity25-lafourcade.pdf
Virtual Time for discrete event simulation and distributed concurrency control (1985) https://lobste.rs/s/wnjo8w #pdf #distributed #testing
https://worrydream.com/refs/Jefferson_1985_-_Virtual_Time.pdf
Foundational Verification of Running-Time Bounds for Interactive Programs https://lobste.rs/s/r1ezk0 #pdf #formalmethods #performance
https://adam.chlipala.net/papers/MetricsCPP26/MetricsCPP26.pdf
Generalising monads to arrows (1998) https://lobste.rs/s/t0qrhj #pdf #math #programming
https://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/arrows.pdf
Dear researchers: help me deal with incidents https://lobste.rs/s/xnbxed #pdf #practices
https://surfingcomplexity.blog/wp-content/uploads/2026/06/dear-researchers.pdf