🧮 Lean4 - tiferrei · Scour

Leanstral: Open-Source foundation for trustworthy <br> vibe-coding

mistral.ai·2d·

Discuss: Lobsters, Hacker News, r/LocalLLaMA

Less-relevant results

1flei/PythoC: PythoC is a Python DSL compiler that compiles statically-typed Python to LLVM IR, providing C-equivalent runtime capabilities with Python syntax and compile-time metaprogramming.

github.com·6d·

Discuss: Hacker News

VyZX: Formal Verification of a Graphical Quantum Language

arxiv.org·6d

🔍Formal Verification

ATOMiK: Delta-state algebra that replaces snapshots, event replay, and consensus

atomik.tech·1d·

Discuss: Hacker News

⚙️Abstract Machines

Formally Verifying the Easy Part: a field report on using Dafny to verify AI-generated code, and why all 4 real production bugs were in the integration layer

brainflow.substack.com·10h·

Discuss: r/programming

🔍Formal Verification

A Formalization of Abstract Rewriting in Agda

arxiv.org·6d

📝Term Rewriting

Overcast is gaining transcripts, and it will have an edge over Apple Podcasts

9to5mac.com·3h

How to Identify Your Apple Keyboard Layout by Country or Region

support.apple.com·2h

Researchers found that when patients know exactly what drug they are taking, psychedelics perform no better than standard antidepressants in tackling depression

technologynetworks.com·8h

📵Digital Minimalism

Mapping the Privacy Workforce in the AI Era

usenix.org·4h

🛡️Privacy Engineering

The Rise and Fall of Free Dial Up Internet

hackaday.com·10h

🖥️Self-hosted Infrastructure

AI enhanecd development: the hard work is still in the requirements!

dev-log.me·15h·

Discuss: r/programming

🔄Reproducible Builds

<h1>Rob Pike's 5 Rules of Programming</h1>

cs.unc.edu·14h·

Discuss: Lobsters, Hacker News

⚙️PL Implementation

Jony Ive on Redesigning the Christie’s Rostrum

youtube.com·2h

📺Vintage Apple

"Lost in the Middle" Replicates

lesswrong.com·8h

🎮Verification Games

iOS 26.4 to finally let Family Sharing members use their own payment methods

9to5mac.com·4h

Book (Store) Banning

rhollick.wordpress.com·9h·

Discuss: Hacker News

Nurses, constituents demand Collins return donations from Palantir, ICE’s top tech contractor

nationalnursesunited.org·11h

🌐Network Protocols

Iran’s South Pars Gas Field Is Attacked, Sending Energy Prices Soaring

nytimes.com

·7h·

Discuss: Hacker News

🩹Self-Healing Systems

How to Grow Large Sugar Crystals

hackaday.com·22h

🕸️Graph Theory

Loading more...