Loading Ian Piumarta's Smalltalk terminal emulator code
eighty-twenty.org·1d
📟Terminals
Tracking my Computer Science Relearning Journey
hackernoon.com·2d
💻CS
Building a Self-Healing Microservices Architecture with AWS Lambda, Step Functions, and Terraform
blog.devops.dev·2d
🤖Network Automation
Are LLMs better suited for PR reviews than full codebases?
news.ycombinator.com·2h·
Discuss: Hacker News
📏Code Metrics
Unlock the Black Box: AI-Powered Optimization for Any Problem
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
Baby's first type checker
austinhenley.com·5d·
Discuss: Lobsters, Hacker News
🔤Type Theory
Loong: Synthesize Long Chain-of-Thoughts at Scale through Verifiers
arxiv.org·1d
👑Coq Tactics
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·14h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Three Sacred Guardrails of AI
aboard.com·1d·
Discuss: Hacker News
⚡Proof Automation
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·1d
🧪CBOR Fuzzing
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
arxiv.org·16h
🔧Reed-Solomon
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·12h·
Discuss: DEV
✅Format Verification
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·16h
🏛Digital humanities
Boosting Your Anomaly Detection With LLMs
towardsdatascience.com·1d
💻Local LLMs
🎿“Minimum Operations to Make the Integer Zero” LeetCode: 2749 [C++, JavaScript, Python]
dev.to·17h·
Discuss: DEV
📐Interval Arithmetic
Meta-Policy Reflexion: Reusable Reflective Memory and Rule Admissibility for Resource-Efficient LLM Agent
arxiv.org·16h
📏Linear Logic
AI Artists vs. AI Engineers
frontierai.substack.com·1d·
Discuss: Substack
⚡Proof Automation
Automated Carbon Footprint Lifecycle Assessment via Dynamic Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Notion's hosted MCP server: an inside look
notion.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Gromov-Wasserstein and optimal transport: from assignment problems to probabilistic numeric
arxiv.org·16h
📐Compression Bounds