🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🤖 Program Synthesis

Automated Programming, Formal Specifications, Code Generation, Proof Search

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...
AboutBlogChangelogRoadmap