The Big Oops in Type Systems: This Problem Extends to FP as Well (danieltan.weblog.lol)

1 points by ksymph 2m ago 0 comments

Show HN: Patio Ask, a Perplexity-style DIY home improvement assistant (patio.so)

2 points by rocknrollisdev 2m ago 0 comments

Money Stuff: You Can Insider Trade NFTs Now (newsletterhunt.com)

3 points by cratermoon 4m ago 0 comments

EPA eliminates research and development office, begins layoffs (apnews.com)

2 points by gmays 4m ago 0 comments

Inside TSMC, the $1 Trillion Ghost Foundry Behind Nvidia's Crown (howardyu.substack.com)

1 points by aloukissas 6m ago 0 comments

TechnologyRanked: The Most Popular Programming Languages (2014-2024) (visualcapitalist.com)

1 points by mathattack 7m ago 0 comments

IRS chief says agency plans to end free filing program (cnbc.com)

2 points by tareqak 7m ago 0 comments

Lethal Cambodia-Thailand border clash linked to cyber-scam slave camps (theregister.com)

1 points by rntn 8m ago 0 comments

Show HN: Flowcus – Kanban Board for OmniFocus and Apple Reminders (getflowcus.app)

1 points by orsobi 9m ago 0 comments

Show HN: I built an AI brand generator to stop wasting days naming side projects (brandkiit.com)

1 points by ntahami 9m ago 0 comments

Community Contributions (philippemnoel.posthaven.com)

2 points by Bogdanp 10m ago 0 comments

Figma's S-1/A from their IPO today (sec.gov)

1 points by __cayenne__ 11m ago 0 comments

Charvaka (en.wikipedia.org)

1 points by diodorus 12m ago 0 comments

The upstart company that wants to build the largest aircraft (bbc.com)

1 points by rmason 13m ago 0 comments

Why Is Everyone Missing This with AI Agents? (Memory and Tools That Scale) [video] (youtube.com)

1 points by shawneechase 13m ago 0 comments

How to Dig for Music Without Spotify (pitchfork.com)

1 points by sharkweek 13m ago 0 comments

Show HN: Moots AI (YC W22) helps you turn meetup contacts into deals

1 points by Tonje 13m ago 0 comments

How to Build a Custom Mechanical Keyboard (alexotos.com)

2 points by pbardea 16m ago 0 comments

Show HN: SafeRate – AI chat-native mortgage lender (saferate.com)

5 points by dmhall23 17m ago 0 comments

Figma stock soars 230% in first day of trading, valuing company north of $40B (finance.yahoo.com)

2 points by sgerenser 17m ago 0 comments

Chasing Riskless Profits with Triangular Arbitrage Bot on Binance (shufflingbytes.com)

1 points by ValtteriL 19m ago 0 comments

My Heart of Hearts (astralcodexten.com)

1 points by Michelangelo11 19m ago 0 comments

What Can a Cell Remember? (quantamagazine.org)

2 points by chapulin 20m ago 0 comments

Sweeney confirms Epic Games Store launch on Play Store after Google loses appeal (neowin.net)

3 points by bundie 21m ago 0 comments

Sendria is a test SMTP server (github.com)

1 points by porridgeraisin 22m ago 0 comments

New ultrasound imaging to map drug delivery into the brain (medicalxpress.com)

1 points by PaulHoule 23m ago 0 comments

From Elvis to "Men in Black," the Story of the Hamilton Ventura (wornandwound.com)

2 points by notagoodidea 24m ago 0 comments

Andrew Tate's "The Real World" is stealing my software (2022) (insrt.uk)

2 points by boramalper 25m ago 0 comments

Show HN: DJ-style audio waveform thumbnailer in Python (github.com)

2 points by Alfredo101 25m ago 0 comments

The missing trust model in AI tools (docs.freestyle.sh)

1 points by benswerd 25m ago 0 comments

Orch.space – A visual builder for AI reasoning workflows (BYOK) (orch.space)

1 points by steomb 26m ago 0 comments

Changes in Inflation by City (wallethub.com)

2 points by josephjrobison 29m ago 0 comments

Model Context Protocol, Product Demos, and the New App Store (wjgilmore.com)

3 points by wjgilmore 31m ago 0 comments

Robotaxis are powered by human drivers as it launches ride-hailing in Bay Area (electrek.co)

2 points by TheAlchemist 32m ago 0 comments

Show HN: Microsoft research on impact of GenAI on jobs (youtube.com)

1 points by mandarwagh 36m ago 0 comments

Intuitive explanation of LLM Transformers without math (youtube.com)

1 points by i_dont_know_ 37m ago 1 comments

Playwright users–wants design-partner to shape an AI tool that tames flaky tests

1 points by pratik-tgx 37m ago 0 comments

Our first outage from LLM-written code (sketch.dev)

4 points by mrw34 38m ago 2 comments

KDE Linux (kde.org)

6 points by MBCook 39m ago 0 comments

Parsing Without ASTs and Optimizing with Sea of Nodes [video] (youtube.com)

2 points by adamrezich 39m ago 0 comments

The Practicals of Writing: Paper and Pens (brianschrader.com)

3 points by sonicrocketman 41m ago 0 comments

What Is Space-Time? Einstein's Theory of Time and Gravity Explained (discovermagazine.com)

2 points by Bluestein 41m ago 0 comments

Released a lsp server for game maker language (github.com)

2 points by Okerew 45m ago 0 comments

Tesla hits a speed bump in its California 'Robotaxi' rollout: Permits (politico.com)

4 points by JumpCrisscross 45m ago 0 comments

Augment Code Brings Its Coding Agent to the Terminal (thenewstack.io)

1 points by gailaxelrod 46m ago 0 comments

In-Network Leaderless Replication for Distributed Data Stores [pdf] (vldb.org)

2 points by todsacerdoti 46m ago 0 comments

Understanding Blockchains Through Java Code (blog.blockingqueue.com)

3 points by liviu31 48m ago 0 comments

UK Government Warns Promoting the Use of VPNs Could Attract Fines (ispreview.co.uk)

4 points by ivewonyoung 48m ago 0 comments

Show HN: Tight Studio – impressive screen recordings made easy (tight.studio)

1 points by hitchyhocker 48m ago 0 comments

Google Drive (docs and sheets) as a simple, headless CMS (jedwal.co)

2 points by yscal 50m ago 0 comments

Meta brought AI to rural Colombia. Now students are failing exams

9 Brajeshwar 0 7/31/2025, 3:21:01 PM restofworld.org ↗

Comments (0)

No comments yet