Hackernews posts about Foreman

RSS feed for Foreman

01
newLLMs are making formal software verification feasible at a much larger scalewww.anthropic.com
▲ 473johnbender 9d 💬 312
02
newThe Slow Formation of Durable Softwarenewsletter.dancohen.org
▲ 299benbreen 26d 💬 115
03
newClassification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai
▲ 243pfdietz 5d 💬 78
04
newAI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media
▲ 208datascientist 3d 💬 53
05
newShow HN: A proof-of-concept formalization of the IRS federal tax formsgithub.com
▲ 82RGS1811 4d 💬 13
06
newParamount, Warner Bros Formally Merge, Form Giant Mountain of Disastrous Debtwww.techdirt.com
▲ 53cdrnsf 25d 💬 3
07
newShow HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edgegithub.com
▲ 38lastmjs 2d 💬 22
08
newFormalizing the Enormous Theoremaxiommath.ai
▲ 12meetpateltech 5d 💬 1
09
newShow HN: AxiomCode Graph, Reducing coding agent rework with formal methodsgithub.com
▲ 10HaoleiZ 18d 💬 8
10
newTrump Announces Formation of AI "Super Intelligence Force"www.cbsnews.com
▲ 10gmays 23d 💬 1
11
newThe standardisation process of the proprietary OOXML formatblog.documentfoundation.org
▲ 7contact9879 9d discuss
12
newShow HN: Askdown – A plain-text format for formsaskdown.dev
▲ 6treve 19d 💬 7
13
newShow HN: A malleable and formally verified Web engine
▲ 6polyglotfacto 3d discuss
14
newShow HN: Aqueous Archive Formatgithub.com
▲ 6lifthrasiir 4d discuss
15
newFormalizing Julia in Lean (and finding 400 bugs in Base)discourse.julialang.org
▲ 4yurivish 6d discuss
16
newThe .http File Formathttp-files.org
▲ 4figmert 9d discuss
17
newOpen source impeded by inconsistencies in the Office Open XML document formatinteroperable-europe.ec.europa.eu
▲ 3fsflover 7d 💬 4
18
newLean-sudo: drop-in replacement with formally verified policy, env, and authgithub.com
▲ 3gbacon 3d discuss
19
newFormalitiespluralistic.net
▲ 2dgudkov 18h 💬 1
20
newShopify went back to native. I think the bigger shift is formal verificationmartinalderson.com
▲ 2ymolodtsov 24d 💬 1
21
newFormalizing the Enormous Theoremaxiommath.ai
▲ 2DeepLogin 47h discuss
22
newShow HN: ToolConfig – EditorConfig, extended to formatters and lintersgithub.com
▲ 2jrandolf 5d discuss
23
newThe standardisation process of the proprietary OOXML formatblog.documentfoundation.org
▲ 2zoobab 8d discuss
24
newProfiling Org->HTML formal grammar and optimizing it: orgwebalchemyjointhefreeworld.org
▲ 2jjba23 9d discuss
25
newHow to Formalize All of Mathematicsterrytao.wordpress.com
▲ 2smilelamp 16d discuss
26
newDemonstrating Deterministic Trust and Formal Proof for AI-Generated Codewww.adacore.com
▲ 2nonmaskable 18d discuss
27
newCreusot 0.14.0 – Contracts for Rust, formally proveddevlog.creusot.rs
▲ 2syrak 19d discuss
28
newninjatracing – convert .ninja_log files to Chrome's about:tracing formatgithub.com
▲ 2gjvc 20d discuss
29
newMystery surrounding the formation of asteroid Bennu solvedethz.ch
▲ 2geox 27d discuss
30
newLasm: Write formally verified web apps in Lean, deploy to Node, serverless, edgegithub.com
▲ 1lastmjs 3d 💬 1