Cornell Note Taking – The Best Way to Take Notes, Explained
goodnotes.com·11h·
Discuss: Hacker News
✅formal methods
Crash Cows
beza1e1.tuxen.de·4d·
Discuss: Hacker News
⚙️systems programming
2.5B Gmail users endangered after Google database hack
pcworld.com·11h·
Discuss: Hacker News
🗄️databases
Four Remarkable Stories from the History of Math Behind Bars
scientificamerican.com·4d·
Discuss: Hacker News
🗄️databases
Nano Banana
nanobanana.ai·3d·
Discuss: Hacker News
🔄compilers
MCP, OTAs, and Reshaping Travel
directbooker.com·3d·
Discuss: Hacker News
⚡query optimization
Tecton is Joining Databricks to Power Real-Time Data for Personalized AI Agents
databricks.com·2d·
Discuss: Hacker News
🗄️databases
Colorado's subalpine wetlands may be producing a toxic form of mercury
phys.org·1d·
Discuss: Hacker News
🗄️databases
Amazon Q Developer for VS Code Vulnerable to Invisible Prompt Injection
embracethered.com·4d·
Discuss: Hacker News
✅formal methods
Commodore Amiga turns 40, headlines UK exhibition
theregister.com·5d·
Discuss: Hacker News
🗄️databases
The Release of LibreLane
fossi-foundation.org·6d·
Discuss: Hacker News
⚙️systems programming
Quasicrystals Spill Secrets of Their Formation
quantamagazine.org·6d·
Discuss: Hacker News
✅formal methods
Show HN: SideNote – Markdown Note Extension on Browser Sidepanel
github.com·3d·
Discuss: Hacker News
🔄compilers
Attention Is the New Big-O: A Systems Design Approach to Prompt Engineering
alexchesser.medium.com·5d·
Discuss: Hacker News
⚙️systems programming
Ask HN: Do you think LLMs will rapidly accelerate "hard" fields? Why / why not
news.ycombinator.com·3d·
Discuss: Hacker News
✅formal methods
Show HN: AWS Cost Explorer Clone
github.com·1d·
Discuss: Hacker News
⚙️systems programming
Using LLMs to turn scripts into applications
djharper.dev·5d·
Discuss: Hacker News
🗄️databases
Ask HN: Where to Hire JavaScript Devs?
news.ycombinator.com·3d·
Discuss: Hacker News
🌐network programming
Our Shared Reality Will Self-Destruct in the Next 12 Months
honest-broker.com·4d·
Discuss: Hacker News
✅formal methods
Curator: Scalable data pre processing and curation toolkit for LLMs
github.com·4d·
Discuss: Hacker News
⚙️systems programming