Recent posts
View all
Hacker News
New best story on Hacker News: Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Leanstral: Open-source agent for trustworthy coding and formal proof engineering 602 …
Hacker News
New best story on Hacker News: Kagi Translate now supports LinkedIn Speak as an output language
Kagi Translate now supports LinkedIn Speak as an output language 632 by smitec | 160 …
Hacker News
New best story on Hacker News: US SEC preparing to scrap quarterly reporting requirement
US SEC preparing to scrap quarterly reporting requirement 489 by djoldman | 262 comme…
Hacker News
New best story on Hacker News: Palestinian boy, 12, describes how Israeli forces killed his family in car
Palestinian boy, 12, describes how Israeli forces killed his family in car 550 by tar…
Hacker News
New best story on Hacker News: RAM kits are now sold with one fake RAM stick alongside a real one
RAM kits are now sold with one fake RAM stick alongside a real one 277 by edward | 17…
Hacker News
New best story on Hacker News: How kernel anti-cheats work
How kernel anti-cheats work 318 by davikr | 273 comments on Hacker News.
Hacker News
New best story on Hacker News: Ageless Linux – Software for humans of indeterminate age
Ageless Linux – Software for humans of indeterminate age 431 by nateb2022 | 276 comme…
Social Plugin