I automated opt-outs for 500 data broker sites (open source)

https://opengraph.githubassets.com/ddee959a506ca66d52346e7df6dd111990733bf3ccf772df7ed039428c452bf0/stephenlthorn/auto-identity-remove
The auto-identity-remove script removes personal info from 500+ data broker sites on a monthly schedule for macOS. It requires setup and can be used with or without paid services like Incogni or Optery for full control and transparency.

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

PSOS is a secure operating system designed using the SRI Hierarchical Development Methodology (HDM) with a capability mechanism for access control. The capability mechanism provides a simple and uniform way to manage access to objects, with capabilities serving as names or tokens for all objects in the system.

Benedict Evans: AI eats the world (Spring 26) [pdf]

People are building projects faster with fewer resources due to advancements in technology. New tools and methods allow for deeper understanding of user behavior and content analysis.

Math Jokes in Alice in Wonderland

Charles Dodgson wrote Alice in Wonderland as a math joke book for his Oxford colleagues, hiding his identity due to embarrassment. The book contains numerous math jokes, including a multiplication table joke and a parody of non-Euclidean geometry.

Linux security mailing list 'almost unmanageable'

https://image.theregister.com/227546.jpg?imageId=227546&panox=0.00&panoy=0.00&panow=100.00&panoh=100.00&heightx=0.00&heighty=0.00&heightw=100.00&heighth=100.00&width=960&height=432&format=webp&format=jpg
Linus Torvalds says Linux security list is unmanageable due to AI-generated duplicate bug reports. He suggests using AI to improve security, but with patches and real value added.

Writing Z80 assembly, 4 decades later:-)

https://raw.githubusercontent.com/ttsiodras/3D-on-a-ZX-Spectrum-48K/master/contrib/speccy.jpg
The user ported 3D graphics to a ZX Spectrum using a microcontroller and optimized the code for speed. They rewrote the code in Z80 assembly for a 4x speedup.

GenCAD

https://gencad.github.io/static/images/403.png
GenCAD is an image-conditional CAD model that generates 3D CAD and its command history. It uses a strong representation learning framework for multiple modalities of computational engineering designs.

'We mould trees to grow into the shape of chairs'

https://ichef.bbci.co.uk/ace/standard/3840/cpsprodpb/1a50/live/72213770-3e3e-11f1-b55d-0f258dce1735.jpg
Alice and Gavin Munro spent 20 years perfecting the art of growing trees into chair shapes. They use a 6-9 year process involving training and pruning branches to create solid pieces.

It is time to give up the dualism introduced by the debate on consciousness

https://noemamag.imgix.net/2026/05/Noema_FlorianMeissner_2.jpg?fit=crop&fm=pjpg&h=1186&ixlib=php-3.3.1&w=947&wpsize=noema-portrait-hero-image&s=4343c57bdfd6ec5fa4d8a8280014ebc1
The debate on consciousness is fueled by human fear of being part of the natural world, but consciousness is a natural phenomenon that can be understood through science. Our soul or spiritual life is consistent with fundamental physics, and we can safely speak of it without introducing dualism.

Crystals found inside wreckage from the first nuclear bomb test

https://static.scientificamerican.com/dam/asset/12cb3e17-9ed8-4e16-92fe-384efe63b377/GettyImages-2217357656-cropped.jpeg?m=1778530102.63&w=600
Scientists discovered a new clathrate material within trinitite, a glasslike substance formed from the Trinity nuclear test. The clathrate's unique structure was created under extreme conditions, similar to those found in nuclear explosions and meteorite impacts.

Utah lawmakers form united front in push to ban prediction markets

https://i.guim.co.uk/img/media/79960048c6e442297f48ee48398272d4fee2d0e2/0_0_5472_3648/master/5472.jpg?width=445&dpr=1&s=none&crop=none
Utah lawmakers are fighting against prediction markets, which they consider gambling, despite federal regulators classifying them as financial exchanges. The state is pushing back against platforms like Kalshi and Polymarket, with Republican leaders and the governor vowing to challenge them in court.

Enough with the AI FOMO, go slow-mo, says Domo CDO

https://image.theregister.com/2940761.webp?imageId=2940761&x=0.00&y=7.20&cropw=100.00&croph=85.61&width=960&height=548&format=jpg
Chris Willis, Domo's chief design officer, thinks people aren't resentful of AI companies because they've been marketed through fear, making it seem like a necessary innovation. Willis argues that companies should start with business needs and use AI as a tool, not a solution, to avoid wasting money on ineffective projects.

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

https://opengraph.githubassets.com/29f9619c1db5d42706687c8afd49e365dfc41d829e1186215f856c93f7c48908/tech4bot/rk3562deb
Debian 12 Bookworm runs on Doogee U10 tablet without bootloader unlock using rkdebian build system. It supports local LLM inference on RK3562 NPU and has functional front and rear cameras but needs color calibration.

Ask an Astronaut: 333 hours of Q&A footage with astronauts

https://askanastronaut.issinrealtime.org/images/social_image.png
Find your question among hundreds of astronaut interviews aboard the International Space Station

Jank now has its own custom IR

https://jank-lang.org/img/logo-transparent.png
The author of jank, a Clojure dialect, has created a custom intermediate representation (IR) to optimize jank's performance and compete with the JVM. The author has implemented several optimizations, including inlining, eliminating unnecessary IR instructions, and using tagged pointers to avoid dynamic allocations, which have significantly improved jank's performance in a recursive Fibonacci benchmark.

Hershey Bets on Agentic AI to Rethink $2B in Marketing Spend

https://static-www.adweek.com/wp-content/uploads/2026/04/agentic-shopping.webp?w=550&h=360&crop=1
Hershey is using AI to automate marketing mix modeling, making it faster and more frequent to inform monthly decisions. The move aims to increase revenue from media by 4-5% and improve marketing credibility as an investment.

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

https://raw.githubusercontent.com/MinishLab/semble/main/assets/images/semble_logo.png
Semble is a code search library that indexes and searches codebases instantly, using 98% fewer tokens than grep+read. It runs on CPU with no API keys or external services, providing fast and accurate results for agents.

Build a Radio Wave Detector with Balls of Aluminum Foil

https://media.wired.com/photos/6a0640879f7f511553da42c5/master/w_2560%2Cc_limit/GettyImages-515220084.jpg
Radio waves are everywhere, used in cell towers, GPS, Wi-Fi, and Bluetooth, and can be easily created at home with a simple radio transmitter made from a grill lighter. A homemade receiver, called a coherer, can detect these radio waves using aluminum foil balls and a button cell battery, demonstrating the basic principles of wireless communication.

Graphing Scientific Calculator Based on the ESP32

https://private-user-images.githubusercontent.com/130647064/566889655-e1b1df29-362b-4f5c-b824-bacb8e9a28f4.jpg?jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3NzkxMDI5MjMsIm5iZiI6MTc3OTEwMjYyMywicGF0aCI6Ii8xMzA2NDcwNjQvNTY2ODg5NjU1LWUxYjFkZjI5LTM2MmItNGY1Yy1iODI0LWJhY2I4ZTlhMjhmNC5qcGc_WC1BbXotQWxnb3JpdGhtPUFXUzQtSE1BQy1TSEEyNTYmWC1BbXotQ3JlZGVudGlhbD1BS0lBVkNPRFlMU0E1M1BRSzRaQSUyRjIwMjYwNTE4JTJGdXMtZWFzdC0xJTJGczMlMkZhd3M0X3JlcXVlc3QmWC1BbXotRGF0ZT0yMDI2MDUxOFQxMTEwMjNaJlgtQW16LUV4cGlyZXM9MzAwJlgtQW16LVNpZ25hdHVyZT1iYzEzODQ1ZTM3NGZkODc5M2JjOWRiZDAxNGRmZjNjMDVmNWNjZTFmNjgwZTZhMGViN2ZmYmVkMWUzMzE1NDUxJlgtQW16LVNpZ25lZEhlYWRlcnM9aG9zdCZyZXNwb25zZS1jb250ZW50LXR5cGU9aW1hZ2UlMkZqcGVnIn0.79UGqWUsH_vz0volgVWZqn13T2P7oQiZuZuY20yX7Gk
NumOS is an open-source scientific calculator OS built on ESP32-S3, migrating to Giac for symbolic math and STIX Two Math rendering. It surpasses TI-84 in CAS capability and cost, aiming to match NumWorks, with a €500 goal to fund infrastructure and AI tools.

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound

https://content.pouet.net/files/screenshots/00106/00106210.jpg
The code uses 16 bytes of x86 assembly to draw an infinite Sierpinski fractal and generate audio in real-mode DOS. It utilizes video memory as a calculation space and speaker port for audio output.

Prolog Coding Horror

https://www.metalevel.at/prolog/videos/t_antipatterns.png
A Prolog programmer should rebel against outdated features, not against the language itself. Using declarative constructs can make Prolog programs more general and efficient.

Profunctor Equipment in Haskell

https://i0.wp.com/bartoszmilewski.com/wp-content/uploads/2026/04/Screenshot-2026-04-19-at-19.15.45.png?resize=510%2C224&ssl=1
The text describes a Haskell implementation of category theory concepts, using endo-functors and endo-profunctors to encode equipment and units. It provides definitions for various units and compositions, including Hunit, Vunit, CompUnit, and ConjUnit, with laws satisfied up to isomorphism.

Why is Google Maps back to showing old satellite images of Altadena?

To continue, log in to your Reddit account or use your developer tokenIf you think you've been blocked by mistake, file a ticket below and we'll look into it.

Magical Realism: “Northern Exposure” 25 Years Later (2015)

Checking your browser... This may take a few seconds.

Eric Schmidt speech about AI booed during graduation

https://media-cldnry.s-nbcnews.com/image/upload/t_focal-760x428,f_auto,q_auto:best/mpx/2704722219/2026_05/1779059495883_wnn_vca_commencment_speakers_booed_260517_S3_1920x1080-i60agb.jpg
Former Google CEO Eric Schmidt was booed at the University of Arizona commencement speech for discussing artificial intelligence. He urged graduates to shape AI's development and choose diverse perspectives, including immigrants.

Where Are the Vibecoded Photoshops?

https://indiepixel.de/blog/images/vibecodedPhotoshop.jpg
The author argues that AI has lowered the barrier for Level 1 tasks, but not for complex tasks that require architectural judgment. They claim that accusations of "vibecoding" are unfounded and based on a false premise.

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

https://idahonews.com/resources/assets/kboi/images/brand-icons/KBOI-160.png
Two US Navy jets collided and crashed at an air show at Mountain Home Air Force Base, but all four crew members ejected safely. The incident occurred during an aerial demonstration, with no one on the ground hurt, but a nearby road is closed for a multi-day investigation.

CUDA Books

https://opengraph.githubassets.com/43384a509b88250b47c5bb87f0b5d08b033c9d883e6bb44fd2781db79e7cfe51/alternbits/awesome-cuda-books
A curated list of major CUDA programming books covers beginner to advanced topics, including C++/Python, architecture, optimization, and the latest releases. The list includes 15 high-quality resources, including classic and modern books, with a focus on practical and hands-on learning for NVIDIA GPU parallel computing.

A Good Lemma Is Worth a Thousand Theorems (2007)

Doron Zeilberger praises lemmas for their significant value in mathematics, often surpassing theorems. A good lemma is applicable, obvious, and aesthetically beautiful, making it a fundamental contribution to the field.

Hindenburg’s Smoking Room

https://www.airships.net/wp-content/uploads/hindenburg-smoking018web-385x244.jpg
The Hindenburg had a smoking room to minimize fire risk from hydrogen gas, with a higher pressure and airlock to prevent leaks. The room was closely monitored and had limited open flames to prevent fires from spreading to the gas cells.