a new city
ku.bearblog.dev·22h
🤝Protocol Design
Das Problem mit German Strings
polarsignals.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
Is American Science Stuck in a Doom Loop?
nakedcapitalism.com·22h
🔢Mathematical Logic
Microservices with Spring Boot and Spring Cloud, 4th Ed (Packt)
i-programmer.info·20h
🧮Programming Language Theory
2 years after a failed startup,I launched a new one and got my first paying user
buildingwithchris.com·1h·
Discuss: Hacker News
👐Open Source Software
How Virtual Assistants work
idiallo.com·1d
🔧Compiler Design
Cocotb for Verification. Innovation in Verification
semiwiki.com·20h
✅Formal Verification
Why AI Super Prompts Are Becoming Obsolete in 2025
geeky-gadgets.com·2d
🧩Theorem Proving
Logistic Regression is the most important foundational algorithm in Classification Modeling.
threadreaderapp.com·22h
🎲Probabilistic Programming
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·2d·
Discuss: Hacker News
🔍Static Analysis
Phishing Emails Are Now Aimed at Users and AI
malwr-analysis.com·3d·
Discuss: Hacker News
🧫Cellular Automata
Securing the AI Revolution: Introducing Cloudflare MCP Server Portals - The Cloudflare Blog
news.google.com·1d
🧭SMT Solvers
Use it or lose it – musings on LLMs
onoffswitch.net·2d·
Discuss: Hacker News
🧩Theorem Proving
In your experience, what practices are necessary for a development team to run well?
reddit.com·2d·
Discuss: r/AskProgramming
🔧Compiler Design
Everyone talks about AI “memory,” but nobody defines it.
threadreaderapp.com·20h
🧠Memory Management
Modeling and optimization of a membrane-assisted hybrid gas grid for methane and carbon dioxide transport, storage, and sector coupling
sciencedirect.com·19h
🧫Cellular Automata
Bedrock Knowledge Bases with S3 Vectors: A [Preview] CDK Quickstart
dev.to·1d·
Discuss: DEV
🦀Rust
【大雨警報】秋田県・潟上市、北秋田市、三種町、五城目町、八郎潟町、井川町に発表 27日04:55時点
news.jp·1d
🧫Cellular Automata
A Review of Developmental Interpretability in Large Language Models
arxiv.org·3d
🔗Parser Combinators
An AI explained data-driven framework for electricity theft detection with optimized and active machine learning
sciencedirect.com·4d
🎲Probabilistic Programming