compile

10 stories and discussions about compile, aggregated from every source we track.

1.
46 points•cadey•almost 7 years ago•37 comments
3.

Ante protects its eval-verified agent engine behind a typed stream, so developers can build custom interfaces, IDE integrations, and team workflows without coupling them to the core.

4 points•ubermon•9 days ago•5 comments•
4.

<p>First in an ongoing series. <a href="https://medium.com/@MartinCracauer/a-gentle-introduction-to-compile-time-computing-part-2-cb0a46f6cfe8" rel="ugc">Part 2</a> is also available.</p>

4 points•GeoffWozniak•about 9 years ago•3 comments
5.
3 points•linkdd•7 days ago•0 comments•
6.

Transpile LLM prompts and JSON Schemas into TypeSafe Jev decision programs - doronp/jevc

2 points•doronp•10 days ago•1 comment•
7.

Contribute to coffeedevsolutions/OPHTML development by creating an account on GitHub.

1 points•coffeecantcode•1 day ago•0 comments•
8.

Built for developers who value transparency, performance, and simplicity. - sku0x20/stopgap

1 points•duckydude20•3 days ago•0 comments•
9.

AI-agent pipeline producing machine-verified Lean 4 proofs — four PRs merged into Google DeepMind's formal-conjectures - Sanexxxx777/ProofForge

1 points•Aleksandr_NFA•4 days ago•0 comments•
10.

Rust malware on crates.io: arrayref 0.3.10 pulled in a typosquatted proc-macro1 whose build.rs ran a payload during cargo build. Online 86 minutes, 2,285 downloads.

0 points•axrisi•about 13 hours ago•0 comments

Related topics