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

1 points by ksymph 1m ago 0 comments

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

2 points by rocknrollisdev 1m ago 0 comments

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

3 points by cratermoon 3m ago 0 comments

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

2 points by gmays 3m ago 0 comments

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

1 points by aloukissas 5m ago 0 comments

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

1 points by mathattack 6m ago 0 comments

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

2 points by tareqak 6m ago 0 comments

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

1 points by rntn 7m ago 0 comments

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

1 points by orsobi 8m ago 0 comments

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

1 points by ntahami 8m ago 0 comments

Community Contributions (philippemnoel.posthaven.com)

2 points by Bogdanp 9m ago 0 comments

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

1 points by __cayenne__ 10m ago 0 comments

Charvaka (en.wikipedia.org)

1 points by diodorus 11m ago 0 comments

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

1 points by rmason 12m ago 0 comments

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

1 points by shawneechase 12m ago 0 comments

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

1 points by sharkweek 12m ago 0 comments

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

1 points by Tonje 12m ago 0 comments

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

2 points by pbardea 15m ago 0 comments

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

5 points by dmhall23 16m ago 0 comments

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

2 points by sgerenser 16m ago 0 comments

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

1 points by ValtteriL 18m ago 0 comments

My Heart of Hearts (astralcodexten.com)

1 points by Michelangelo11 18m ago 0 comments

What Can a Cell Remember? (quantamagazine.org)

2 points by chapulin 19m ago 0 comments

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

3 points by bundie 20m ago 0 comments

Sendria is a test SMTP server (github.com)

1 points by porridgeraisin 21m ago 0 comments

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

1 points by PaulHoule 22m ago 0 comments

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

2 points by notagoodidea 23m ago 0 comments

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

2 points by boramalper 24m ago 0 comments

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

2 points by Alfredo101 24m ago 0 comments

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

1 points by benswerd 24m ago 0 comments

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

1 points by steomb 25m ago 0 comments

Changes in Inflation by City (wallethub.com)

2 points by josephjrobison 28m ago 0 comments

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

3 points by wjgilmore 30m ago 0 comments

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

2 points by TheAlchemist 31m ago 0 comments

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

1 points by mandarwagh 35m ago 0 comments

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

1 points by i_dont_know_ 36m ago 1 comments

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

1 points by pratik-tgx 36m ago 0 comments

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

4 points by mrw34 37m ago 2 comments

KDE Linux (kde.org)

6 points by MBCook 38m ago 0 comments

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

2 points by adamrezich 38m ago 0 comments

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

3 points by sonicrocketman 40m ago 0 comments

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

2 points by Bluestein 40m ago 0 comments

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

2 points by Okerew 44m ago 0 comments

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

4 points by JumpCrisscross 44m ago 0 comments

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

1 points by gailaxelrod 45m ago 0 comments

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

2 points by todsacerdoti 45m ago 0 comments

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

3 points by liviu31 47m ago 0 comments

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

4 points by ivewonyoung 47m 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 49m ago 0 comments

Unleashing the power of end-user programmable AI

2 andsoitis 0 7/31/2025, 12:05:31 AM dl.acm.org ↗

Comments (0)

No comments yet