Python, type hints, and feeling like they create a different language

https://utcc.utoronto.ca/~cks/space/blog/python/TypeHintsDifferentLanguage

1•ingve•1m ago•0 comments

Algebraic Type Theory, Part 1: Martin-Löf Algebras

https://arxiv.org/abs/2505.10761

1•matt_d•4m ago•0 comments

France Becomes First Government to Endorse UN Open Source Principles

https://unite.un.org/news/france-becomes-first-government-endorse-un-open-source-principles-joined-19-organizations

1•ponsfrilus•7m ago•1 comments

Christopher Hill's History from Below

https://www.thenation.com/article/society/christopher-hill-life-of/

1•diodorus•9m ago•0 comments

AI attempting to rewrite its code to escape human control

https://farmingdale-observer.com/2025/05/19/this-moment-was-inevitable-this-ai-crosses-the-line-by-attempting-to-rewrite-its-code-to-escape-human-control/

1•nreece•9m ago•0 comments

U.S. banks are sitting on $500B worth of unrealized losses

https://investorsobserver.com/news/rising-stock-prices-wont-fix-this-u-s-banks-are-sitting-on-500b-worth-of-unrealized-losses/

4•greesil•21m ago•0 comments

Subriff: Discover Top Growing Communities on Reddit

https://subriff.com/

1•handfuloflight•29m ago•0 comments

This GitHub Repository Qualifies for a Guinness World Record

https://github.com/TencentCloud/tencentcloud-sdk-go

1•tikazyq•33m ago•1 comments

I got fooled by AI-for-science hype–here's what it taught me

https://www.understandingai.org/p/i-got-fooled-by-ai-for-science-hypeheres

2•qianli_cs•36m ago•0 comments

How to Make Money with ChatGPT: 6 Best Ways

https://wilnickmagazine.com/how-to-make-money-with-chatgpt/

1•Leonise•46m ago•0 comments

Video suggests capuchin monkeys 'kidnap' baby howler monkeys, scientists say

https://www.theguardian.com/environment/2025/may/20/video-suggests-capuchin-monkeys-kidnap-baby-howler-monkeys

1•n1b0m•49m ago•0 comments

Vibe Revenue: Second Date Test for AI

https://ventured.bearblog.dev/vibe-revenue-second-date-test-for-ai/

1•tinylm•49m ago•0 comments

Printer company provided infected software downloads for half a year

https://www.gdatasoftware.com/blog/2025/05/38200-printer-infected-software-downloads

1•croes•49m ago•1 comments

Show HN: Attempt to create browser-use in Chrome extension

https://github.com/auto-browse/auto-browse-agent

1•gurvinderd•52m ago•0 comments

µExpress / Ultimate Express

https://github.com/dimdenGD/ultimate-express

1•spicypete•55m ago•0 comments

Launching Mullvad VPN Loader

https://mullvad.net/en/blog/launching-mullvad-vpn-loader

2•dotcoma•57m ago•0 comments

Mini PCs with OCulink Port for eGPU

https://www.hardware-corner.net/guides/mini-pc-with-oculink/

1•transpute•57m ago•0 comments

Source, Malicious Models, Consent and Machine Learning

https://lists.debian.org/debian-vote/2025/05/msg00180.html

1•pabs3•1h ago•0 comments

Memory-Centric Computing: Solving Computing's Memory Problem

https://arxiv.org/abs/2505.00458

2•matt_d•1h ago•0 comments

Have you tried the exact opposite?

https://world.hey.com/dhh/have-you-tried-the-exact-opposite-1d55b7b5

2•dotcoma•1h ago•0 comments

Python Design Patterns (2020)

https://python-patterns.guide/

6•Tomte•1h ago•0 comments

Bayesian Modeling and Computation in Python (2021)

https://bayesiancomputationbook.com/welcome.html

5•Tomte•1h ago•0 comments

It's Breathtaking How Fast AI Is Screwing Up the Education System

https://gizmodo.com/its-breathtaking-how-fast-ai-is-screwing-up-the-education-system-2000603100

28•prawn•1h ago•23 comments

LaTeX.Online – Cloud Compiler LaTeX to PDF

https://latexonline.cc/

2•0x54MUR41•1h ago•0 comments

Go's FIPS 140-3 Compliance

https://go.dev/doc/security/fips140

2•todsacerdoti•1h ago•0 comments

Gemini Control your ads by emotions

https://techcrunch.com/2025/05/14/youtube-viewers-will-start-seeing-ads-after-peak-moments-in-videos/

2•SquidJack•1h ago•0 comments

Show HN: Rewhois.com – RDAP Lookup Tool

https://rewhois.com

2•Airyisland•1h ago•0 comments

AMD Ryzen AI Max+ Pro 395 Linux Benchmarks: Incredible Performance

https://www.phoronix.com/review/amd-ryzen-ai-max-pro-395

2•transpute•1h ago•0 comments

Ann, the Small Annotation Server

https://mccd.space/posts/design-pitch-ann/

8•todsacerdoti•1h ago•0 comments

Make the Prompt Public

https://blog.ai-futures.org/p/make-the-prompt-public

1•fosco•1h ago•0 comments

Python, type hints, and feeling like they create a different language

Algebraic Type Theory, Part 1: Martin-Löf Algebras

France Becomes First Government to Endorse UN Open Source Principles

Christopher Hill's History from Below

AI attempting to rewrite its code to escape human control

U.S. banks are sitting on $500B worth of unrealized losses

Subriff: Discover Top Growing Communities on Reddit

This GitHub Repository Qualifies for a Guinness World Record

I got fooled by AI-for-science hype–here's what it taught me

How to Make Money with ChatGPT: 6 Best Ways

Video suggests capuchin monkeys 'kidnap' baby howler monkeys, scientists say

Vibe Revenue: Second Date Test for AI

Printer company provided infected software downloads for half a year

Show HN: Attempt to create browser-use in Chrome extension

µExpress / Ultimate Express

Launching Mullvad VPN Loader

Mini PCs with OCulink Port for eGPU

Source, Malicious Models, Consent and Machine Learning

Memory-Centric Computing: Solving Computing's Memory Problem

Have you tried the exact opposite?

Python Design Patterns (2020)

Bayesian Modeling and Computation in Python (2021)

It's Breathtaking How Fast AI Is Screwing Up the Education System

LaTeX.Online – Cloud Compiler LaTeX to PDF

Go's FIPS 140-3 Compliance

Gemini Control your ads by emotions

Show HN: Rewhois.com – RDAP Lookup Tool

AMD Ryzen AI Max+ Pro 395 Linux Benchmarks: Incredible Performance

Ann, the Small Annotation Server

Make the Prompt Public

Rust Tokio-Mpmc

Python, type hints, and feeling like they create a different language

Algebraic Type Theory, Part 1: Martin-Löf Algebras

France Becomes First Government to Endorse UN Open Source Principles

Christopher Hill's History from Below

AI attempting to rewrite its code to escape human control

U.S. banks are sitting on $500B worth of unrealized losses

Subriff: Discover Top Growing Communities on Reddit

This GitHub Repository Qualifies for a Guinness World Record

I got fooled by AI-for-science hype–here's what it taught me

How to Make Money with ChatGPT: 6 Best Ways

Video suggests capuchin monkeys 'kidnap' baby howler monkeys, scientists say

Vibe Revenue: Second Date Test for AI

Printer company provided infected software downloads for half a year

Show HN: Attempt to create browser-use in Chrome extension

µExpress / Ultimate Express

Launching Mullvad VPN Loader

Mini PCs with OCulink Port for eGPU

Source, Malicious Models, Consent and Machine Learning

Memory-Centric Computing: Solving Computing's Memory Problem

Have you tried the exact opposite?

Python Design Patterns (2020)

Bayesian Modeling and Computation in Python (2021)

It's Breathtaking How Fast AI Is Screwing Up the Education System

LaTeX.Online – Cloud Compiler LaTeX to PDF

Go's FIPS 140-3 Compliance

Gemini Control your ads by emotions

Show HN: Rewhois.com – RDAP Lookup Tool

AMD Ryzen AI Max+ Pro 395 Linux Benchmarks: Incredible Performance

Ann, the Small Annotation Server

Make the Prompt Public