Beginning Mathematical Logic: A Study Guide
logicmatters.net·1d·
Discuss: Hacker News
🏞️Data Lakehouse
Flag this post
Orbitally-Driven Nutrient Pulses Linked to Early Cambrian Periodic Oxygenation
agupubs.onlinelibrary.wiley.com·16h·
Discuss: Hacker News
📊Columnar Databases
Flag this post
Deciphering the Oil-Filled Ressence Type 3 BB2
monochrome-watches.com·2h·
Discuss: Hacker News
💾SQLite
Flag this post
Ryanair tries forcing app downloads by eliminating paper boarding passes
arstechnica.com·5h
📈Financial Data
Flag this post
Piracy's Back
protein.xyz·1d·
Discuss: Hacker News
🌐Open Source
Flag this post
The Sanskrit Square Root Algorithm
hackaday.com·23h·
Discuss: Hacker News
📐Column Encoding
Flag this post
Resolving the Scourge of Java's Checked Exceptions on Its Streams and Lambdas
javajanitorjim.substack.com·2d·
Discuss: Substack
🕸️WebAssembly
Flag this post
Remind: A sophisticated calendar and alarm program
dianne.skoll.ca·5d·
Discuss: Hacker News
⚡OLTP Systems
Flag this post
Context is queen and she runs the house
thoughtmerchants.com·1d·
Discuss: Hacker News
⚡ClickHouse
Flag this post
Best Chrome Extensions for Saving Money in 2025
medium.com·1d·
Discuss: Hacker News
⚡OLTP Systems
Flag this post
Two Claudes discussing the nature of their own existence
joe-occasionally-writes-stuff.blogspot.com·1d·
Discuss: Hacker News
🔍Data Lineage
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
⚙️Systems Programming
Flag this post
AI Pose: An all-in-one AI creative studio for videos, art, outfit changes
aipose.ai·3h·
Discuss: Hacker News
🌐Open Source
Flag this post
Bubble cascade in Guinness beer is caused by gravity current instability (2019)
nature.com·17h·
Discuss: Hacker News
⚡OLTP Systems
Flag this post
You need an AI policy for docs
passo.uno·1d·
Discuss: Hacker News
🌐Open Source
Flag this post
Show HN: Edit Video with Claude Code
github.com·1d·
Discuss: Hacker News
⚙️Zig
Flag this post
Code legacy: Analyzing Erlang's C and C++ modules
pvs-studio.com·4d·
Discuss: Hacker News
⚙️Zig
Flag this post
Automate changelogs, versioning, and publishing with Sampo
goulven-clech.dev·2d·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Claude Code to manage engineering teams
devashish.me·4d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Digel. Troubleshooting Agents for Manufacturing
digel.io·1d·
Discuss: Hacker News
⚡ClickHouse
Flag this post