Show HN: VSCode/Cursor Extension for Keyboard Hover Tooltips (marketplace.visualstudio.com)

1 points by developerjhp 47s ago 0 comments

"Bypassing" Specialization in Rust or How I Learned to Stop Worrying and Love F (oakchris1955.eu)

1 points by todsacerdoti 1m ago 0 comments

Terence Tao: Game theory, politics and control of information (mathstodon.xyz)

1 points by bertman 4m ago 0 comments

Show HN:Convert text/image to 3D model in seconds,No Login Required (fast3d.io)

2 points by blacktechnology 5m ago 0 comments

Tomorrowland Is Burning (cnn.com)

1 points by herrmaier 8m ago 0 comments

TikTok, AliExpress and WeChat ignore your GDPR rights (noyb.eu)

2 points by robin_reala 10m ago 1 comments

Babies born with DNA from three people to prevent illness with no cure (news.sky.com)

2 points by Brajeshwar 12m ago 0 comments

AI is helping students be more independent, but isolation could be career poison (themarkup.org)

3 points by billybuckwheat 15m ago 1 comments

Missouri Harasses AI Companies over Chatbots Dissing Glorious Leader Trump (reason.com)

1 points by saubeidl 17m ago 0 comments

The Patterns of Elites Who Conceal Their Assets Offshore (home.dartmouth.edu)

1 points by thunderbong 19m ago 0 comments

AI whiplash, and Neovim in the age of AI (dlants.me)

1 points by anonymid 27m ago 0 comments

Ask HN: Looking for Unreal Engine 5 Developers for Dark Fantasy Game Concept

2 points by hejhdiss 28m ago 0 comments

Ask HN: How do you automate recurring workflows without writing glue code?

1 points by kimzhang 30m ago 1 comments

How to win AI visibility: A survival guide for content writers in the LLMs age (lauradecastro.substack.com)

1 points by larub_ 30m ago 0 comments

Speeding up compilation with `hint-mostly-unused` (blog.rust-lang.org)

1 points by ingve 30m ago 0 comments

Gradual negation types and the Python type system (jellezijlstra.github.io)

2 points by GalaxySnail 31m ago 0 comments

Arcs Is 2024's Best New Board Game (youtube.com)

1 points by doener 31m ago 0 comments

Afghans relocated to UK under secret scheme after data leak (theguardian.com)

1 points by chha 33m ago 0 comments

How A.I. really works [a "documentary" made with VEO3] (youtube.com)

1 points by tkgally 34m ago 0 comments

Encryption and checking hashes slows faster SSDs (eclecticlight.co)

1 points by ingve 34m ago 0 comments

Asymmetry of Verification and Verifier's Law (jasonwei.net)

1 points by kiyanwang 35m ago 0 comments

Be a 10x Engineer – Break the Promotion Timeline (medium.com)

2 points by vettyvignesh 37m ago 0 comments

Delta moves toward eliminating set prices in favor of AI (fortune.com)

2 points by peroo 39m ago 0 comments

Treating beef like coal would make a big dent in greenhouse-gas emissions (economist.com)

3 points by doener 43m ago 0 comments

Why Canada needs to build a public cloud (disconnect.blog)

3 points by BallsInIt 45m ago 0 comments

Physicists are afraid of Eric Weinstein – and they should be [video] (youtube.com)

1 points by stareatgoats 46m ago 0 comments

A new era of Stack Overflow (stackoverflow.blog)

3 points by BerislavLopac 46m ago 0 comments

How to Run an Arduino for Years on a Battery (makecademy.com)

2 points by thunderbong 48m ago 0 comments

Tech Neck (lookaway.app)

2 points by _kush 49m ago 0 comments

Ask HN: Best way to model cross-functional workstreams (dev <> ops <> product)?

1 points by juliagoodacre 50m ago 0 comments

Show HN: YAMLResume, a Resume Compiler with Clang Style Error Reporting (asciinema.org)

1 points by xiaohanyu 51m ago 0 comments

Have you tried a no-code option?

1 points by Effycientsarah 54m ago 0 comments

Code Execution Through Email: How I Used Claude to Hack Itself (pynt.io)

9 points by nonvibecoding 54m ago 4 comments

Show HN: DualBoard – a collaborative whiteboard for face-to-face tutoring (dualboard.app)

1 points by Xonestly 56m ago 0 comments

Show HN: I built a self-learning AI without an LLM – memory, reflection

1 points by aegis_vale 56m ago 1 comments

New No-Code Partner

1 points by Effycientsarah 57m ago 0 comments

Ask HN: Anyone using non-Atlassian tools for sprint+roadmap planning?

2 points by harryosgood 1h ago 0 comments

Minimalism as Anti-Entropy (domofutu.substack.com)

1 points by domofutu 1h ago 0 comments

State Attorney General is investigating why AI chatbots don't like Trump (theverge.com)

3 points by doener 1h ago 0 comments

Guide for bootstrapped SaaS on product development – I'd love feedback (notion.so)

2 points by ste_berna 1h ago 1 comments

I spent 24 hours flirting with Elon Musk's AI girlfriend (theverge.com)

2 points by mparramon 1h ago 2 comments

Beeper is getting a big security upgrade with on-device connections (blog.beeper.com)

1 points by vincentkriek 1h ago 0 comments

Eggs: Healthy or Risky? A Review of Evidence from High Quality Studies (pmc.ncbi.nlm.nih.gov)

1 points by luu 1h ago 1 comments

Show HN: Bytesites.ai – Launch a full website in moments using AI (bytesites.ai)

4 points by nikhil-bplx 1h ago 0 comments

Wttr: Console-oriented weather forecast service (github.com)

20 points by saikatsg 1h ago 4 comments

Advancing Polish Language Models (nask.pl)

1 points by kurhan 1h ago 0 comments

Outsoci – Scrape leads (emails and data) from social media and Google Maps (outsoci.com)

1 points by costingh 1h ago 1 comments

Open-Meteo: Free Weather Forecast API for Non-Commercial Use (github.com)

3 points by saikatsg 1h ago 0 comments

Hyman Rickover and the Nuclear Navy (everything-everywhere.com)

2 points by Ozzie_osman 1h ago 0 comments

Show HN: Help you to build/generate bulk UTM URLs for free (bulkutmbuilder.com)

3 points by rodisproducing 1h ago 0 comments

Rust is a great fit for the agentic era

4 randomint64 1 7/16/2025, 2:32:34 PM kerkour.com ↗

Comments (1)

redcannon218 · 16h ago

TL;DR: Programming agents need strong typing and compiler-enforced correctness to get feedback.