newest
Open in hackernews
Beginner resources for formalizing lambda calculi
https://chrishenson.net/posts/2025-05-10-formalized_lambda_calculus.html
3
•
jwdunne
•
17h ago
Armbian Updates: OMV support, boot improvents, Rockchip optimizations
https://www.armbian.com/newsflash/armbian-updates-nas-support-lands-boot-systems-improve-and-rockchip-optimizations-arrive/
1
•
transpute
•
33s ago
•
0 comments
School Management Software in Dubai
1
•
Levontechno
•
6m ago
•
0 comments
Social app with only real people?
1
•
jbdtky
•
7m ago
•
0 comments
Stopping Fraud Before It Happens: The Tech Behind Cashfree Payments' RiskShield
https://tech.cashfree.com/stopping-fraud-before-it-happens-the-tech-behind-cashfree-payments-riskshield-pa-1ecfda4fa217
1
•
dipakbansal
•
7m ago
•
0 comments
Beating the Fastest Lexer Generator in Rust
https://alic.dev/blog/fast-lexing
1
•
AndrewDucker
•
8m ago
•
0 comments
LinkedIn to Website Generator with AI
https://onli.bio/sign-up/username
1
•
zinxor
•
9m ago
•
0 comments
Show HN: EmojiSymbolsCopy – Instantly copy&paste symbols, emojis, and text art
https://emojisymbolscopy.com
1
•
Chipen
•
9m ago
•
0 comments
White House fires head of Copyright Office amid Library of Congress shakeup
https://www.washingtonpost.com/politics/2025/05/11/white-house-copyright-office-director-fired/
2
•
handfuloflight
•
10m ago
•
0 comments
Modular's bet to break out of the Matrix (Democratizing AI Compute, Part 10)
https://www.modular.com/blog/modulars-bet-to-break-out-of-the-matrix-democratizing-ai-compute-part-10
1
•
dhruv3006
•
12m ago
•
0 comments
HTML Time Tags and DRY (HARC Stack)
https://rakujourney.wordpress.com/2025/05/12/harc-stack-semantic-time/
1
•
librasteve
•
16m ago
•
0 comments
AI Black Box Effect: Why We Need AI Interpretability
https://medium.com/@AhmedF/ai-black-box-effect-why-we-need-ai-interpretability-c5017ea8850c
1
•
algoghostf
•
19m ago
•
0 comments
Creating a static website for all my bookmarks
https://alexwlchan.net/2025/bookmarks-static-site/
2
•
paulcapewell
•
20m ago
•
0 comments
Kubernetes and the Erlang VM: orchestration on the large and the small (2019)
https://dashbit.co/blog/kubernetes-and-the-erlang-vm-orchestration-on-the-large-and-the-small
1
•
antfarm
•
21m ago
•
0 comments
I developed a cool anime wallpaper made by AI
https://www.girlaniai.com
1
•
cy2025421
•
21m ago
•
0 comments
US and China agree to drastically roll back tariffs
https://www.cnn.com/2025/05/12/business/us-china-trade-deal-announcement-intl-hnk
4
•
xnhbx
•
22m ago
•
1 comments
China and US agree to slash tariffs
https://www.ft.com/content/92887b83-1b99-4d69-ba70-6bc812e23dbe
4
•
mraniki
•
22m ago
•
0 comments
Joint Statement on China-U.S. Economic and Trade Meeting in Geneva
https://www.mofcom.gov.cn/syxwfb/art/2025/art_3bcf393df58d4483804c0c3d692a5744.html
1
•
misonic
•
24m ago
•
2 comments
It's the System, Stupid: the IA Paradox
https://codemanship.wordpress.com/2025/05/11/its-the-system-stupid/
1
•
neamar
•
26m ago
•
0 comments
Show HN: Browser-based screen recorder (for bug reporting)
https://github.com/KaliedaRik/sc-screen-recorder
1
•
rikroots
•
27m ago
•
0 comments
Show HN: Fastlist, an Agentic Craigslist
https://fastlist.org
2
•
cyberflux
•
28m ago
•
0 comments
Tech CEOs: Who's the meanest of them all
https://medium.com/@adrianbooth/tech-ceos-whos-the-meanest-of-them-all-a684a7da0d20
1
•
adrianbooth17
•
30m ago
•
0 comments
De Novo Reconstruction of 3D Human Facial Images from DNA Sequence
https://advanced.onlinelibrary.wiley.com/doi/full/10.1002/advs.202414507
2
•
mfld
•
30m ago
•
0 comments
Andreas Kling's Keynote Presentation on the Ladybird Browser [video]
https://www.youtube.com/watch?v=9YM7pDMLvr4
1
•
danboarder
•
30m ago
•
0 comments
Show HN: Iconic Meme Templates, Restored
https://memestudio.com/meme-templates/
1
•
jonaskamber
•
33m ago
•
1 comments
An In-Depth Introduction to MCP
https://www.speakeasy.com/mcp/mcp-tutorial
1
•
sixhobbits
•
33m ago
•
0 comments
Vibemail: Built Chrome Extension for Vibe Emailing
https://chromewebstore.google.com/detail/vibemail/dijcjhhnpgoenmkmahigmdgpkajhhhbg
3
•
aliyanishfaq
•
33m ago
•
1 comments
Apple may release a 'mostly glass, curved iPhone' in 2027
https://www.theverge.com/news/664776/apple-curved-glass-iphone-2027
1
•
amalinovic
•
41m ago
•
0 comments
Using type assertions in Go with concrete types
https://www.jvt.me/posts/2025/05/10/go-type-assertion-concrete/
2
•
unripe_syntax
•
43m ago
•
0 comments
Writing a programming language to port my software library
https://numberduck.com/blog/transpiling-number-duck/
1
•
CliffyA
•
45m ago
•
0 comments
Show HN: I built a system to make ChatGPT brutally honest with you
https://www.honestprompts.com/
1
•
moobuilds
•
56m ago
•
0 comments