Hackernews posts about Logic Pro

1. 01
   

   newJev, Prolog, Pi, and the dream of probabilistic logic programmingdeepclause.substack.com

   ▲ 25schmuhblaster13ddiscusssavesaved
2. 02
   

   newReverse engineering the 2008 LogiCola, a logic drill programlogicola.org

   ▲ 22kotk25d💬 2savesaved
3. 03
   

   newJev, Prolog, Pi, and the dream of probabilistic logic programmingdeepclause.substack.com

   ▲ 3arto12ddiscusssavesaved
4. 04
   

   newMake SOPs executable: policies as deterministic logic programs with agent leavesdeepclause.substack.com

   ▲ 1schmuhblaster26d💬 1savesaved
5. 05
   

   newShow HN: Vibe Logic Programming Languagecosmos-language-lab-0819.asd-user56.chatgpt.site

   ▲ 1mccosmos21ddiscusssavesaved
6. 06
   

   newShow HN: Nomoreda – Browser EDA, MCP-Friendly, KiCad/Altium-Compatiblenomoreda.com

   ▲ 2VladimirIvlev11ddiscusssavesaved
7. 07
   

   newAI provides the logic; the compiler makes it real – with zero hallucinationsgithub.com

   ▲ 3Judyrabbit12d💬 1savesaved
8. 08
   

   newAI proves Medvedev logic is undecidablearxiv.org

   ▲ 3carra12ddiscusssavesaved
9. 09
   

   newAsk HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?

   ▲ 3syumei5ddiscusssavesaved
10. 10
    

    newSeparating Protocol from Application Logicbuilder.aws.com

    ▲ 2mlhpdx8d💬 1savesaved
11. 11
    

    newPulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust)fstar-lang.org

    ▲ 1hackingonempty18d💬 1savesaved
12. 12
    

    newAsk HN: How do you maintain depth of understanding and velocity when using AI?

    ▲ 3civicsquid4d💬 11savesaved
13. 13
    

    newAsk HN: Business Logic in the Database?

    ▲ 3boxesnlines11d💬 3savesaved
14. 14
    

    newTwIL-LM3-Pro: 3.6B formal-logic model that beats VibeThinker-3Bhuggingface.co

    ▲ 5CD_webai2d💬 1savesaved
15. 15
    

    newAsk HN: Are we normalizing surveillance in the name of safety?

    ▲ 4dennysora-main27d💬 2savesaved
16. 16
    

    newSales calculation tool for Excel price lists

    ▲ 1Marten4215d💬 2savesaved
17. 17
    

    newShow HN: Minilith – A zero-dependency CMS stored inside a PNG fileblog.minilith.site

    ▲ 13a_bytecycle28d💬 5savesaved
18. 18
    

    newAsk HN: Is multi-model redundancy now a compliance requirement for small teams?

    ▲ 2weiqi5541778348d💬 1savesaved
19. 19
    

    newShow HN: Search2o – Search that finds and runs an AI agent for each requestpypi.org

    ▲ 1ramvenkat114ddiscusssavesaved
20. 20
    

    newShow HN: Fusor – Like Vue, but the logic is Rustfusor.build

    ▲ 10andreespirela6d💬 1savesaved
21. 21
    

    newShow HN: Charter – Operate production-safe agents that run on your own infragithub.com

    ▲ 4alama2423ddiscusssavesaved
22. 22
    

    newShow HN: Build2me – Prove2Me for software agent swarms build codegithub.com

    ▲ 1shitianfang19ddiscusssavesaved
23. 23
    

    newTSMC revealing details about next gen A14 nodeiedm26.mapyourshow.com

    ▲ 129osnium12318d💬 56savesaved
24. 24
    

    newShow HN: DOOM in the kernel, or fibers in eBPFayles.github.io

    ▲ 53ayles24d💬 14savesaved
25. 25
    

    newShow HN: AttaLambda: a language where types and data are made of untyped lambdasattalambda.com

    ▲ 49kserrec19d💬 7savesaved
26. 26
    

    newShow HN: I made an automated day-by-day itinerary organizer for my trip to Spainpetrelvoyage.com

    ▲ 17desktopentree20d💬 9savesaved
27. 27
    

    newShow HN: Take a break, play some puzzlesgridmino.com

    ▲ 6marko-projects22ddiscusssavesaved
28. 28
    

    newShow HN: Ridge - Connect coding agents to local, SSH, Docker, and S3 resourcesgithub.com

    ▲ 4vasinov23ddiscusssavesaved
29. 29
    

    newHas anyone made a legacy codebase more legible to AI coding agents?

    ▲ 3iacobandrei19d💬 2savesaved
30. 30
    

    newShow HN: Compiling Matlab Code to Native Executables with RunMatrunmat.com

    ▲ 3finbarr198723d💬 1savesaved

· edit