The Professors Are Using ChatGPT, and Some Students Aren't Happy About It

https://www.nytimes.com/2025/05/14/technology/chatgpt-college-professors.html

1•haider0721128•39s ago•0 comments

Is this program safe? Lessons from Type Theory

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

1•speckx•2m ago•0 comments

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

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

1•zdw•2m ago•0 comments

I made a daily word game

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

1•ingve•3m ago•0 comments

The Scalar Select Anti-Pattern

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

1•goranmoomin•3m ago•0 comments

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

1•amichail•5m ago•0 comments

LangChain4j 1.0.0

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

1•mfiguiere•5m ago•0 comments

Buried Treasure SF

https://buriedtreasure.carrd.co

1•ChrisArchitect•5m ago•1 comments

Auditory changes in guinea pigs listening to overcompressed music

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

1•riedel•6m 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•7m ago•0 comments

One More Thing Conference, a community event during WWDC week

https://omt-conf.com/

1•Austin_Conlon•7m ago•0 comments

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

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

4•jrflowers•9m ago•0 comments

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

https://github.com/gojiplus/calibre

1•goji_berries•10m 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•11m ago•0 comments

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

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

1•mikece•15m ago•0 comments

Who Owns All the Supplements? (2022)

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

1•pipiscrew•15m ago•1 comments

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

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

1•Tomte•18m ago•0 comments

Microsoft Writing Style Guide

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

1•Tomte•19m ago•0 comments

Managing Music with Rclone

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

1•cdransf•19m 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•21m ago•1 comments

North American Land Sailing Association

https://www.nalsa.org/

1•dsr_•23m ago•0 comments

Erlang Ecosystem Foundation Becomes CNA for the Hex and Beam Ecosystem

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

3•maennchen•23m 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•24m ago•1 comments

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

https://memocat.com

1•Airyisland•25m ago•1 comments

Show HN: OpenCode – TUI based coding agent

https://github.com/sst/opencode

1•thdxr•25m ago•0 comments

Unitful Quantities in Jax

https://github.com/GalacticDynamics/unxt

1•cl3misch•25m 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/

The Professors Are Using ChatGPT, and Some Students Aren't Happy About It

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

How the Universe Differs from Its Mirror Image

The Professors Are Using ChatGPT, and Some Students Aren't Happy About It

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