Tech
Show HN: TinyOS – A minimalist RTOS for Cortex-M written in C
Article URL: https://github.com/cmc-labo/tinyos-rtos Comments URL: https://news.ycombinator.com/item?id=47632750 Points: 9 # Comments: 2
Tech
Tech
Iran Strikes Leave Amazon Availability Zones "Hard Down" in Bahrain and Dubai
Article URL: https://www.bigtechnology.com/p/iran-strikes-leave-amazon-availability Comments URL: https://news.ycombinator.com/item?id=47632503 Points: 36 # Comments: 12
Tech
Charge Robotics (YC S21) Is Hiring Software and Hardware Engineers
Article URL: https://jobs.ashbyhq.com/charge-robotics Comments URL: https://news.ycombinator.com/item?id=47632460 Points: 0 # Comments: 0
Tech
Oracle Files H-1B Visa Petitions Amid Mass Layoffs
Article URL: https://nationaltoday.com/us/tx/austin/news/2026/04/03/oracle-files-thousands-of-h-1b-visa-petitions-amid-mass-layoffs/ Comments URL: https://news.ycombinator.com/item?id=47631732 Points: 195 # Comments: 101
Tech
Automatic Textbook Formalization
Article URL: https://github.com/facebookresearch/repoprover Comments URL: https://news.ycombinator.com/item?id=47631648 Points: 17 # Comments: 6
Tech
Show HN: Ismcpdead.com – Live dashboard tracking MCP adoption and sentiment
Built this to track the ongoing debate around Model Context Protocol - whether it's gaining real traction or just hype. Pulls live data from GitHub, HN, Reddit and a few other sources. Curious what the HN crowd thinks given how active the MCP discuss
Tech
PIGuard: Prompt Injection Guardrail via Mitigating Overdefense for Free
Article URL: https://injecguard.github.io/ Comments URL: https://news.ycombinator.com/item?id=47631011 Points: 7 # Comments: 3
Tech
Anthropic ramps up its political activities with a new PAC
With the midterms right around the corner, the new group is positioned to back candidates who support the AI company's policy agenda.
Tech
Best iPad apps to boost productivity and make your life easier
There are many iPad apps to help you organize recipes, sync tasks across devices, be more productive, and manage your notes.
Tech
AI companies are building huge natural gas plants to power data centers. What could go wrong?
Meta, Microsoft, and Google are all betting big on new natural gas power plants to run their AI data centers. They may regret it.
Tech
People would rather have an Amazon warehouse in their backyard than a data center
A new poll shows that the debate over data centers is far from settled.
Tech
Artemis II crew take 'spectacular' image of Earth
Article URL: https://www.bbc.com/news/articles/ce8jzr423p9o Comments URL: https://news.ycombinator.com/item?id=47631118 Points: 8 # Comments: 4
Tech
Age Verification on Systemd and Flatpak
Article URL: https://cybrkyd.com/post/age-verification-on-systemd-and-flatpak/ Comments URL: https://news.ycombinator.com/item?id=47630893 Points: 34 # Comments: 29
Tech
Async Python Is Secretly Deterministic
Article URL: https://www.dbos.dev/blog/async-python-is-secretly-deterministic Comments URL: https://news.ycombinator.com/item?id=47630592 Points: 23 # Comments: 15
Tech
How to Make a Sliding, Self-Locking, and Predator-Proof Chicken Coop Door (2020)
Article URL: https://www.backyardchickens.com/articles/how-to-make-a-sliding-self-locking-and-predator-proof-chicken-coop-door.75906/ Comments URL: https://news.ycombinator.com/item?id=47630576 Points: 24 # Comments: 7