A Conjecture Regarding SMT Instability [pdf] (ceur-ws.org)

1 points by luu 11s ago 0 comments

Humans, not glacial transport, brought bluestones to Stonehenge (new research) (phys.org)

1 points by wglb 33s ago 0 comments

Edcapit Presented Its Project at Keiretsu Forum Texas (USA) (edcapit.com)

1 points by edcapit 1m ago 1 comments

All Souls exam questions and the limits of machine reasoning (resobscura.substack.com)

1 points by benbreen 3m ago 0 comments

The quiet work of changing your mind (mfelix.org)

1 points by objcts 5m ago 0 comments

Gemini rolling out personalization based on your chat history (arstechnica.com)

1 points by nevir 6m ago 0 comments

The Online Safety Act isn't just about age verification – encryption is at risk (techradar.com)

1 points by nickslaughter02 6m ago 1 comments

Show HN: Docker container for Claude Code with complete host isolation (github.com)

1 points by nezhar 7m ago 0 comments

Ask HN: A way to know wich businesses are English speaking

1 points by pomdevv 7m ago 0 comments

Sam Altman's new startup wants to merge machines and humans (theverge.com)

1 points by ccenten 7m ago 0 comments

Decoding sweet potato DNA: New research reveals surprising ancestry (phys.org)

1 points by wglb 8m ago 1 comments

Clarity Is Speed (hellmayr.com)

1 points by shellmayr 8m ago 0 comments

Ask HN: A tool to automatically block AI job applications

1 points by pomdevv 9m ago 0 comments

New Stanford AI Coding Course: The Modern Software Developer (themodernsoftware.dev)

1 points by nutellalover 9m ago 0 comments

Analysis and protection against HTTP/2 'Made You Reset' CVE-2025-8671 (tempesta-tech.com)

1 points by krizhanovsky 11m ago 0 comments

Better Access Control by Default with Phoenix 1.8.0 Scopes (fullstack.ing)

1 points by fullstacking 11m ago 0 comments

Josef Prusa Warns Open Hardware 3D Printing Is Dead (hackaday.com)

1 points by josephcsible 11m ago 0 comments

Vector Search Capabilities for SQLite (github.com)

1 points by marcobambini 12m ago 0 comments

Show HN: Catalyst, a tool for short, playable interactive videos (usecatalyst.xyz)

1 points by abracadabratony 12m ago 0 comments

Humanity's Tech Tree (techdag-d6e56.web.app)

2 points by clairemiao123 15m ago 1 comments

Developing Artificial Life from Scratch (2019) (blog.labtag.com)

1 points by hakonbogen 16m ago 0 comments

Show HN: Learn what CQRS, Event Sourcing and co. Are all about (cqrs.com)

1 points by goloroden 19m ago 0 comments

LLM Tokenization Demo (github.com)

2 points by tokfan 19m ago 0 comments

Idk

1 points by heheehe 19m ago 1 comments

A New List Reveals Top Websites Meta Is Scraping of Copyrighted Content (dropsitenews.com)

2 points by exiguus 20m ago 0 comments

The road to artificial general intelligence (technologyreview.com)

2 points by birriel 20m ago 0 comments

An Unusual Employment Vetting Experience. Grifter Chancing His Luck or DPRK? (medium.com)

1 points by SchizoDuckie 21m ago 0 comments

Who made these knotted records during the Inca Empire? (npr.org)

1 points by hackernj 22m ago 0 comments

Sin City tourism slump signals wider economic slowdown (axios.com)

1 points by JumpCrisscross 23m ago 0 comments

McDonald's Japan cancels Pokémon card promotion as resellers throw away food (sbs.com.au)

2 points by colinprince 23m ago 1 comments

NetBSD manpage of sleep(1) consider a bug (hachyderm.io)

2 points by exiguus 23m ago 0 comments

In biggest exit in Israeli history, Google buys cyber unicorn Wiz for $32B (timesofisrael.com)

1 points by CharlesW 24m ago 1 comments

Illinois bans use of artificial intelligence for mental health therapy (washingtonpost.com)

7 points by reaperducer 25m ago 0 comments

Linux Lands Fix for Early 6.17 Regression Causing 37~43% Performance Hit (phoronix.com)

2 points by Bender 27m ago 0 comments

Don't Phish-Let Me Down: Fido Authentication Downgrade (proofpoint.com)

1 points by gnabgib 28m ago 1 comments

Show HN: IngressKit – API Plugin for Cleaning CSVs, Webhooks, and AI JSON Output (ingresskit.dev)

1 points by pilothobs 29m ago 0 comments

CISA signals that micro segmentation is no longer optional (scworld.com)

1 points by Bender 29m ago 0 comments

Happiness Should Be a Career Goal (dontbreakprod.com)

2 points by dorkrawk 29m ago 0 comments

Did I take this privacy/anonymous project a bit too far? (accountproxy.com)

1 points by perfectlyzero 30m ago 1 comments

CrankTest: A proposed benchmark of LLM sycophancy (twitter.com)

1 points by OgsyedIE 31m ago 0 comments

What Was Elon Musk Trying to Achieve with Doge? (foreignpolicy.com)

4 points by rbanffy 32m ago 0 comments

Ask HN: Would a list of coffee shops serving good specialty coffee be useful?

2 points by pomdevv 35m ago 2 comments

Health of K8S External Secrets Project (github.com)

1 points by mooreds 36m ago 0 comments

That 16 Billion Password Story (AKA "Data Troll") (troyhunt.com)

2 points by el_duderino 36m ago 0 comments

FUSE Passthrough (docs.kernel.org)

1 points by harporoeder 36m ago 0 comments

Use AI video analysis to self-learn complex tasks (apeta.dev)

1 points by Hotbread 37m ago 1 comments

Show HN: Magicnode – Build and share AI-powered apps visually, no code required (magicnode.ai)

1 points by zuhaib-rasheed 37m ago 0 comments

Operator of $700-per-month sleeping pods in downtown S.F. faces eviction (sfchronicle.com)

2 points by gwbas1c 37m ago 1 comments

Intriguing Properties of GPT-OSS Jailbreaks (xlabaisecurity.com)

1 points by zroe1 39m ago 0 comments

Kagi Outage (status.kagi.com)

2 points by mnem 41m ago 0 comments

Ask HN: A way to know wich businesses are English speaking

1 pomdevv 0 8/13/2025, 8:30:18 PM

Would you like a way to know if a business staff can speak english, when you travel abroad ? (in non english speaking countries)

Comments (0)

No comments yet