🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🤖 Program Synthesis
Automated Programming, Formal Specifications, Code Generation, Proof Search
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Building a BLE-Powered Air Quality Dashboard with Grafana
bleuio.com
·
1d
·
Discuss:
r/homelab
👁️
System Observability
Netflix Using Startup Runway AI’s Video Tools for Production
bloomberg.com
·
19h
·
Discuss:
Hacker News
🍎
Apple
NIH on AI
grants.nih.gov
·
17h
·
Discuss:
Hacker News
📡
Network Protocol Design
Mars Trilogy Technical Commentary
caseyhandmer.wordpress.com
·
21h
·
Discuss:
Hacker News
🔬
Unikernels
The Finance of Alchemy
thediff.co
·
23h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
The Foundations of Reality: Physics and Philosophy Shape Everything We Create
opuslabs.substack.com
·
21h
·
Discuss:
Substack
➡️
Category Theory
Door Wide AI: The 64M Users McDonald's Left Behind
vitraag.com
·
1d
·
Discuss:
Hacker News
🍎
Apple
Image Search: An internet-powered image search and conversion for C64 OS
c64os.com
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
Wikipedia: Signs of AI Writing
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Is AI Leaving the Python Community Behind?
georgiker.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com
·
5d
·
Discuss:
Hacker News
🔤
DSLs
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build
·
4d
·
Discuss:
Hacker News
🌐
NetworkProtocols
SecurePose: Automated Face Blurring and Human Movement Kinematics Extraction from Videos Recorded in Clinical Settings
arxiv.org
·
1d
🐫
OCaml
Acceleration of Gossip Algorithms through the Euler-Poisson-Darboux Equation
arxiv.org
·
1d
📡
Network Protocol Design
Signs of the Past, Patterns of the Present: On the Automatic Classification of Old Babylonian Cuneiform Signs
arxiv.org
·
1d
✓
Automated Theorem Proving
My First HomeLab (Leveraging Ai)
reddit.com
·
2d
·
Discuss:
r/homelab
🏠
HomeLab
The Case for Contextual Copyleft: Licensing Open Source Training Data and Generative AI
arxiv.org
·
4d
🔄
Reproducible Builds
Cloudflare and the infinite sadness of migrations
surfingcomplexity.blog
·
11h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
For those who hate mock and patch hell
medium.com
·
3d
·
Discuss:
r/programming
🧪
Property-Based Testing
Consistent Explainers or Unreliable Narrators? Understanding LLM-generated Group Recommendations
arxiv.org
·
1d
🎮
Verification Games
Loading...
Loading more...
« Page 37
•
Page 39 »