Hackernews posts about Logic Pro

RSS feed for Logic Pro

Related:iPad Apple Final Cut Pro

31
newJev, Prolog, Pi, and the dream of probabilistic logic programmingdeepclause.substack.com
▲ 25schmuhblaster 13d discuss
32
newReverse engineering the 2008 LogiCola, a logic drill programlogicola.org
▲ 22kotk 25d 💬 2
33
newJev, Prolog, Pi, and the dream of probabilistic logic programmingdeepclause.substack.com
▲ 3arto 12d discuss
34
newMake SOPs executable: policies as deterministic logic programs with agent leavesdeepclause.substack.com
▲ 1schmuhblaster 26d 💬 1
35
newShow HN: Vibe Logic Programming Languagecosmos-language-lab-0819.asd-user56.chatgpt.site
▲ 1mccosmos 21d discuss
36
newShow HN: Nomoreda – Browser EDA, MCP-Friendly, KiCad/Altium-Compatiblenomoreda.com
▲ 2VladimirIvlev 11d discuss
37
newAI provides the logic; the compiler makes it real – with zero hallucinationsgithub.com
▲ 3Judyrabbit 12d 💬 1
38
newAI proves Medvedev logic is undecidablearxiv.org
▲ 3carra 12d discuss
39
newAsk HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?
▲ 3syumei 5d discuss
40
newSeparating Protocol from Application Logicbuilder.aws.com
▲ 2mlhpdx 8d 💬 1
41
newPulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust)fstar-lang.org
▲ 1hackingonempty 18d 💬 1
42
newAsk HN: How do you maintain depth of understanding and velocity when using AI?
▲ 3civicsquid 4d 💬 11
43
newAsk HN: Business Logic in the Database?
▲ 3boxesnlines 11d 💬 3
44
newTwIL-LM3-Pro: 3.6B formal-logic model that beats VibeThinker-3Bhuggingface.co
▲ 5CD_webai 2d 💬 1
45
newAsk HN: Are we normalizing surveillance in the name of safety?
▲ 4dennysora-main 27d 💬 2
46
newSales calculation tool for Excel price lists
▲ 1Marten42 15d 💬 2
47
newShow HN: Minilith – A zero-dependency CMS stored inside a PNG fileblog.minilith.site
▲ 13a_bytecycle 28d 💬 5
48
newAsk HN: Is multi-model redundancy now a compliance requirement for small teams?
▲ 2weiqi554177834 8d 💬 1
49
newShow HN: Search2o – Search that finds and runs an AI agent for each requestpypi.org
▲ 1ramvenkat11 4d discuss
50
newShow HN: Fusor – Like Vue, but the logic is Rustfusor.build
▲ 10andreespirela 6d 💬 1
51
newShow HN: Charter – Operate production-safe agents that run on your own infragithub.com
▲ 4alama24 23d discuss
52
newShow HN: Build2me – Prove2Me for software agent swarms build codegithub.com
▲ 1shitianfang 19d discuss
53
newTSMC revealing details about next gen A14 nodeiedm26.mapyourshow.com
▲ 129osnium123 18d 💬 56
54
newShow HN: DOOM in the kernel, or fibers in eBPFayles.github.io
▲ 53ayles 24d 💬 14
55
newShow HN: AttaLambda: a language where types and data are made of untyped lambdasattalambda.com
▲ 49kserrec 19d 💬 7
56
newShow HN: I made an automated day-by-day itinerary organizer for my trip to Spainpetrelvoyage.com
▲ 17desktopentree 20d 💬 9
57
newShow HN: Take a break, play some puzzlesgridmino.com
▲ 6marko-projects 22d discuss
58
newShow HN: Ridge - Connect coding agents to local, SSH, Docker, and S3 resourcesgithub.com
▲ 4vasinov 23d discuss
59
newHas anyone made a legacy codebase more legible to AI coding agents?
▲ 3iacobandrei 19d 💬 2
60
newShow HN: Compiling Matlab Code to Native Executables with RunMatrunmat.com
▲ 3finbarr1987 23d 💬 1