Trump suspends trade loophole for cheap online retailers globally (arstechnica.com)

1 points by eysquared 55s ago 0 comments

Beijing summons Nvidia over alleged backdoors in China-bound AI chips (theregister.com)

1 points by beardyw 1m ago 0 comments

A.I. Researchers Are Negotiating $250M Pay Packages. Just Like NBA Stars (nytimes.com)

2 points by breadwinner 1m ago 0 comments

Microfluidic device: separation, sorting, mixing [video] (youtube.com)

1 points by downboots 2m ago 0 comments

Quora's Poe releases API with access to all AI models (techcrunch.com)

2 points by garethpaul 3m ago 0 comments

We're Losing the Global War on End-to-End Encryption (community.qbix.com)

1 points by EGreg 3m ago 0 comments

Poe accounts can now be used to power Cursor, Cline, Roo Code (twitter.com)

3 points by tosh 4m ago 0 comments

Engineering Buy-In (venki.dev)

2 points by venkii 5m ago 0 comments

Beat Coding Interview Anxiety with ChatGPT and Google AI Studio (zackproser.com)

2 points by chautumn 6m ago 0 comments

The String Theory [David Foster Wallace, 1996] (esquire.com)

2 points by venkii 6m ago 0 comments

Go Assembly Mutation Testing (words.filippo.io)

2 points by Metalnem 6m ago 0 comments

Brilliant Labs new AR Glasses are here (brilliant.xyz)

1 points by rossirpaulo 7m ago 0 comments

Secure boot certificate rollover is real but probably won't hurt you (mjg59.dreamwidth.org)

2 points by zdw 9m ago 0 comments

A Primer on Making Your Product Globally Adaptable (Without Doing Too Much Work) (loctechpartners.notion.site)

1 points by briansmcconnell 10m ago 1 comments

Show HN: Pairfonts – A web application for pairing Google Fonts (pairfonts.surge.sh)

2 points by stagas 11m ago 0 comments

How Long Before Superintelligence? (nickbostrom.com)

1 points by jxmorris12 12m ago 0 comments

Rust Support in Socket (socket.dev)

2 points by feross 12m ago 0 comments

Introduction to XEphem (Motif) (spiff.rit.edu)

2 points by hualapais 12m ago 0 comments

Nvidia CUDA-Q (nvidia.github.io)

2 points by jonbaer 13m ago 0 comments

My Bytecode Optimizer Beats Copilot by 2X (deviantabstraction.com)

1 points by top256 14m ago 0 comments

Webflow Incident Report (webflow.com)

3 points by philip1209 14m ago 1 comments

US imposes sanctions on Brazilian judge who charged Bolsonaro with plotting coup (reuters.com)

3 points by sanbor 15m ago 0 comments

Understanding why deterministic output from LLMs is nearly impossible (unstract.com)

1 points by naren87 18m ago 0 comments

Figma Poised to Open Trading at More Than Triple Its IPO Price (bloomberg.com)

3 points by geox 18m ago 1 comments

Epic Games Win over Google in Fortnite Fight Upheld on Appeal (bloomberg.com)

4 points by cyberlimerence 19m ago 0 comments

How to Scan Force Pushed Commits for Secrets (trufflesecurity.com)

2 points by mmcclure 19m ago 0 comments

AI-Powered Trading, Algorithmic Collusion, and Price Efficiency 2023 [U:2025] (papers.ssrn.com)

1 points by sroussey 20m ago 0 comments

Real milk proteins, no cows: Engineered bacteria for vegan cheese and yogurt (phys.org)

5 points by PaulHoule 20m ago 0 comments

Show HN: Astro dev blog template with 60 interactive colorschemes (multiterm.stelclementine.com)

4 points by stelcodes 22m ago 0 comments

Microsoft ends tradition of naming competitors in regulatory filings (cnbc.com)

2 points by kjhughes 22m ago 0 comments

Ask HN: We Need More Librarians

2 points by uptownhr 23m ago 3 comments

I wrote a Kalaha solver and got my mind blown in the process (vlaaad.github.io)

1 points by vlaaad 23m ago 1 comments

YouTube's Lofi Girl Graduates After Studying for 7 Years (eonline.com)

1 points by taubek 23m ago 0 comments

Introducing: UniFi OS Server for Managed Service Providers [video] (youtube.com)

1 points by ksec 25m ago 0 comments

Codestral 25.08 (mistral.ai)

7 points by tosh 26m ago 0 comments

Flyte 2.0: Dynamic, Crash-Proof, Resource-Aware AI Orchestration (union.ai)

11 points by aitacobell 27m ago 0 comments

AI Is a Floor Raiser, Not a Ceiling Raiser (elroy.bot)

1 points by jjfoooo4 28m ago 0 comments

PyPI Phishing Attack: Incident Report (blog.pypi.org)

2 points by miketheman 29m ago 0 comments

Ask HN: Would you use a self-hostable pastebin with AI and team features? (sniptide.com)

1 points by yuzzuwo 31m ago 1 comments

Portal, but the portal surfaces are inverted [video] (youtube.com)

1 points by skibz 31m ago 0 comments

What's an OSS Vulnerability Janitor? (infosecwriteups.com)

1 points by Jlleitschuh 32m ago 0 comments

Ask HN: Small Utility App Monetization

1 points by mywacaday 32m ago 0 comments

Corsair Launches AI Workstation 300 (finance.yahoo.com)

1 points by galaxyLogic 35m ago 0 comments

OpenAI's New Agent Clicked Through Cloudflare Turnstile. We Just Lost Captcha (verify-humanity.com)

1 points by OneWithTech 36m ago 1 comments

Iceberg I/O performance comparison at scale (Bodo vs. PyIceberg, Spark, Daft) (bodo.ai)

6 points by marquisdepolis 39m ago 1 comments

Street smarts: a remarkable adaptation in a city-wintering raptor (frontiersin.org)

1 points by bookofjoe 39m ago 2 comments

Ask HN: Local LLM agents on Jetson/RPi without a heavy runtime

3 points by takuya_h 39m ago 1 comments

Gemini Embedding: Powering RAG and context engineering (developers.googleblog.com)

13 points by simonpure 42m ago 0 comments

Apple slams DOJ lawsuit: 'threatens the principles that set iPhone apart' (9to5mac.com)

3 points by CharlesW 42m ago 0 comments

The Vibe Code Fallacy: Why Playing It Safe Is the Riskiest Strategy (derekneighbors.com)

5 points by dneighbo 43m ago 5 comments

Hask Is Not a Category

4 fanf2 1 7/30/2025, 5:42:04 PM math.andrej.com ↗

Comments (1)

antonvs · 14h ago

Reading the comments, I can only conclude that Bob Harper secretly loves Haskell but doesn't want to admit it.