Honda conducts successful launch and landing of experimental reusable rocket

https://global.honda/content/dam/site/global-en/topics-new/cq_img/2025/c_2025-06-17ceng/c_2025-06-17ceng_01.jpg
Honda is researching space technologies to make daily life more enjoyable and contribute to people's daily lives by launching satellites with its own rockets. The goal is to achieve sustainable transportation through reusable rockets by 2029.

The Grug Brained Developer (2022)

https://grugbrain.dev/grug.png
Grug, a developer, shares his experiences and advice on programming, emphasizing the importance of simplicity, humility, and not being afraid to say "no" to complexity. He recommends focusing on 80/20 solutions, writing tests after the prototype phase, and using tools and debugging effectively to maximize productivity and minimize complexity.

Resurrecting a dead torrent tracker and finding 3M peers

https://kianbradley.com/assets/tracker-list.png
User set up a torrent tracker using opentracker software on a VPS after noticing dead domains in qBittorrent. The tracker peaked at 1.7 million torrents and 3.1 million peers before being shut down due to concerns about inducement.

Building Effective AI Agents

https://www.anthropic.com/_next/image?url=https%3A%2F%2Fwww-cdn.anthropic.com%2Fimages%2F4zrzovbb%2Fwebsite%2Fd3083d3f40bb2b6f477901cc9a240738d3dd1371-2401x1000.png&w=3840&q=75
Developers should start with simple LLM implementations and add complexity only when needed, focusing on two key aspects: tailoring capabilities to the use case and providing an easy interface for the LLM. Common patterns for agentic systems include prompt chaining, routing, parallelization, and agents, which can be used for open-ended problems and tasks that require conversation and action.

Fossify – A suite of open-source, ad-free apps

https://avatars.githubusercontent.com/u/152776864?s=280&v=4
It emerged as a fork of the discontinued SimpleMobileTools to continue its legacy, bringing simple and private tech to everyone. If you have questions or want to learn more, start a discussion here or reach out at [email protected]. Showing 10 of 32 repositories

Generative AI coding tools and agents do not work for me

https://blog.miguelgrinberg.com/static/mega-tutorial-2024-small.png
The user shares their personal experience with Generative AI tools for coding, stating that they do not make them faster and that reviewing AI-generated code is harder than writing it themselves. They believe that relying on AI tools for coding can lead to decreased quality and increased risk, and that the benefits of using AI tools are often based on perception rather than hard data.

Making 2.5 Flash and 2.5 Pro GA, and introducing Gemini 2.5 Flash-Lite

https://storage.googleapis.com/gweb-uniblog-publish-prod/original_images/gemini_2-5_benchmarks_margin_light2x_1.gif
Gemini 2.5 Pro and Flash models are now stable and generally available, offering high performance at the cost and speed frontier. A preview of Gemini 2.5 Flash-Lite, the most cost-efficient and fastest 2.5 model, is also available for testing.

Iran asks its people to delete WhatsApp from their devices

Iran's state TV urged citizens to remove WhatsApp due to alleged data sharing with Israel, but WhatsApp denies this claim. WhatsApp uses end-to-end encryption and does not share user data with governments.

Now might be the best time to learn software development

https://substackcdn.com/image/fetch/w_1200,h_600,c_fill,f_jpg,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F86799c46-ca93-4a88-b991-02d799b1f839_3000x3000.jpeg
The app for independent voices

Bzip2 crate switches from C to 100% Rust

https://trifectatech.org/trifecta-tech-foundation-share.png
We updated the bzip2 crate to use a Rust implementation, making it faster and easier to cross-compile. This change also reduces maintenance and allows for better integration with Rust projects.

Brad Lander detained by masked federal agents inside immigration court

https://i0.wp.com/www.thecity.nyc/wp-content/uploads/2025/05/051325_adrienne_adams_campaign_rally-3.jpg?resize=1200%2C900&ssl=1
New York City Comptroller Brad Lander was detained by masked federal agents at a Lower Manhattan immigration court. Lander was escorting a man from his court appearance when he was taken into custody.

What Google Translate can tell us about vibecoding

The author argues that LLMs will not replace programmers, but rather augment their work, just like machine translation has augmented the translation profession. The author believes that LLMs are limited in their ability to handle context and ambiguity.

Introduction to the A* Algorithm (2014)

https://www.redblobgames.com/pathfinding/a-star/same-graph-different-map.jpg?2018-12-28-08-32-36
Graph search algorithms like A* find the shortest path on a map represented as a graph by expanding an "expanding ring" called the frontier and keeping track of the path found. The A* algorithm uses a combination of actual distance from the start and estimated distance to the goal to find the shortest path, making it the best choice for most pathfinding needs.

No Hello

https://nohello.net/img/XzfE_FYNGc-500.webp
People often delay asking questions on chat to be polite, but this can cause unnecessary waiting and lost productivity. Simply saying "Hi" and asking the question is a more efficient and asynchronous way to communicate.

Why JPEGs still rule the web (2024)

https://spectrum.ieee.org/media-library/forest-scene-on-a-vintage-computer-screen-displaying-a-calm-wooded-area-at-daylight.jpg?id=61013743&width=1200&height=900
The JPEG image format has been the web's primary format for three decades due to its ability to degrade more gracefully than GIFs and its documented standard built by numerous stakeholders. Its compression process, discrete cosine transform, allows for a balance between image quality and file size.

LLMs pose an interesting problem for DSL designers

https://kirancodes.me/images/llm-comparison-graph.png
Language design and DSLs face challenges with the rise of LLMs, as niche languages may not be well-represented in LLM training data, leading to poor performance and increased opportunity costs. Researchers are exploring ways to adapt language design to work with LLMs, including using intermediate languages like Python, designing specification languages, and automatically generating code and ...

Selfish reasons for building accessible UIs

https://nolanlawson.com/wp-content/uploads/2025/06/screenshot-from-2025-06-15-10-50-44.png?w=570
Building accessible UIs is not just morally right but also beneficial for developers as it makes debugging and testing easier, improves code quality, and enhances productivity. By prioritizing accessibility, developers can create better interfaces that are not only usable by people with disabilities but also more intuitive and efficient for everyone.

Should we design for iffy internet?

https://bytes.zone/images/us-national-broadband-map-terrestrial-25-3-2025-06-10.png
US internet access is around 97% but speeds are often limited to 25Mbps down and 3Mbps up, with high latency. Designing software assuming fast internet may exclude rural users, so consider slower speeds and mobile networks when designing software.

The magic of through running

https://substackcdn.com/image/fetch/w_520,h_272,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Ffedeb3a2-deb1-49cb-96ae-890d973451fd_3801x2548.jpeg
The gare du nord has 28 tracks above ground, and waterloo has 24. many cities puzzle over how to pay for the vast costs of developing an all-new metro system. john roberts: through running has convergently evolved in several different places. london's first crossrail can be dated to 1 august 1866, when the first trains used it to run from herne hill to barnet, in the north of

Show HN: I recreated 90s Mode X demoscene effects in JavaScript and Canvas

Your browser does not support the HTML5 canvas element, or JavaScript is disabled. This experience relies on canvas for visual demonstrations.

AMD's CDNA 4 Architecture Announcement

https://substackcdn.com/image/fetch/w_520,h_272,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F856b4bd5-a5f6-4377-8cba-f5ea5ffda06e_1055x758.png
AMD's CDNA 4 GPU architecture focuses on boosting matrix multiplication performance with lower precision data types for machine learning workloads. It maintains a lead in vector operations and has a larger Local Data Share (LDS) capacity, but Nvidia's B200 still excels in low-precision matrix throughput.

Timescale Is Now TigerData

https://timescale.ghost.io/blog/content/images/size/w1000/2025/06/tiger-data-hero-2.gif
Cofounders of TigerData (creators of TimescaleDB) Ajay Kulkarni and Mike Freedman discuss the company’s new name, showing how it reflects the company’s evolution.

KiCad and Wayland Support

KiCad runs on Wayland systems but with significant limitations and known issues that degrade the user experience. We recommend using X11-compatible display managers or distributions that maintain X11 support for optimal KiCad functionality.

O3 Turns Pro

https://substackcdn.com/image/fetch/w_520,h_272,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F89ae699a-02dc-45c8-9b96-8ae0122b46e6_1200x675.png
OpenAI's o3-pro model is a more powerful version of o3, but its slow response time and high cost make it less useful for daily tasks, and it's mainly suitable for complex problems that require more time and resources. The model's strengths include improved performance in key domains, reduced hallucinations, and better reasoning capabilities, but its weaknesses include a high price point, slow ...

Visual History of the Latin Alphabet

https://uclab.fh-potsdam.de/arete/assets/images/help_en.png
The history of writing and printing spans from ancient libraries to modern digital fonts, with significant milestones in technology, culture, and society. Key developments include the invention of movable type, the Industrial Revolution, and the emergence of digital technologies like the World Wide Web.

Accumulation of Cognitive Debt When Using an AI Assistant for Essay Writing Task

https://www.brainonllm.com/preview.png
This study examined the cognitive cost of using LLMs in essay writing, finding that LLM assistance led to weaker neural connectivity and decreased learning skills. Participants who used LLMs showed lower ownership and memory recall compared to those who used search engines or wrote without tools.

The Humble Programmer (1972)

Alan helsing: i entered the programming profession officially on the first spring morning of 1952. helfand: the turning point was the conference on software engineering in garmisch, october 1968 - there was an open admission of the software crisis. "the purpose of abstracting is not to be vague, but to create an new semantic level in which one can absolutely precise" if we want to build ...

Time Series Forecasting with Graph Transformers

https://kumo.ai/_next/image/?url=https%3A%2F%2Fcdn.sanity.io%2Fimages%2Fs3lh42f5%2Fproduction%2F9902dace1b0fea53f2abf4530161cc93fcd6beef-512x512.png&w=3840&q=100
Time series forecasting on graph structures combines individual time series with related information from the graph to improve predictions. A deep learning architecture using graph transformers and generative models can be trained to forecast future values with probabilistic inference and uncertainty quantification.

Miscalculation by Spanish power grid operator REE contributed to blackout

Please enable JS and disable any ad blocker

Fun with Telnet (2024)

A user experienced a Star Wars inspired animation from Telnet. The animation was a unique and creative experience.

Tesla Robotaxi launch is a dangerous game of smoke and mirrors

https://electrek.co/wp-content/uploads/sites/3/2025/01/Tesla-Self-driving-Fremont-factory.png?w=1600
Tesla's robotaxi launch in Austin is a "game of smoke and mirrors" with Elon Musk taking risks for optics, despite a poor track record on self-driving. Musk's deadline for full autonomy is unrealistic, and Tesla's use of geofencing and teleoperation limits its capabilities.

From SDR to 'Fake HDR': Mario Kart World on Switch 2

https://www.alexandermejia.com/wp-content/uploads/2025/06/205Nits.avif
Nintendo's Mario Kart World game on the Switch 2 console has a "fake HDR" issue where it reduces color gamut to SDR and lacks dynamic range, suggesting an SDR-first authoring approach. Developers should prioritize HDR from the start, using wide color gamut, dynamic range, and tone mapping to create a more immersive gaming experience.

Finding Dead Websites

https://www.marginalia.nu/log/a_122_dead_websites/model.png
Marginalia Search implemented a system to detect server uptime and ownership changes using HTTP HEAD requests and DNS queries. The system uses various factors to identify changes, including certificate and DNS history, security posture, and other headers.

The drawbridges come up: the dream of a interconnected context ecosystem is over

https://www.dbreunig.com/img/drawbridge.jpg
MCPs may follow Web 2.0's path, where APIs initially enabled free exchange but evolved into tightly governed interfaces. Platforms may control access to their data and AI, limiting MCPs to a protocol for easy LLM tool use.

Virtual cells

https://udaraio-shader-og.vercel.app/api/uio?title=Virtual+cells&tag=Science&year=2025
Scientists have developed digital twins of biological cells, also known as virtual cells or whole-cell models, which recreate every relevant molecular process of a living cell in silico. These models have revolutionized biology, enabling researchers to design life from scratch, simulate complex cellular systems, and predict the behavior of living organisms, with applications in drug discovery ...

The hamburger-menu icon today: Is it recognizable?

https://lh7-rt.googleusercontent.com/docsz/AD_4nXeHlb7oPqVXZ2B8WVZj-71b9T8brDrI_tlIN8rRKccV0uqyhqElmflFoKnS0H1GCn9hZQVU0y7zMSxF6zrcNZPk9Wc7MZtFXlhD_NXI2QAfS9qz1AG2JRTuwLQAKFSf7t1S2ZC_16SMI3k3v4N8Vl8?key=FKtcoH5A_oCZmPupyLgOsg
The hamburger menu is a widely recognized icon representing hidden navigation, but its usability depends on thoughtful implementation. It should be placed in the top-left corner, use the standard 3-line icon, and follow best practices to avoid confusion.

Finland warms up the world's largest sand battery, the economics look appealing

https://techcrunch.com/wp-content/uploads/2025/06/Polar-Night-Energy-Pornainen-Sand-Battery.jpeg?w=1024
A sand battery stores heat from renewable electricity in sand or crushed rock, reducing carbon emissions and costs. The battery can store 1,000 megawatt-hours of heat for weeks at a time with minimal loss.

Claude Code feels like magic because it is iterative

Claude Code uses iterative LLMs to solve problems quickly, making it seem intelligent. Its speed and autonomy can automate tasks like updating dependencies, potentially compressing time from 40 minutes to 1 minute.

ELIZA Reanimated: Restoring the Mother of All Chatbots

A Python-first data lakehouse

https://framerusercontent.com/images/Ymp7ts7M3Dvzhs9UXTIhCuo0FYs.png
Data scientists struggle to move models from prototype to production due to lack of software engineering skills. A new approach uses marimo notebooks and Bauplan to create reproducible, maintainable, and reusable code.

"Microsoft Locked My Account – I Lost 30 Years of Photos and Work"

User needs to register or sign in with developer credentials and ensure a unique User-Agent string to access the application. Alternatively, they can try resetting to default User-Agent or file a ticket for assistance.

Threat in Your Medicine Cabinet: The FDA's Gamble on America's Drugs

https://img.assets-d.propublica.org/v5/images/20250612-fda-import-loophole-dirty-water.jpg?crop=focalpoint&fit=crop&fm=webp&fp-x=0.5&fp-y=0.5&h=322&q=75&w=800&s=a746818058571c2086846875b8619aaa
The fda has given more than 20 foreign factories a special pass to continue sending drugs to the u.s. the drugs were made at plants that the agency had banned. over the past dozen years, the same small cadre at fda granted similar exemptions to factories that had violated critical standards in drugmaking, nearly all in india. in 2008, dozens of americans were killed by contaminated blood ...

Dinesh’s Mid-Summer Death Valley Walk (1998)

https://dineshdesai.info/dv/images/header.gif
The following is an account of our walk through Death Valley National Park during July 1998. We wanted to find out how it feels to walk in extreme heat for days at a time. We had set a goal of walking the entire park, from its northern boundary to its southernmost point, a distance of about 180 miles. Our plan was to walk 15 miles a day and finish the walk in 12 days.

BMW ConnectedDrive lets me control my returned rental car (Sixt)

You rented a BMW from Sixt in Italy and linked your BMW ID, but the car's previous profile wasn't fully reset. This may be a widespread issue with rental fleets using ConnectedDrive, allowing previous renters to track and interact with cars.

Ask HN: How to Deal with a Bad Manager?

You're dealing with a difficult manager and team dynamic after a company reorganization, feeling micromanaged and unsupported. You're struggling to maintain motivation while still caring about the mission and your work.

Windows 10 EOL

The writing feels like a fan fiction of mass effect, and the aliens are not on par with the old me alien designs. the game has 'promise of infinite possibilities,' says author tim schafer. "the game is incredibly difficult to play, but it&s remarkably fun to write about," says scott taylor. if you want to learn how to program, you can learn

Real-time action chunking with large models

https://www.pi.website/_next/image?url=%2F_next%2Fstatic%2Fmedia%2Fshirt-grid.1f718e2c.jpg&w=3840&q=75
Researchers developed real-time chunking (RTC) to enable robots to execute actions in real-time without discontinuities, which is crucial for tasks like handing a hot coffee. RTC uses inpainting algorithms to fill in the remainder of a new action chunk, allowing robots to maintain consistency between chunks and react to new information.

We Can Just Measure Things

The author spent 24 hours building a project with friends and agents, which led to frustration with Xcode and thoughts on how programming agents can measure code quality and developer experience. Agents can help evaluate code health, tooling, and ecosystem stability, providing objective measurements for improving developer experience.

Long live Xorg, I mean Xlibre

https://www.dedoimedo.com/images/computers-years/2025-1/xlibre-teaser.jpg
The Linux community is divided over Wayland, a display protocol that's still beta-quality and lacks functionality compared to its predecessor Xorg. A new project, Xlibre, aims to modernize Xorg and provide a complete solution, offering a potential alternative to Wayland.

Google aims to reinvent email with Wave (2009)

https://i.cbc.ca/1.2160588.1382498663!/httpImage/image.jpg_gen/derivatives/original_1180/google-wave-snapshots-inbox.jpg?im=
Google Wave is a new communication tool that combines email, instant messaging, blogs, wikis, and bulletin boards. It allows real-time collaboration and editing of documents, with features like live communication, file sharing, and translation.

Public/protected/private is an unnecessary feature

Access modifiers in OOP were originally used to protect implementation internals in Simula due to its heavy use of inheritance. However, they duplicate interface-defining features and are unnecessary if interfaces are used to hide implementation details.

AI will shrink Amazon's workforce in the coming years, CEO Jassy says

https://image.cnbcfm.com/api/v1/image/108139648-1746134589250-GettyImages-2188101054.jpg?v=1750183200&w=1920&h=1080
Amazon's corporate workforce will shrink in the coming years due to increased use of generative AI tools. Employees are expected to learn AI and work with smaller teams to get more done.

Celebrated pianist and writer Alfred Brendel dies aged 94

https://i.guim.co.uk/img/media/d124922e2cf73546b8e26bb413729e21bd4fe4d2/218_387_3741_5346/master/3741.jpg?width=445&dpr=1&s=none&crop=none
Alfred Brendel, a celebrated pianist and author, has died aged 94 in London. He had a long and distinguished career spanning over 60 years, known for his intense and visionary playing and his role in highlighting the music of Beethoven and other composers.

George Orwell's 1984 and How Power Manufactures Truth

https://cdn8.openculture.com/2025/06/05230741/Screenshot-2025-06-05-at-11.07.36%E2%80%AFPM-1024x577.png
Donald Trump's presidency led to a resurgence in George Orwell's 1984 sales, with its themes of totalitarianism and truth manipulation becoming increasingly relevant. The novel's depiction of a world where language is controlled to limit thought resonates with modern culture's "post-truth" era.

Show HN: RM2000 Tape Recorder, an audio sampler for macOS

https://rm2000.app/_astro/Mac_Universal_logo.BqK_kNrl.png
Your Mac plays sound all day - it just doesn't make it easy to keep any of it. Recording system audio is still very clunky: audio routing hacks, third-party tools that aren't meant for the task - too many steps. RM2000 Tape Recorder just listens. Whatever your Mac is playing, it can record it instantly - then, lets you file, tag, and organize it.

Painting with Math: A Gentle Study of Raymarching (2023)

https://images.maximeheckel.com/cdn-cgi/image/width=3840,quality=100,format=webp/https://cdn.maximeheckel.com/images/blog/raymarching-sdf_inmjmq.png
Raymarching is a technique for creating complex 3d landscapes. we can define entire worlds with math, using the definition and combination of sdfs. if distance between point and surface of object is small enough, we consider we've hit (in orange) we need to return the distance equivalent to the minimum of both sdss, or we get an error message. this is the result of combining the two.js/re

Guidelines on how to be a scientific sleuth released

https://osf.io/static/img/circle_logo.png
COSIG is an open source project providing guides for post-publication peer review and forensic metascience. It hosts 28 guides and can be downloaded as individual PDFs or a combined PDF.

AI threatens to raid the water reserves of Europe's driest regions

https://www.politico.eu/wp-content/uploads/2025/05/27/3-821x1024.jpg
The EU wants to compete with the U.S. and China on artificial intelligence. But critics say policymakers haven’t planned for the sector’s extreme water demand.

Voyager: Real-Time Splatting City-Scale 3D Gaussians on Your Phone

https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png
Researchers propose Voyager, a system to render city-scale 3D scenes on mobile devices by streaming necessary Gaussians from the cloud. Voyager achieves over 100x data transfer reduction and 8.9x speedup while maintaining rendering quality.

NexusMods Changes Hands

https://staticdelivery.nexusmods.com/images/News/15301_tile_1749741626.png
The founder of Nexus Mods is stepping back from day-to-day management after 24 years, citing burnout and a desire to bring in new leadership. A new team, including Victor, Marinus, and Nikolai, will take over, with the founder remaining involved in a guiding role.

OpenAI weighs "nuclear option" of antitrust complaint against Microsoft

https://cdn.arstechnica.net/wp-content/uploads/2024/07/openai_microsoft_3-300x169.jpg
OpenAI may file an antitrust complaint against Microsoft over contract terms and potential suppression of competition. The move could end their long-term partnership and affect Microsoft's exclusive rights to host OpenAI models.

Chimpanzees yawn when observing an android yawn

https://media.springernature.com/w215h120/springer-static/image/art%3A10.1038%2Fs41598-020-79160-x/MediaObjects/41598_2020_79160_Fig1_HTML.jpg
Human-robot interactions tap into mechanisms related to empathy1, perspective-taking2,3, and sensorimotor simulation4,5,6. chimpanzees exhibit yawn contagion, triggered by a non-biological inanimate agent, an android whose features look as if it is sneezing or rubbing its mouth open. the mean time spent lying down in yaw + post-yawing condition was longer than

Threads is adding Fediverse content to social feeds

https://platform.theverge.com/wp-content/uploads/sites/2/2025/04/STK156_Instagram_threads_3.jpg?quality=90&strip=all&crop=0%2C0%2C100%2C100&w=2400
Threads is launching a dedicated feed for fediverse posts and a search feature to make social web content more visible. The new feed is separate from the main Following feed and is not algorithmically ranked, showing posts in reverse chronological order.

A Visual Guide to Genome Editors

https://substackcdn.com/image/fetch/w_520,h_272,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F1bf40b96-f3f8-4209-9006-6e2202428540_2000x1260.png
The first-ever crispr-based medicine approved by the u.s. fda in 2023. the treatment, now known as casgevy, is based on a protein called cas9 - the protein that cuts or modifies dna – dr. sanjay gupta, et al., has been tinkering with guide rnas to make them easier to work with

Rules, Not Renewables, Might Explain the Iberian Blackout

https://spectrum.ieee.org/media-library/the-silhouette-of-a-man-standing-outside-a-pub-illuminated-by-a-camping-lamp-during-a-blackout-the-surrounding-area-is-nearly-p.jpg?id=61009187&width=1200&height=900
A blackout in Spain and Portugal on April 28 caused widespread speculation about its cause, with some blaming foreign attacks and others unstable renewable energy. Official investigations have yet to conclude, but researchers suggest overvoltages and poorly distributed reactive power may have been factors.

Star Quakes and Monster Shock Waves

https://caltech-prod.s3.amazonaws.com/main/images/Neutron-Star-Monster-ShockWa.2e16d0ba.fill-1600x810-c100.jpg
Scientists simulated a neutron star collision with a black hole, predicting flares and radio signals that telescopes might detect. The simulations, run on supercomputers, provide a deeper understanding of the universe's most energetic events.

An analysis of recent multithreading improvements for a smoother game

https://dev.arma3.com/assets/img/post/images/thumbs/2.20_OPREP_2.jpg
Arma 3 update 2.20 includes multithreading improvements for a smoother game experience. The update overhauls the game's multithreading code and optimizes it for better performance.

Linux kernel WireGuard can go 'fast' on decent hardware

The user is blocked due to using an old browser version or being identified as a suspicious crawler. They can contact the author to resolve the issue or use archive.org for a better behaved archival crawler.

What I Wish Someone Told Me When I Was Getting into ARIA

https://files.smashing.media/authors/eric-bailey.jpg
This is not a recipe book for how to use aria to build accessible websites and web apps. anything interactive has to be keyboard operable. observing these five rules will help you out. you can declare an element’s role via ajax and also have other non-aria declarations, such as class or id. this means you don’t need to include the string “save” inside an svg icon if you want to activate it

Just How Many More Successful UBI Trials Do We Need?

https://miro.medium.com/v2/resize:fit:1200/1*eiP9WikPzfVD77xd_8Qp2A.jpeg
Some people fear universal basic income will make society lazy, but evidence suggests this is a tired myth. A growing body of evidence, including Germany's basic income trial, shows people remain motivated despite guaranteed income.

Mierle Laderman Ukeles, a '70s artist who became a hero to 'garbage men'

Please enable JS and disable any ad blocker

Testing a Robust Netcode with Godot

https://studios.ptilouk.net/img/blog/meme_tcp_udp.jpg
The developer of Little Brats! faced challenges with online multiplayer, particularly synchronizing computers with latency while maintaining a fast-paced action game aspect. They used techniques like prediction and reconciliation to compensate for latency.

The Right Chemistry: How Jean Harlow became a ‘platinum blond’ (2020)

Verified dynamic programming with Σ-types in Lean

https://raw.githubusercontent.com/tannerduve/tannerduve.github.io/master/images/pfp1_new.png
The user discusses memoization in Lean, a technique used to optimize recursive algorithms by caching solutions to subproblems, and applies it to the Bytelandian Gold Coins problem, a classic dynamic programming problem. The user then introduces subtypes in Lean, which allow attaching logical properties to data, and uses them to create a new memoized algorithm that proves its correctness incrementally.

Astronomers Just Solved the Mystery of the Universe's Missing Matter

https://gizmodo.com/app/uploads/2025/06/FRBs-art-rendering.jpg
Astronomers have found the universe's "missing" ordinary matter, which makes up 5% of the universe, in the form of hot gas between galaxies. They used fast radio bursts to measure the distribution of this matter, confirming 76% exists in the space between galaxies.

CPU-Based Layout Design for Picker-to-Parts Pallet Warehouses

https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png
A novel warehouse layout inspired by CPU architecture improves throughput time and reduces labor requirements. It partitions space into Performance, Efficiency, and Shared zones, outperforming traditional layouts.

Reworking Memory Management in CRuby [pdf]

Refactoring of cruby’s memory manager to make it possible to use third party memory managers alongside crby's original memory manger. declarative marking for imemo types has been introduced to improve performance and reduce bottlenecks in the collectors themselves. this paper describes the issues we have encountered in implementing a new garbage collector in ruby with mmtk. we hope that this ...

Texas electricity maximum renewables record

The website is temporarily blocked due to security reasons after a suspicious action was detected. Please email the site owner with the Cloudflare Ray ID and details of the action that triggered the block.

Pipelined State Machine Corruption

Pipelining in text protocols like NNTP, HTTP 1.1, and SMTP can cause issues if servers rely on implicit state or assume single-command-per-wakeup behavior. This can lead to bugs like accepting incorrect commands or deadlocking due to unprocessed responses.

Bots are overwhelming websites with their hunger for AI data

https://regmedia.co.uk/2025/06/17/shutterstock_eye_spider.jpg
AI bots are overwhelming digital collections of arts and culture by aggressively harvesting content, causing slowdowns and service outages. GLAM-E Lab and COAR reports urge AI providers to develop more responsible ways to interact with websites.

Polyhedra Viewer

An interactive polyhedra viewer and manipulator

Western Oil: the US/UK-Backed Iranian Coup D'état of 1953

https://upload.wikimedia.org/wikipedia/commons/thumb/9/95/Operationajax.jpg/330px-Operationajax.jpg
The 1953 iranian coup d'état was the overthrow of prime minister mohammad mosaddegh. the preceding truman administration had opposed a coup, fearing precedents would be set by the cia involvement in the operation, according to historian john gasiorowski. he says the intelligence agencies were instrumental in initiating and planning the coup. [38]: 32 during the latter half of the 19th century,

William Langewiesche, the 'Steve McQueen of Journalism,' Dies at 70

Please enable JS and disable any ad blocker

Defense Department signs OpenAI for $200M 'frontier AI' pilot project

https://regmedia.co.uk/2025/06/17/shutterstock_military_robot_handshake.jpg
The US Department of Defense has contracted OpenAI for a $200 million pilot program to develop "frontier AI" for national security. The program aims to transform administrative options and address challenges in warfighting and enterprise domains.

The Collapse of Complex Societies

https://matthewbutterick.com/img/tlog-standard-run.jpg
The book "The Limits of Growth" (1972) and "The Collapse of Complex Societies" (1988) predict global collapse due to unsustainable growth and increasing complexity.

Show HN: Sexprs – Lisp dialect written in Rust

https://opengraph.githubassets.com/245fe58d42a66b94ddf4106854b5a27b4384f03033c02bcc428938a51d8d1e1b/gabrielfalcao/sexprs
a minimal lisp dialect REPL written entirely in rust - gabrielfalcao/sexprs

Celebrating 50K users with Kagi free search portal, Kagi for libraries, and more

https://kagifeedback.org/assets/files/2025-06-09/1749457707-244242-upload-d101610106b9ded9cfe230f90b3654a3.png
Kagi reached 50,000 members, more than doubling since January 2024, and is now making its search portal free for everyone. The company is also launching a free Kagi for Libraries program and introducing new products and initiatives to make Kagi more accessible.

Law as Rhetoric, Rhetoric as Law: The Arts of Cultural and Communal Life (1985) [pdf]

Law is at present usually spoken of as if it were a body of more or less determinate rules. instead of dealing with what is "known," it deals with "what as false art," says john s. d. white. law as constitutive rhetoric should define the lawyer's own work as far less manipulative, selfish, or goal-oriented than the usual mod- els, he writes. the central idea is not that of goods

Icons of Aviation History: Boeing X-29

https://live.staticflickr.com/65535/54455674377_dd920aebed_c.jpg
The forward-swept wing design offered improved maneuverability but was difficult to build with sufficient structural integrity due to increased stress on the wings. Both the US X-29 and Soviet Su-47 Berkut programs were ended due to the design's limitations and high production costs.

Low Sodium in Blood Triggers Anxiety in Mice by Disrupting Their Brain Chemistry

https://www.fujita-hu.ac.jp/en/news/rs5pgm0000000103-img/FUJIH_59_4_FUJIH_59_3_Image.jpg
Researchers at Fujita Health University found that chronic low sodium levels in mice disrupt brain chemistry and trigger anxiety-like behavior through amygdala dysfunction. The condition is reversible with sodium level correction, suggesting early diagnosis and treatment can improve mental well-being in affected individuals.

How to use Prometheus to efficiently detect anomalies at scale

https://grafana.com/media/blog/anomaly-detection-oss/anomaly-detection-meta.png
Grafana Labs developed an open-source anomaly detection framework using PromQL to help identify issues in metrics data. The framework can be used with any Prometheus-compatible metrics backend and is designed to be performant, explainable, and scalable.

A deep-dive explainer on Ink and Switch's BeeKEM protocol

https://static.meri.garden/770fab433d7424dd69891d6696d48aab.png
The mls standard significantly improves on the key management part through the treekem (sub-)protocol. if two members add a member concurrently to the same leaf, they will add them to that leaf - and they can decrypt messages they wrote subsequently unless they remove each other first. the details of how this potential vulnerability works sit slightly beyond my current understanding but it’s ...

Apple: Prepare your network for quantum-secure encryption in TLS

iOS 26 and later devices will automatically advertise support for quantum-secure key exchange in TLS 1.3. This helps maintain compatibility with non-supporting servers while preventing decryption by future quantum computers.

Hack the Planet: 90s Hacker Culture vs. Today's AI Devs

https://gizvault.com/img/products/a7f75eb3432c.webp
The hacker spirit has evolved from breaking into mainframes to optimizing AI models, but its core values of autonomy and subversion remain. Today's AI devs are rediscovering this spirit by pushing boundaries and questioning corporate control.

Insanity: Locked Out (2020)

https://theandrewbailey.com/fileImmutable/AYDjtV7g/post201x/2018_LockedOut.jpg
A Google fanboy moves into a techno utopia where everything is connected to the internet, but he gets locked out after violating the terms of service. He tries to break in, gets caught, and is sent to prison for misusing Google products.

Is documentation like pineapple on pizza?

https://substackcdn.com/image/fetch/w_520,h_272,c_fill,f_auto,q_auto:good,fl_progressive:steep,g_auto/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fe0d88d3c-8538-430c-886a-5e66214dce52_1024x1024.jpeg
Developers often avoid writing documentation due to lack of immediate value and recognition, but it slows down teams and creates friction. Effective documentation requires the right tools, templates, and processes to make it easier for developers to write and use.

Ask HN: What newspaper are you paying for these days?

You're looking for reliable news sources beyond social media, seeking a mix of topics and local news. You pay for your local news but find it hard to get local news from other sources.

Are AI Bots Knocking Cultural Heritage Offline?

https://images.ctfassets.net/1vmrm2atw34v/5NA7ydK76wbYitBhUj4UAZ/2beda5fc1dccc244703ffb7af263a515/Screenshot_2025-06-11_at_9.01.08%C3%A2__AM.png
In late 2024, isolated reports began to appear from individual online cultural heritage collections. aaron carroll: there is no single solution to the problems bots are creating in online collections. but he says bot activity has been slowly increasing over the past number of years. carsroll says that if institutions are to protect themselves, they need to be vigilant about bot traffic. the ...

Rules, Not Renewables, Might Explain the Iberian Blackout

https://spectrum.ieee.org/media-library/the-silhouette-of-a-man-standing-outside-a-pub-illuminated-by-a-camping-lamp-during-a-blackout-the-surrounding-area-is-nearly-p.jpg?id=61009187&width=1200&height=900
A blackout in Spain and Portugal on April 28 caused widespread speculation about its cause, with some blaming foreign attacks and others unstable renewable energy. Official investigations have yet to conclude, but researchers suggest overvoltages and poorly distributed reactive power may have been factors.

A real fixed-point decimal crate in Rust

https://opengraph.githubassets.com/3e91d5d155bc4028d9c06b8f8ad17e5dbbe29c991d1fff099fb21314401e529c/WuBingzheng/primitive_fixed_point_decimal
This crate provides a fixed-point decimal library for Rust, using integer types with a scaling factor to achieve accuracy. It supports two types: ConstScaleFpdec with a fixed scale and OobScaleFpdec without a global scale.

Social media now main source of news in US, research suggests

https://ichef.bbci.co.uk/news/480/cpsprodpb/a3d8/live/ad4cfde0-47a7-11f0-bbaa-4bc03e0665b7.jpg.webp
Social media and video networks have become the main source of news in the US, with 54% of people getting news from platforms like Facebook, X and YouTube. Online influencers and personalities are a major source of false or misleading information, named by almost half of people worldwide.