Lessons I'd Tell My 12-Year-Old Self (henriquegodoy.com)

1 points by henriquegodoy 5m ago 0 comments

Tintin: Why a Belgian Boy Reporter Feels Like He Belongs to the World (medium.com)

2 points by thunderbong 9m ago 0 comments

Lina Khan explains the FTC to Twitch streamers [video] (youtube.com)

1 points by momojo 10m ago 0 comments

Beware of 'Swiper,' a Fox at Grand Teton Park with a Penchant for Footwear (nytimes.com)

3 points by JumpCrisscross 11m ago 0 comments

Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec (database-doctor.com)

1 points by karsinkk 11m ago 0 comments

My favorite use-case for AI is writing logs (newsletter.vickiboykis.com)

3 points by todsacerdoti 12m ago 0 comments

Replacing bread with oat β-glucan bread fails to lower diabetes risk markers (medicalxpress.com)

2 points by PaulHoule 13m ago 0 comments

Reducing the Cybersecurity Risks of Portable Storage Media in OT Environments [pdf] (nvlpubs.nist.gov)

1 points by gnabgib 13m ago 0 comments

GitHub abused to distribute payloads on behalf of malware-as-a-service (arstechnica.com)

2 points by coloneltcb 15m ago 0 comments

Created a Jeopardy trainer using archived questions (github.com)

2 points by ammiranda 16m ago 1 comments

I want to help automate your business insights (trynexus.io)

1 points by nikpil 27m ago 1 comments

Humans used to have straighter teeth – what changed? (nationalgeographic.com)

1 points by bookofjoe 28m ago 1 comments

The Silicon Valley push to breed super-babies (washingtonpost.com)

2 points by pabs3 28m ago 2 comments

Running NetBSD on my Amiga 4000 (sandervanderburg.blogspot.com)

4 points by doener 29m ago 1 comments

Running Linux on my Amiga 4000 (sandervanderburg.blogspot.com)

2 points by doener 30m ago 0 comments

Conferences, Clarity, and Smokescreens (infrequently.org)

1 points by pragmatic 30m ago 0 comments

What everyone gets wrong about AI customer support (mux.com)

1 points by dylanjha 33m ago 0 comments

No vegan milk is equivalent to dairy, nutritionists conclude (thetimes.com)

2 points by josephcsible 34m ago 2 comments

Using Typst to Typeset Novels (splinterton.com)

3 points by raybb 38m ago 0 comments

Pair-Instability Supernova (en.wikipedia.org)

1 points by dustingetz 38m ago 0 comments

Reflections from Toxic Engineering Teams (resync-games.com)

2 points by kadhirvelm 40m ago 1 comments

Mammals Evolved into Ant Eaters 12 Times Since Dinosaur Age, Study Finds (news.njit.edu)

8 points by zdw 40m ago 1 comments

23andMe is out of bankruptcy. You should still delete your DNA (washingtonpost.com)

3 points by 1vuio0pswjnm7 41m ago 0 comments

Im using p5.js in production for a simplistic video/type editor (typecut.xyz)

2 points by ghostuniversity 42m ago 0 comments

Accelerate Generative AI Inference with Nvidia Dynamo and Amazon EKS (aws.amazon.com)

1 points by dtap 43m ago 0 comments

Robots in China are riding the subway to make 7-Eleven deliveries (popsci.com)

2 points by domofutu 44m ago 0 comments

Ask HN: (Semi) Automated LinkedIn Connection Reviewer

1 points by bix6 44m ago 0 comments

Colombia Bets Big on Instant Payments with Central Bank's BRE-B (thecitypaperbogota.com)

1 points by raybb 50m ago 0 comments

Amazon EKS ultra scale clusters (aws.amazon.com)

3 points by ra7 51m ago 1 comments

Nuxt 4.0 (nuxt.com)

2 points by CharlesW 52m ago 0 comments

Self Defence With Steve Powell (1982) [video] (youtube.com)

1 points by austinallegro 55m ago 0 comments

Ask HN: Have You Ever Rediscovered a Book You Forgot You'd Read?

2 points by bicepjai 56m ago 0 comments

People kept working, became healthier while on basic income: report (cbc.ca)

43 points by jszymborski 58m ago 8 comments

Techniques scraping vulnerability data with over 100 crawlers (without LLMs) (secalerts.co)

1 points by louisstow 1h ago 1 comments

Two Simple Rules to Fix Code Reviews (serce.me)

1 points by SerCe 1h ago 0 comments

DOC Study on Economic Benefits of GPS (2019) (space.commerce.gov)

2 points by teleforce 1h ago 0 comments

Show HN: Groolp, a task automator written in Go (github.com)

1 points by ystepanoff 1h ago 0 comments

Netflix is entering a new era of growth (businessinsider.com)

1 points by mgh2 1h ago 2 comments

Delivery of biologics via the GI tract by self-pressurized oral capsules (sciencedirect.com)

1 points by PaulHoule 1h ago 0 comments

Show HN: Default Avatar Generator (github.com)

1 points by pas256 1h ago 0 comments

The Truth About Air Travel (theatlantic.com)

2 points by JumpCrisscross 1h ago 0 comments

US authors suing Anthropic can band together in copyright class action per judge (reuters.com)

4 points by aspenmayer 1h ago 1 comments

The world is winning the war on cancer (economist.com)

2 points by petethomas 1h ago 0 comments

Epostgres.com (supabase.com)

1 points by Olshansky 1h ago 0 comments

Iron oxide nanoparticles under extreme pressure exhibit new magnetic properties (nature.com)

2 points by Jimmc414 1h ago 0 comments

AI 'Vibe Coder' Lovable Is Sweden's Latest Unicorn (forbes.com)

3 points by chaosprint 1h ago 0 comments

The most realistic and instructible speech-to-speech foundation model (demo.hume.ai)

2 points by pyman 1h ago 1 comments

Bitcoin Devs Float Proposal to Freeze Quantum-Vulnerable Addresses (coindesk.com)

6 points by stevenjgarner 1h ago 2 comments

Elon Musk Wants to Turn AI into a Cosmic Religion (gizmodo.com)

6 points by cratermoon 1h ago 2 comments

Malware Found Embedded in DNS (tomshardware.com)

6 points by stevenjgarner 1h ago 0 comments

Logical implication is a comparison operator

3 btdmaster 2 7/17/2025, 7:15:52 PM btdmaster.bearblog.dev ↗

Comments (2)

Nicolas89 · 3h ago

Probably à typing mistake in "Denying the consequent" section, which should rather state "if P => Q then not-Q => not-P"?

btdmaster · 2h ago

Great catch, thanks!