🐿️ 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
Southwestern drought likely to continue through 2100, research finds
insideclimatenews.org
·
10h
·
Discuss:
Hacker News
🧗
Climbing Tech
'I love you': Virus caused B. in damage and exposed vulnerabilities which remain
cnn.com
·
2h
·
Discuss:
Hacker News
💾
Retro Computing
Smart assistant to be developed to help people with dementia
uu.nl
·
1d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
SFT Is Bad RL
justinchiu.netlify.app
·
4d
·
Discuss:
Hacker News
🔍
Formal Verification
Claude Code Planning Mode Posture Is Off Balance
banagale.com
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Paylias: A payment network alternative to Visa and Mastercard
paylias.xyz
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Hack, Hacky, Hacker
aneeshsathe.com
·
2d
·
Discuss:
Hacker News
🔬
Unikernels
Denise: C64/Amiga emulator with shader and runAhead
sourceforge.net
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Social Capital: The Compound Interest of Your Engineering Career
newsletter.rafapaez.com
·
4h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Among the A.I. Doomsayers
newyorker.com
·
2d
·
Discuss:
Hacker News
🔬
Unikernels
Why I Hate Azure with a Passion
medium.com
·
14h
·
Discuss:
Hacker News
👁️
System Observability
Quantum computing could be humanity's biggest breakthrough since fire
aol.com
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
The three great virtues of an AI-assisted programmer
seangoedecke.com
·
6d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org
·
4d
➡️
Category Theory
Show HN: ProjectD – Google Drive-based, AES-encrypted C2 in C/C++
github.com
·
5d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Moped – Windows Notepad Equivalent for Mac
github.com
·
2d
·
Discuss:
Hacker News
🍎
Apple
Differential-informed Sample Selection Accelerates Multimodal Contrastive Learning
arxiv.org
·
2d
💻
CS
GHPO: Adaptive Guidance for Stable and Efficient LLM Reinforcement Learning
arxiv.org
·
4d
✓
Automated Theorem Proving
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org
·
4d
🐫
OCaml
Source code analysis of Amazon Kiro
ghuntley.com
·
6d
·
Discuss:
Hacker News
❄️
Nixified Development
Loading...
Loading more...
« Page 31
•
Page 33 »