Businesses Still Need Landlines
potsandpansbyccg.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I regret adding i18n to my startup
andrii.ro·2d·
Discuss: r/programming
📦Unikernel Systems
Shamelessness as a Strategy (2019)
nadia.xyz·2d·
Discuss: Hacker News
🎮Verification Games
Britain caves in to Trump demands on iPhone security
telegraph.co.uk·2d·
Discuss: Hacker News
🍎Apple
A Better Vocabulary for Testing
alperenkeles.com·4d·
Discuss: Lobsters, r/compsci, r/programming
🧪Property-Based Testing
Looking for dev for jobs in Laravel system
reddit.com·4d·
Discuss: r/programming
🛡️seL4
Time, Fences and the Ordering of Events in TSO
arxiv.org·3d
🔄Finite State Machines
Injecting doubts in the CoT of reasoning models
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Deep Learning for Automated Identification of Vietnamese Timber Species: A Tool for Ecological Monitoring and Conservation
arxiv.org·3d
🔤DSLs
Solve the AI Tech Talent Crisis With These Recruiting Strategies
thenewstack.io·3d
🧗Climbing Tech
Microsoft: AI ‘Business Agents’ Will Kill SaaS by 2030
thenewstack.io·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Inspire or Predict? Exploring New Paradigms in Assisting Classical Planners with Large Language Models
arxiv.org·3d
🤖Program Synthesis
Wahoo BOLT/ROAM V1 GPS Units Reset 20 Years Back, Becomes Unusuable
dcrainmaker.com·3d·
Discuss: Hacker News
📦Unikernel Systems
EvoPSF: Online Evolution of Autonomous Driving Models via Planning-State Feedback
arxiv.org·3d
🔄Finite State Machines
NAS for multiple USB external drives
reddit.com·6d·
Discuss: r/homelab
🏠HomeLab
AI in Mental Health: Emotional and Sentiment Analysis of Large Language Models' Responses to Depression, Anxiety, and Stress Queries
arxiv.org·3d
🐫OCaml
Multispectral Fine-Grained Classification of Blackgrass in Wheat and Barley Crops
arxiv.org·2d
🐫OCaml
Towards Open-Ended Emotional Support Conversations in LLMs via Reinforcement Learning with Future-Oriented Rewards
arxiv.org·2d
🐫OCaml
Synthetic Data is Sufficient for Zero-Shot Visual Generalization from Offline Data
arxiv.org·2d
🎮Verification Games
Goal-Oriented Low-Rank Tensor Decompositions for Numerical Simulation Data
arxiv.org·3d
➡️Category Theory