DCP-o-matic • Re: DCP with CPLs with different audio tracks, Verify gives an error.
dcpomatic.com·3h
✅Formal Verification
OPCSA orders eight hybrid Konecranes RTGs for Las Palmas
porttechnology.org·11h
🧩Theorem Proving
Converting a PDF to text locally with Ollama
huijzer.xyz·17h
📝Lisp
Perplexity Raises $200M at $20B Valuation in AI Search Push
vktr.com·19h·
Discuss: Hacker News
⚖️Logic Programming
We're training a text-to-image model from scratch and open-sourcing it
photoroom.com·23h·
Discuss: Hacker News
🎲Probabilistic Programming
CA passes ICE mask ban in closing days of legislative session
calmatters.org·23h·
Discuss: r/California
🔌Network Programming
Lawmakers Want To Shield Kids From AI Chatbots. But Restricting Them Could Cut Off a Mental Health Lifeline.
reason.com·17h
🔌Network Programming
Stop-Think-AutoRegress: Language Modeling with Latent Diffusion Planning (STAR-LDM)
openreview.net·3d·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Man in the Wall, is Cthulhu design done right.
i.redd.it·9h·
Discuss: r/Warframe
🧫Cellular Automata
The new frontier: Meet the power players cashing in on the AI gold rush
tomshardware.com·1d
⚖Algorithmic Game Theory
Scott Alexander reviews “If Anyone Builds It, Everyone Dies”
3quarksdaily.com·19h
⚖Algorithmic Game Theory
New Layer of AI Engineer - on AWS Bedrock
dev.to·9h·
Discuss: DEV
📈Complexity Theory
Day 2 of My Golang Journey
dev.to·4d·
Discuss: DEV
🧮Programming Language Theory
Adaptive Parallel Graph Processing with Dynamic Workload Partitioning for Heterogeneous Architectures
dev.to·4d·
Discuss: DEV
🔗Parser Combinators
Build a Collaborative Inventory Dashboard with TanStack, Velt SDK and Kiro IDE⛵
dev.to·17h·
Discuss: DEV
🦀Rust
Adaptive Mission Risk Control under Incomplete Health Information and Resource Limitation: A Constrained Multi-State Predictive Maintenance Model
sciencedirect.com·3d
🎲Probabilistic Programming
Meta AI Chatbot and Elderly Man’s Death: What AI Safety Taught Us
dev.to·17h·
Discuss: DEV
⚖Algorithmic Game Theory
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·4d
🧮Programming Language Theory
ProfilingAgent: Profiling-Guided Agentic Reasoning for Adaptive Model Optimization
arxiv.org·4d
🎲Probabilistic Programming
Automated daily Quordle solver using an LLM
flowtwo.io·1d·
Discuss: Hacker News
⚖️Logic Programming