#Tag · bonfire.cafe

Hacker News

@h4ckernews@mastodon.social · yesterday

Readings in Database Systems (5th Edition)

http://www.redbook.io/

#HackerNews #Readings #in #Database #Systems #DatabaseSystems #5thEdition #TechBooks #HackerNews

Hacker News

@h4ckernews@mastodon.social · 4 days ago

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

https://arxiv.org/abs/2512.02080

#HackerNews #Designing #Predictable #LLM-Verifier #Systems #for #Formal #Method #Guarantee #LLMVerifier #FormalMethods #AIResearch #Predictability #arXiv

arXiv.org

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain unreliable: without a solid theoretical footing, the refinement process acts as a black box that may oscillate, loop, or diverge. This work bridges this critical gap by developing an LLM-Verifier Convergence Theorem, providing the first formal framework with provable guarantees for termination in multi-stage verification pipelines. We model the interaction not as a generic loop, but as a sequential absorbing Markov Chain comprising four essential engineering stages: \texttt{CodeGen}, \texttt{Compilation}, \texttt{InvariantSynth}, and \texttt{SMTSolving}. We prove that for any non-zero stage success probability ($δ> 0$), the system reaches the \texttt{Verified} state almost surely. Furthermore, because of the sequential nature of the pipeline, we derive a precise latency bound of $\mathbb{E}[n] \leq 4/δ$. We stress-tested this prediction in an extensive empirical campaign comprising over 90,000 trials. The results match the theory with striking consistency: every run reached verification, and the empirical convergence factor clustered tightly around $C_f\approx 1.0$, confirming that the $4/δ$ bound accurately mirrors system behavior rather than serving as a loose buffer. Based on this data, we identify three distinct operating zones -- marginal, practical, and high-performance -- and propose a dynamic calibration strategy to handle parameter drift in real-world environments. Together, these contributions replace heuristic guesswork with a rigorous architectural foundation, enabling predictable resource planning and performance budgeting for safety-critical software.

Hacker News

@h4ckernews@mastodon.social · 5 days ago

QNX Self-Hosted Developer Desktop

https://devblog.qnx.com/qnx-self-hosted-developer-desktop-initial-release/

#HackerNews #QNX #Self-Hosted #Developer #Desktop #developer #tools #QNX #embedded #systems #technology #innovation

QNX Developer Blog

QNX Self-Hosted Developer Desktop -- Initial Release

Try out the initial release of the QNX Developer Desktop -- a self-hosted development environment for QNX. No more cross-compilation!

Jan :rust: :ferris: boosted

knoppix

@knoppix95@mastodon.social · 3 weeks ago

Linux kernel developers have officially approved Rust as a full programming language alongside C and assembler, ending its experimental phase and marking a shift toward safer, more modern code. 🦀

Key subsystems still need bindings, but work is progressing, including a Rust-based Nvidia graphics driver. 🛠️

@linuxfoundation

🔗 https://www.heise.de/en/news/Linux-Kernel-Rust-Support-Officially-Approved-11109808.html

#TechNews #Linux #Rust #OpenSource #Kernel #Security #Developers #Programming #Innovation #Systems #FOSS #Technology #Code #Engineering #Nvidia

heise online

Linux Kernel: Rust Support Officially Approved

Rust is becoming equal to assembler and C in programming the Linux kernel – at least officially, as there is still a lot of work to be done in practice.

knoppix

@knoppix95@mastodon.social · 3 weeks ago

Linux kernel developers have officially approved Rust as a full programming language alongside C and assembler, ending its experimental phase and marking a shift toward safer, more modern code. 🦀

Key subsystems still need bindings, but work is progressing, including a Rust-based Nvidia graphics driver. 🛠️

@linuxfoundation

🔗 https://www.heise.de/en/news/Linux-Kernel-Rust-Support-Officially-Approved-11109808.html

#TechNews #Linux #Rust #OpenSource #Kernel #Security #Developers #Programming #Innovation #Systems #FOSS #Technology #Code #Engineering #Nvidia

heise online

Linux Kernel: Rust Support Officially Approved

Rust is becoming equal to assembler and C in programming the Linux kernel – at least officially, as there is still a lot of work to be done in practice.

Hacker News

@h4ckernews@mastodon.social · last month

Windows drive letters are not limited to A-Z

https://www.ryanliptak.com/blog/windows-drive-letters-are-not-limited-to-a-z/

#HackerNews #Windows #Drive #Letters #A-Z #Tech #News #File #Systems #Microsoft

Hacker News

@h4ckernews@mastodon.social · last month

sit: Create StuffIt archives on Unix systems

https://github.com/thecloudexpanse/sit

#HackerNews #sit #StuffIt #archives #Unix #systems #open-source #GitHub

GitHub

GitHub - thecloudexpanse/sit: Create StuffIt archives on Unix systems

Create StuffIt archives on Unix systems. Contribute to thecloudexpanse/sit development by creating an account on GitHub.

Hacker News

@h4ckernews@mastodon.social · 2 months ago

Backpressure in Distributed Systems

https://blog.pranshu-raj.me/posts/backpressure/

#HackerNews #Backpressure #Distributed #Systems #Scalability #Performance #Engineering #TechInsights

Backpressure in Distributed Systems | Systems & Sidequests

Understanding what it is, how to deal with it, where it's used and how I handled it in the real time leaderboard.

Sociocracy For All

@SociocracyForAll@social.coop · 6 months ago

Just a few of the nice comments we got from Academy graduates.
You can join too!
We are interviewing now and beginning in September!

24 weeks, 2h each - leading up to facilitator certification.

www.sociocracyforall.org/academy

#sociocracy #facilitation #teamwork #socinn #governance #leadership #purpose #systems

Michael Dexter boosted

Jonathan Matthews

@jcm@snac.bsd.cafe · 6 months ago

What tools do you use for your on-host #FreeBSD| #BSD system metrics collection and monitoring? #Sysadmin #DevOps #SRE #Monitoring #Systems #Observability #Metrics

Jonathan Matthews

@jcm@snac.bsd.cafe · 6 months ago

What tools do you use for your on-host #FreeBSD| #BSD system metrics collection and monitoring? #Sysadmin #DevOps #SRE #Monitoring #Systems #Observability #Metrics

screwlisp

@screwlisp@gamerplus.org · 6 months ago

#programming #engineering #systems I work sketching graphs of complex systems in canonical #lisp with #mcclim #emacs #eev .
https://screwlisp.small-web.org/complex/complex-systems/

Back of envelope theories of complex systems, as always with my mostly relating to off-hand comments Winograd made in the first page of his Breaking The Complexity Barrier (Again) paper.

What do you think?

Main feature is bootstrapping making these graphs somewhat in terms of themselves metacircularly.

Graph window like
(eev (slime (mcclim (clim-user))))
(os (emacs (eev)))
(screwlisps-knowledge (cons-grapher (clim-user))) — Graph window like (eev (slime (mcclim (clim-user)))) (os (emacs (eev))) (screwlisps-knowledge (cons-grapher (clim-user)))

Graph window like
(eev (slime (mcclim)))
(os (emacs (eev)))
From the article — Graph window like (eev (slime (mcclim))) (os (emacs (eev))) From the article

Graph window like
(a (b (c)))
(d (e (c)))
from the article — Graph window like (a (b (c))) (d (e (c))) from the article

Graph window like
(os (emacs (eev)))
from the article — Graph window like (os (emacs (eev))) from the article

Rye

@rye@ioc.exchange · 7 months ago

+ L Introduction o Definition of key terms: State, Software, Database o Importance of understanding the relationships between these concepts 11 State o Definition: The current condition or status of something (e.g. system, application, data) o Types of state: = Local state: stored locally on a device = Distributed state: stored across multiple devices or systems = Global state: shared among multiple systems or applications