Should I choose Ada, SPARK, or Rust over C/C++? (blog.adacore.com)

1 points by amai 1m ago 0 comments

Imperative to Declarative: 70 years of rising abstraction (twitter.com)

1 points by ksec 11m ago 0 comments

Founding Engineer in Healthtech Sanno

1 points by ariadna_maso 11m ago 0 comments

Ask HN: Seeking Feedback on Hemmyevo – Full-Stack Web Development with Next.js

1 points by Hemmyevo 18m ago 0 comments

Ubuntu 25.10 Plans to Use Sudo-Rs by Default for Memory-Safe, Rust-Based Sudo (phoronix.com)

2 points by Flex247A 20m ago 0 comments

China needs Taiwanese ports to take the island. Mines are the key to protecting (aspistrategist.org.au)

2 points by suraci 20m ago 0 comments

Drag and Pwnd: Exploiting VS Code with ASCII (portswigger.net)

1 points by albinowax_ 20m ago 0 comments

Agentic Editing in Zed (zed.dev)

2 points by nwjsmith 22m ago 0 comments

Sonos and IKEA are ending their partnership (theverge.com)

1 points by detaro 22m ago 0 comments

Decision-Making as a Founder or Investor

1 points by mmusz 24m ago 0 comments

Style AI free image style conversion tool (styleai.art)

1 points by AllenRen 24m ago 1 comments

Sentient (Intelligence Analysis System) (en.wikipedia.org)

1 points by keepamovin 24m ago 0 comments

I interviewed 100 writers about AI – here's what I learnt (flynndevine.substack.com)

2 points by flynndevine 24m ago 0 comments

Fiddling Weights with Temperature (boristhebrave.com)

1 points by ibobev 26m ago 0 comments

Show HN: I made a free shapefile to CSV converter that runs in the browser (honeycombmaps.com)

2 points by carstonh 28m ago 0 comments

Voight-Kampff Test (bladerunner.fandom.com)

1 points by baxtr 28m ago 0 comments

Ask HN: What to learn/do in the age of AI?

2 points by justanything 31m ago 1 comments

VR-CLI: Learning to Reason for Long-Form Story Generation (arxiv.org)

1 points by andy12_ 32m ago 0 comments

Big Tech Battles – report from the trenches (rewiring.bearblog.dev)

1 points by Mossy9 35m ago 0 comments

Do you approve of the state of the software industry? (floss.social)

1 points by dredmorbius 35m ago 1 comments

Migrating a JavaScript Project from Prettier and ESLint to BiomeJS (blog.appsignal.com)

2 points by unripe_syntax 35m ago 0 comments

Show HN: Lwlnow – Dictation-based practice for language learners (lwlnow.com)

1 points by tarantababu 36m ago 0 comments

Uber CEO says changing employee benefits 'is a risk we decided to take' (cnbc.com)

2 points by SirLJ 39m ago 1 comments

Show HN: Digest – Create daily briefings from any source (HN, Reddit, X, RSS) (usedigest.com)

2 points by digest 40m ago 0 comments

Students: Customize ChatGPT to learn more efficiently (renaudr.com)

1 points by renaudr 41m ago 1 comments

AI of dead Arizona road rage victim addresses killer in court (theguardian.com)

4 points by impish9208 42m ago 2 comments

Syd+Youki=Syd-OCI: Introduction to a Secure Container Runtime for Linux [video] (fosdem.org)

1 points by hayali 42m ago 1 comments

Agentic Editing in Zed (zed.dev)

2 points by gempir 43m ago 0 comments

Replacement of Preplexity (renassianceagent.vercel.app)

1 points by jasonalbert 43m ago 0 comments

Patterning on Living Tardigrades (pubs.acs.org)

1 points by taubek 49m ago 0 comments

EntropyHub: An open-source toolkit for entropic data analysis (Python edition) (pypi.org)

1 points by teleforce 49m ago 0 comments

Ask HN: How do you handle name discrimination?

1 points by level87 49m ago 1 comments

Create custom, heartfelt birthday songs in minutes with Birthday Song Maker (birthdaysongmaker.com)

1 points by lizbo 50m ago 2 comments

Show HN: Tron-Like Map in JavaScript (blog.ntag.fr)

1 points by reynaldi 54m ago 0 comments

Show HN: My pocket device to mine cryptocurrencies using solar ("Pocket Miner")

1 points by AJTSheppard 56m ago 3 comments

Zero to MVP: What You Need vs. What You Think You Need (calvintorra.com)

1 points by deadsec-sea 57m ago 0 comments

Zero Setup ML Model Deployment from GitHub (vectorihub.com)

1 points by RavenKe 58m ago 2 comments

Huddle and Go Newsletter (huddleandgo.work)

1 points by absinnovate 58m ago 1 comments

Show HN: I built an Telegram RSS Reader that sends article summaries (newskeeper.io)

1 points by yurii_hunter 59m ago 0 comments

So Much Blood (dynomight.net)

2 points by debesyla 1h ago 0 comments

Version 1.0 of hk, a tool for running hooks on files in a Git repository (github.com)

1 points by ahamez 1h ago 0 comments

Florida's Plan to Replace Migrant Workers with Children Falls Apart (newsweek.com)

1 points by croes 1h ago 0 comments

Trump's Tariffs Won't Make Hollywood Great Again, but There's a Plan That Can (wired.com)

1 points by beardyw 1h ago 1 comments

Optimizing Common Lisp (fosskers.ca)

3 points by todsacerdoti 1h ago 0 comments

Who Makes Humanoid Robots? (haebom.dev)

1 points by haebom 1h ago 0 comments

Intel: Winning and Losing (abortretry.fail)

1 points by klelatti 1h ago 0 comments

Edge Case Hell (getlago.substack.com)

1 points by FinnLobsien 1h ago 0 comments

Private Japanese lunar lander enters orbit around moon ahead of a June touchdown (phys.org)

3 points by pseudolus 1h ago 0 comments

Amazon's Vulcan Robots Now Stow Items Faster Than Humans (spectrum.ieee.org)

1 points by pseudolus 1h ago 0 comments

Trump admin announces plans to shut down the Energy Star program (engadget.com)

4 points by pseudolus 1h ago 2 comments

Rust Use Within the QEMU Emulator Shaping Up Well

6 Bender 0 5/3/2025, 10:48:22 PM phoronix.com ↗

Comments (0)

No comments yet