Analog of Heron’s formula on a sphere
johndcook.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
The Hidden Math of Ocean Waves
wired.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
I Curate an Anthology
compellingsciencefiction.com·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Relay – Team Collaboration in Obsidian
relay.md·1d·
Discuss: Hacker News
🌐network programming
Flag this post
Trinity Desktop Environment R14.1.5 Released
trinitydesktop.org·22h·
Discuss: Hacker News
🔄compilers
Flag this post
Sam Altman served with subpoena during live talk with Steve Kerr
tribune.com.pk·2d·
Discuss: Hacker News
🌐network programming
Flag this post
The graphene revolution that could redefine computing
ioplus.nl·8h·
Discuss: Hacker News
⚙️systems programming
Flag this post
First-party data offers a competitive edge for European advertisers
thetradedesk.com·4d·
Discuss: Hacker News
🗄️databases
Flag this post
Automated PDF Generation with Typst
typst.app·3d·
Discuss: Hacker News
🔄compilers
Flag this post
The Linux Kernel Looks To "Bite The Bullet" In Enabling Microsoft C Extensions
phoronix.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/C_Programming, r/linux, r/programming
🔄compilers
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·6d·
Discuss: Substack
⚙️systems programming
Flag this post
Improving Rust Compile Times by 71 Percent
elijahpotter.dev·4d·
Discuss: Hacker News, Hacker News, r/programming
🔄compilers
Flag this post
VS Code extension for interactive code flowcharts and dependency graphs
github.com·13h·
Discuss: Hacker News, r/opensource, r/programming
⚙️systems programming
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·5d·
Discuss: Hacker News
✅formal methods
Flag this post
ClusterMAX™ 2.0: The Industry Standard GPU Cloud Rating System
newsletter.semianalysis.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Let LLMs control your UI
tambo.co·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Build a System to Learn and Remember Technical Topics as a Developer
spin.atomicobject.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Why Your Best Engineers Are Interviewing Elsewhere, CodeGood
codegood.co·5d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Ask HN: When ChatGPT Deleted Evidence of Its Own Mistake
news.ycombinator.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Beauty Backfire Effect: How Extreme Attractiveness Undermines Fitfluencers
onlinelibrary.wiley.com·1d·
Discuss: Hacker News
🗄️databases
Flag this post