Show HN: Lungo Generates Rust, Python, from Lean Proof Sourcehttps://machinefabric.com/lungo
Article URL: https://machinefabric.com/lungo/ Comments URL: https://news.ycombinator.com/item?id=50144463 Points: 1 # Comments: 1
🔍 Search
Active Interests
Trends
Top Contributors
Hot Discussions
n/techShow HN: Halal Crypto Index – AAOIFI Shariah compliance screener for 800 coins▲ 1 • 💬 0n/techShow HN: ThemesFor.app – a static website builder that doesn't hide the HTML▲ 1 • 💬 0n/techTikTok bans Musk documentary account▲ 1 • 💬 0n/newsAI Can Write the Code. Who Verifies It?▲ 1 • 💬 0n/techLeaked gameplay purports to show a canceled Assassin's Creed game set in ancient China▲ 1 • 💬 0