Is this program safe? Lessons from Type Theory (brandonrozek.com)

1 points by speckx 1m ago 0 comments

MinorMiner: We turn your kid's maths homework into Bitcoin (robertheaton.com)

1 points by zdw 1m ago 0 comments

I made a daily word game (kmcd.dev)

1 points by ingve 2m ago 0 comments

The Scalar Select Anti-Pattern (matklad.github.io)

1 points by goranmoomin 3m ago 0 comments

Ask HN: Do you turn off web search when asking an AI something difficult?

1 points by amichail 4m ago 0 comments

LangChain4j 1.0.0 (github.com)

1 points by mfiguiere 4m ago 0 comments

Buried Treasure SF (buriedtreasure.carrd.co)

1 points by ChrisArchitect 4m ago 1 comments

Auditory changes in guinea pigs listening to overcompressed music (sciencedirect.com)

1 points by riedel 5m ago 0 comments

The Landscape of Malicious Open Source Packages: 2025 Mid‑Year Threat Report (socket.dev)

1 points by feross 6m ago 0 comments

One More Thing Conference, a community event during WWDC week (omt-conf.com)

1 points by Austin_Conlon 6m ago 0 comments

Grok now inserting text about "white genocide" into unrelated responses (bsky.app)

4 points by jrflowers 8m ago 0 comments

New Python Package for Advanced Calibration Models (already has 3k downloads) (github.com)

1 points by goji_berries 9m ago 0 comments

Bing Search and Bing Custom Search APIs will be retired on 11th August 2025 (microsoft.com)

2 points by the_mitsuhiko 10m ago 0 comments

Rumble Taps Veteran Antitrust Lawyer in Lawsuit Against Google's Monopoly Power (reclaimthenet.org)

1 points by mikece 14m ago 0 comments

Who Owns All the Supplements? (2022) (fanaticcook.com)

1 points by pipiscrew 14m ago 1 comments

How to Use SVG as a Placeholder, and Other Image Loading Techniques (2017) (jmperezperez.com)

1 points by Tomte 18m ago 0 comments

Microsoft Writing Style Guide (learn.microsoft.com)

1 points by Tomte 18m ago 0 comments

Managing Music with Rclone (coryd.dev)

1 points by cdransf 18m ago 0 comments

Apple Filing Protocol client deprecated as of macOS Sequoia 15.5.0 (derflounder.wordpress.com)

1 points by ingve 20m ago 1 comments

North American Land Sailing Association (nalsa.org)

1 points by dsr_ 22m ago 0 comments

Erlang Ecosystem Foundation Becomes CNA for the Hex and Beam Ecosystem (erlef.org)

3 points by maennchen 22m ago 1 comments

A new bill could lift the outdated ban on supersonic flight over land (boomsupersonic.com)

4 points by garrettgarcia 24m ago 1 comments

Show HN: MemoCat – a simple note-taking product(open source) (memocat.com)

1 points by Airyisland 24m ago 1 comments

Show HN: OpenCode – TUI based coding agent (github.com)

1 points by thdxr 24m ago 0 comments

Unitful Quantities in Jax (github.com)

1 points by cl3misch 24m ago 0 comments

Hackers behind UK retail attacks now targeting US companies (bleepingcomputer.com)

1 points by speckx 25m ago 0 comments

Good enough ten-second sum types for Postgres (duckrabbit.tech)

1 points by todsacerdoti 26m ago 0 comments

Show HN: Semantic Calculator (King-Man+woman=?) (calc.datova.ai)

9 points by nxa 28m ago 2 comments

Show HN: Atlas: Independent Evals and Benchmarking for Generative AI Models (app.layerlens.ai)

1 points by Arch223 28m ago 0 comments

Show HN: Landing pages where you control the code (startthelanding.com)

1 points by sanswork 29m ago 0 comments

Remembering IBM Researcher Dick Garwin (research.ibm.com)

2 points by rbanffy 30m ago 0 comments

I Built an AI Bot That Posts and Sells Social Media Tools on Autopilot

1 points by aigoldminerush 31m ago 0 comments

Amazon illegal miners bypass enforcement by smuggling gold into Venezuela (news.mongabay.com)

1 points by PaulHoule 31m ago 0 comments

Intuitive Machines blames dim lighting and dodgy data for second lunar faceplant (theregister.com)

2 points by rntn 32m ago 0 comments

Next Airbnb May Include Room Service and Tamale-Making (nytimes.com)

2 points by nanfinitum 33m ago 1 comments

Proposed Changes to Section 174 R&D Salary Expense Accounting (frazierdeeter.com)

1 points by walterbell 34m ago 0 comments

Show HN: Kasimba – Simple macOS app that converts Windows paths to SMB addresses (github.com)

1 points by bobnarizes 34m ago 0 comments

OXVG: Rust alternative to SVGO and (eventually) InkScape (github.com)

1 points by brianzelip 34m ago 0 comments

Why I wrote the fx web server (huijzer.xyz)

1 points by todsacerdoti 36m ago 0 comments

My 2FA Mule. There are others like it, but this one is mine (2021) (kozubik.com)

2 points by walterbell 37m ago 0 comments

Agent mode has arrived in preview for Visual Studio (devblogs.microsoft.com)

1 points by andyjohnson0 38m ago 0 comments

EtchDNS, a DNS proxy written in Rust (github.com)

1 points by jedisct1 38m ago 0 comments

Can Z/OS Be Easier Today? (blog.share.org)

1 points by rbanffy 40m ago 0 comments

Adversarial Interoperability (eff.org)

1 points by rbanffy 42m ago 0 comments

The Creative Process (1962) [pdf] (openspaceofdemocracy.wordpress.com)

1 points by laurex 42m ago 0 comments

Show HN: Muscle-Mem, a behavior cache for AI agents (github.com)

34 points by edunteman 44m ago 1 comments

Government Asserts: All Your Cash Belongs to Us (ij.org)

2 points by sbuttgereit 44m ago 0 comments

Fossil: A Coherent Software Configuration Management System (fossil-scm.org)

7 points by stefankuehnel 45m ago 0 comments

Model Release Notes (help.openai.com)

3 points by justmarc 49m ago 0 comments

People who stop weight loss drugs return to original weight within year (theguardian.com)

5 points by neaden 50m ago 1 comments

The Ceiling: How OCR Quality Limits RAG Performance

1 breadislove 0 5/14/2025, 4:57:52 PM mixedbread.com ↗

Comments (0)

No comments yet