NetHack4 Philosophy
nethack4.org·16h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·1h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Inside Pinecone: Slab Architecture
pinecone.io·13h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·10h·
Discuss: r/programming
🎯GADT
Flag this post
We need to give LLMs human-like vision
matml.bearblog.dev·13h·
📚Automata Learning
Flag this post
A Project Is Not a Bundle of Tasks
secondthoughts.ai·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·5d
🧮Z3 Solver
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·4h·
Discuss: DEV
🎮Verification Games
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🔒Protocol Verification
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
KGBridge: Knowledge-Guided Prompt Learning for Non-overlapping Cross-Domain Recommendation
arxiv.org·1h
Order Theory
Flag this post
Solving a problem with mindware
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·2d
📚Automata Learning
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·1d
🎮Verification Games
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·1d
🧩Parser Combinators
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·1d
📚Automata Learning
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·19h
🧪Property-Based Testing
Flag this post