🐿️ 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
Smart assistant to be developed to help people with dementia
uu.nl
·
1d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Mapping Out the Library of Babel
carlnewton.github.io
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Launching RustMailer – My Journey to a Fast, Self-Hosted Email API in Rust
indiehackers.com
·
2d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as
·
21h
·
Discuss:
Hacker News
📦
Unikernel Systems
How AI on Microcontrollers Works: Registering Operators
danielmangum.com
·
6d
·
Discuss:
Hacker News
🐫
OCaml
You can learn anything in 2 weeks
letters.thedankoe.com
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
The great misunderstanding of the DRY principle
pmatteo.com
·
6d
·
Discuss:
Hacker News
🎮
Verification Games
China’s BYD Takes the Lead Over Tesla in the Self-Driving Car Wars
gizmodo.com
·
1d
·
Discuss:
Hacker News
,
r/technology
🖥️
Self-hosted Infrastructure
Artisanal Handcrafted Git Repositories
drew.silcock.dev
·
3d
·
Discuss:
Lobsters
,
Hacker News
❄️
Nixified Development
A Few Things I've Learned about Prompt Engineering
cloudcruise.com
·
6d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Divine Documentation
aneeshsathe.com
·
4d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Sanity check: help me confirm my plan to start my Home lab? TrueNAS (or Unraid) vs Proxmox vs Ugreen and lost in the sauce.
reddit.com
·
4h
·
Discuss:
r/homelab
🏠
HomeLab
Source code analysis of Amazon Kiro
ghuntley.com
·
5d
·
Discuss:
Hacker News
❄️
Nixified Development
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org
·
2d
➡️
Category Theory
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org
·
2d
🍎
Apple
Where to place my homelab in this home?
i.redd.it
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
Biggest Mistakes Engineering Leaders Make With AI
newsletter.eng-leadership.com
·
4d
·
Discuss:
r/programming
🧪
Property-Based Testing
Lightweight Safety Guardrails via Synthetic Data and RL-guided Adversarial Training
arxiv.org
·
6d
🛡️
seL4
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.org
·
2d
🧱
Immutable Infrastructure
Why AI Agents Need a New Kind of Browser
thenewstack.io
·
2d
🛡️
seL4
Loading...
Loading more...
« Page 30
•
Page 32 »