newest
Open in hackernews
Benchmarking Crimes Meet Formal Verification
https://microkerneldude.org/2025/04/27/benchmarking-crimes-meet-formal-verification/
2
•
ingve
•
8h ago
Zalando RESTful API and Event Guidelines
https://opensource.zalando.com/restful-api-guidelines/
1
•
jonasdoesthings
•
55s ago
•
0 comments
I regret switching to Linux, even though I wanted to love it
https://www.xda-developers.com/regret-switching-linux/
1
•
ossusermivami
•
1m ago
•
0 comments
'40% IPL tax could build 10 IITs': Bengaluru prof questions India's priorities
https://www.businesstoday.in/latest/economy/story/a-40-ipl-tax-could-build-10-iits-bengaluru-professor-questions-indias-vision-priorities-473764-2025-04-27
1
•
talonx
•
1m ago
•
0 comments
Calibrations Have a Context-Collapse Problem
https://www.oldschoolburke.com/011-calibrations-have-a-context-collapse-problem/
1
•
zdosb
•
2m ago
•
1 comments
PC DOS Retro
https://pcdosretro.gitlab.io/
1
•
Tomte
•
5m ago
•
0 comments
Unlocking Ractors: Object_id
https://byroot.github.io/ruby/performance/2025/04/26/unlocking-ractors-object-id.html
1
•
ksec
•
8m ago
•
0 comments
Past, Present, and Future of (Ruby) Sorbet Type Syntax
https://blog.jez.io/history-of-sorbet-syntax/
1
•
ksec
•
9m ago
•
0 comments
TmuxAI: AI-Powered, Non-Intrusive Terminal Assistant
https://tmuxai.dev/
2
•
iaresee
•
10m ago
•
2 comments
Verizon 2025 Data Breach Investigations Report [pdf]
https://www.verizon.com/business/resources/T4c3/reports/2025-dbir-data-breach-investigations-report.pdf
1
•
abhisek
•
10m ago
•
0 comments
Building Agentic Systems: Why You Should Start with Humans as AI Agents
https://ravelantunes.com/blog/post-humans-as-agents/
1
•
ravelantunes
•
10m ago
•
0 comments
Show HN: ExamTaker – Whisper-controlled AI for real-time college exam assistance
https://www.examtaker.ai/
1
•
churlee123
•
11m ago
•
0 comments
"Godfather of AI" shares prediction for future of AI, issues warnings [video]
https://www.youtube.com/watch?v=qyH3NxFz3Aw
1
•
chriskanan
•
12m ago
•
1 comments
Show HN: Software Engineering Handbook – How to Survive Tech
https://softwareengineeringhandbook.com/
6
•
yusufaytas
•
13m ago
•
0 comments
Updating the Criteria for Web API Extended Access
https://developer.spotify.com/blog/2025-04-15-updating-the-criteria-for-web-api-extended-access
1
•
Gehinnn
•
15m ago
•
0 comments
Show HN: SemHash – Semantic Text Deduplication, Outlier Filtering and Sampling
https://github.com/MinishLab/semhash
2
•
Tananon
•
16m ago
•
0 comments
DeepWiki turns 30k+ GitHub repos to tech documentations
https://deepwiki.com/
1
•
chandlertsien
•
19m ago
•
0 comments
Show HN: A crowd-data collection Project about Indoor Air Quality (CO2)
https://www.indoorco2map.com/
1
•
aurelwu
•
19m ago
•
0 comments
Self-hosted apps are awesome, but licensing them is a mess
https://kagehq.com/
1
•
lexokoh
•
20m ago
•
1 comments
Use OpenAPI Instead of MCP for LLM Tools
https://www.binwang.me/2025-04-27-Use-OpenAPI-Instead-of-MCP-for-LLM-Tools.html
1
•
wb14123
•
24m ago
•
0 comments
No Honor Among Mutuals
https://im1776.com/2025/04/18/no-honor-among-mutuals/
1
•
herbertl
•
28m ago
•
0 comments
Earth's oceans used to be green, and they could turn purple next
https://newatlas.com/science/earths-oceans-used-to-be-green-and-they-could-turn-purple-next/
5
•
Brajeshwar
•
28m ago
•
0 comments
Colors are universal – even if our perception of them is subjective
https://theconversation.com/colors-are-objective-according-to-two-philosophers-even-though-the-blue-you-see-doesnt-match-what-i-see-234467
1
•
Brajeshwar
•
29m ago
•
0 comments
Show HN: Logchef – Schema-agnostic log viewer for ClickHouse
https://github.com/mr-karan/logchef
1
•
mr-karan
•
29m ago
•
0 comments
How to Avoid Ethical Red Flags in Your AI Projects
https://spectrum.ieee.org/ai-ethics-advice
2
•
Brajeshwar
•
30m ago
•
1 comments
Buid some capacity to be alone
https://felipevanbeetz.substack.com/p/build-some-capacity-to-be-alone
1
•
felipevb
•
30m ago
•
0 comments
We are all quite becoming more myopic
https://theoutline.com/post/8742/myopia-rates-increasing-screen-time-outdoors
1
•
gHeadphone
•
30m ago
•
0 comments
Deepwatersolos
http://deepwatersolos.com/index.php?referid
1
•
BitKing63
•
32m ago
•
1 comments
How Are Microchips Made?
https://www.youtube.com/watch?v=dX9CGRZwD-w
1
•
tornikeo
•
34m ago
•
0 comments
What Porn Did to American Culture
https://www.theatlantic.com/newsletters/archive/2025/04/what-porn-did-to-american-culture/682610/
4
•
gHeadphone
•
34m ago
•
1 comments
The Coming Knowledge-Work Supply-Chain Crisis
https://worksonmymachine.substack.com/p/the-coming-knowledge-work-supply
3
•
Stwerner
•
35m ago
•
0 comments