Is this program safe? Lessons from Type Theory

https://brandonrozek.com/blog/program-safety-type-theory/

1•speckx•1m ago•0 comments

MinorMiner: We turn your kid's maths homework into Bitcoin

https://robertheaton.com/minor-miner/

1•zdw•1m ago•0 comments

I made a daily word game

https://kmcd.dev/posts/wordseq/

1•ingve•2m ago•0 comments

The Scalar Select Anti-Pattern

https://matklad.github.io/2025/05/14/scalar-select-aniti-pattern.html

1•goranmoomin•2m ago•0 comments

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

1•amichail•4m ago•0 comments

LangChain4j 1.0.0

https://github.com/langchain4j/langchain4j/releases/tag/1.0.0

1•mfiguiere•4m ago•0 comments

Buried Treasure SF

https://buriedtreasure.carrd.co

1•ChrisArchitect•4m ago•1 comments

Auditory changes in guinea pigs listening to overcompressed music

https://www.sciencedirect.com/science/article/abs/pii/S0378595524001734

1•riedel•5m ago•0 comments

The Landscape of Malicious Open Source Packages: 2025 Mid‑Year Threat Report

https://socket.dev/blog/malicious-open-source-packages-2025-mid-year-threat-report

1•feross•6m ago•0 comments

One More Thing Conference, a community event during WWDC week

https://omt-conf.com/

1•Austin_Conlon•6m ago•0 comments

Grok now inserting text about "white genocide" into unrelated responses

https://bsky.app/profile/swiftonsecurity.com/post/3lp5nvrrp522m

3•jrflowers•8m ago•0 comments

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

https://github.com/gojiplus/calibre

1•goji_berries•9m ago•0 comments

Bing Search and Bing Custom Search APIs will be retired on 11th August 2025

https://www.microsoft.com/en-us/bing/apis/pricing

2•the_mitsuhiko•10m ago•0 comments

Rumble Taps Veteran Antitrust Lawyer in Lawsuit Against Google's Monopoly Power

https://reclaimthenet.org/rumble-taps-david-boies

1•mikece•14m ago•0 comments

Who Owns All the Supplements? (2022)

https://fanaticcook.com/2022/06/28/who-owns-all-the-supplements/

1•pipiscrew•14m ago•1 comments

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

https://jmperezperez.com/blog/svg-placeholders/

1•Tomte•17m ago•0 comments

Microsoft Writing Style Guide

https://learn.microsoft.com/en-us/style-guide/welcome/

1•Tomte•18m ago•0 comments

Managing Music with Rclone

https://www.coryd.dev/posts/2025/managing-music-with-rclone/

1•cdransf•18m ago•0 comments

Apple Filing Protocol client deprecated as of macOS Sequoia 15.5.0

https://derflounder.wordpress.com/2025/05/14/apple-filing-protocol-client-deprecated-as-of-macos-sequoia-15-5-0/

1•ingve•20m ago•1 comments

North American Land Sailing Association

https://www.nalsa.org/

1•dsr_•22m ago•0 comments

Erlang Ecosystem Foundation Becomes CNA for the Hex and Beam Ecosystem

https://erlef.org/blog/security/eef-cna-announcement

3•maennchen•22m ago•1 comments

A new bill could lift the outdated ban on supersonic flight over land

https://boomsupersonic.com/flyby/breaking-the-sound-barrier-again

4•garrettgarcia•23m ago•1 comments

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

https://memocat.com

1•Airyisland•24m ago•1 comments

Show HN: OpenCode – TUI based coding agent

https://github.com/sst/opencode

1•thdxr•24m ago•0 comments

Unitful Quantities in Jax

https://github.com/GalacticDynamics/unxt

1•cl3misch•24m ago•0 comments

Hackers behind UK retail attacks now targeting US companies

https://www.bleepingcomputer.com/news/security/google-scattered-spider-switches-targets-to-us-retail-chains/

1•speckx•24m ago•0 comments

Good enough ten-second sum types for Postgres

https://duckrabbit.tech/articles/pg-epoch.html

1•todsacerdoti•25m ago•0 comments

Show HN: Semantic Calculator (King-Man+woman=?)

https://calc.datova.ai

9•nxa•27m ago•2 comments

Show HN: Atlas: Independent Evals and Benchmarking for Generative AI Models

https://app.layerlens.ai/

1•Arch223•28m ago•0 comments

Show HN: Landing pages where you control the code

https://startthelanding.com

1•sanswork•29m ago•0 comments

Is this program safe? Lessons from Type Theory

MinorMiner: We turn your kid's maths homework into Bitcoin

I made a daily word game

The Scalar Select Anti-Pattern

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

LangChain4j 1.0.0

Buried Treasure SF

Auditory changes in guinea pigs listening to overcompressed music

The Landscape of Malicious Open Source Packages: 2025 Mid‑Year Threat Report

One More Thing Conference, a community event during WWDC week

Grok now inserting text about "white genocide" into unrelated responses

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

Bing Search and Bing Custom Search APIs will be retired on 11th August 2025

Rumble Taps Veteran Antitrust Lawyer in Lawsuit Against Google's Monopoly Power

Who Owns All the Supplements? (2022)

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

Microsoft Writing Style Guide

Managing Music with Rclone

Apple Filing Protocol client deprecated as of macOS Sequoia 15.5.0

North American Land Sailing Association

Erlang Ecosystem Foundation Becomes CNA for the Hex and Beam Ecosystem

A new bill could lift the outdated ban on supersonic flight over land

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

Show HN: OpenCode – TUI based coding agent

Unitful Quantities in Jax

Hackers behind UK retail attacks now targeting US companies

Good enough ten-second sum types for Postgres

Show HN: Semantic Calculator (King-Man+woman=?)

Show HN: Atlas: Independent Evals and Benchmarking for Generative AI Models

Show HN: Landing pages where you control the code

Dutch Disease

Is this program safe? Lessons from Type Theory

MinorMiner: We turn your kid's maths homework into Bitcoin

I made a daily word game

The Scalar Select Anti-Pattern

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

LangChain4j 1.0.0

Buried Treasure SF

Auditory changes in guinea pigs listening to overcompressed music

The Landscape of Malicious Open Source Packages: 2025 Mid‑Year Threat Report

One More Thing Conference, a community event during WWDC week

Grok now inserting text about "white genocide" into unrelated responses

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

Bing Search and Bing Custom Search APIs will be retired on 11th August 2025

Rumble Taps Veteran Antitrust Lawyer in Lawsuit Against Google's Monopoly Power

Who Owns All the Supplements? (2022)

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

Microsoft Writing Style Guide

Managing Music with Rclone

Apple Filing Protocol client deprecated as of macOS Sequoia 15.5.0

North American Land Sailing Association

Erlang Ecosystem Foundation Becomes CNA for the Hex and Beam Ecosystem

A new bill could lift the outdated ban on supersonic flight over land

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

Show HN: OpenCode – TUI based coding agent

Unitful Quantities in Jax

Hackers behind UK retail attacks now targeting US companies

Good enough ten-second sum types for Postgres

Show HN: Semantic Calculator (King-Man+woman=?)

Show HN: Atlas: Independent Evals and Benchmarking for Generative AI Models

Show HN: Landing pages where you control the code