The Medieval World Revealed
worldhistory.substack.com·1d·
Discuss: Substack
➡️Category Theory
Show HN: I built a tool that generates Brat-style covers
bratgenerator.icu·21h·
Discuss: Hacker News
🍎Apple
C100 Developer Terminal – Computer for Experts
caligra.com·4h·
Discuss: Hacker News
💾Retro Computing
A Look Back at WeChat's PhxSQL and the 'Fastest Majority'
supasaf.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
What's Missing in the Debate on Online Freedom of Expression in US, Brazil
techpolicy.press·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
MS warns 'active attacks' on its tech, experts 'assume you've been compromised'
pcgamer.com·11h·
Discuss: Hacker News
👁️System Observability
Daily Grind July 21: AI vs. Media Companies
damngrav.substack.com·6h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Logging Best Practices: Defining Error Codes
thenewstack.io·3d
🔬Static Analysis
Smart Routing for Multimodal Video Retrieval: When to Search What
arxiv.org·23h
🐫Embedded OCaml
Psilocybin produces substantial sustained decreases in depression and anxiety
pmc.ncbi.nlm.nih.gov·3d·
Discuss: Hacker News
💾Retro Computing
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·4d
✓Automated Theorem Proving
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·3d
🔄Finite State Machines
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org·3d
➡️Category Theory
Is LLM making us better programmers or just more complacent?
reddit.com·1d·
Discuss: r/programming
🤖Program Synthesis
Idea: "codetochat.com"–An AI tool to help developers understand legacy codebases
news.ycombinator.com·3d·
Discuss: Hacker News
🔤DSLs
Chatbots to robots: The rise of 'physical AI'
computerworld.com·16h·
Discuss: Hacker News
🤖Program Synthesis
AI-ming backwards: Vanishing archaeological landscapes in Mesopotamia and automatic detection of sites on CORONA imagery
arxiv.org·23h
💻CS
How AI Can Speed up Modernization of Your Legacy IT Systems
thenewstack.io·3d
🤖Program Synthesis
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
arxiv.org·6d
🏹Effect Systems
RegCL: Continual Adaptation of Segment Anything Model via Model Merging
arxiv.org·4d
🔍Formal Verification