"Can GPT-4 co-author a sacred text? A symbolic experiment in prompting AI
scribd.com·13h·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
💻QEMU
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·2d·
Discuss: r/golang
🎯GADT
Flag this post
Viruses of the Mind
grokipedia.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·22h
❄️NixOS
Flag this post
601: Game Theory
explainxkcd.com·2d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
mbuffett.com·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
How to Build an AWS Bedrock Supervisor Agent to Automate EC2 and CloudWatch Tasks
hackernoon.com·11h
🌐ActivityPub
Flag this post
Ajla Tutorial
ajla-lang.cz·3d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.com·4h·
Discuss: Hacker News
🍎Apple
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·9h·
Discuss: DEV
🌐ActivityPub
Flag this post
A toy model of corrigibility
lesswrong.com·9h
⏰Timed Automata
Flag this post
Tencent/WeKnora
github.com·3d
🔌APIs
Flag this post
**Breaking the Curse of Dimensionality: A Game-Changer for L
dev.to·2d·
Discuss: DEV
🧩Parser Combinators
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·3d·
Discuss: DEV
🛡️seL4
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·11h·
Discuss: DEV
📚Automata Learning
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·2d
📚Automata Learning
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Adaptive Stemming via Graph-Augmented Recurrent Variational Autoencoders
dev.to·22h·
Discuss: DEV
📚Automata Learning
Flag this post