NetBSD 11.0 Released

NetBSD 11.0 is released with various ISO images, including CD-ROM and DVD options, and users are advised to check installation notes for their architecture. The release includes fixes for security issues, such as hdaudio and ipfilter vulnerabilities, and open pullup requests will be committed to the stable branch for the upcoming 11.1 release.

Postmortem for Kernel Soundness Bug #14576

https://leodemoura.github.io/static/images/leo.jpg
A soundness bug in Lean's kernel was reported and fixed on July 27, allowing a proof of False to be accepted. The bug was only reachable through metaprogramming and has been fixed along with other related bugs found by nanoda and an AI.

The Art of 64-bit Assembly

https://nostarch.com/sites/default/files/styles/uc_product/public/art-of-64-bit-assembly-v2_frontcover.jpg?itok=Zp0NJ4P6
The book covers advanced programming topics including macros, Unicode strings, and object-oriented programming. It also covers concurrent programming, exception handling, and advanced parameter implementation.

Kaisel – Routes as Values. Dart 3 Native Router for Flutter

https://kaisel.dev/og.png
The guide provides a quick setup for navigation with typed routes, using sealed classes and exhaustive switches for error-free routing. It uses a List of route objects for history management, with operations like push, pop, and set.

Explorative modeling: Train on the best of K guesses

https://alexiglad.github.io/assets/img/blog/xm/pred_images_ground_truth.png
Explorative Modeling is a new paradigm for generative modeling that increases generative expressivity by exploring multiple possible answers during training, improving existing models across images, video, and language. This approach enables end-to-end generation and scales generalization, with gains growing with model and data scale.

Pgtestdb's template cloning approach to testing is fast

https://brandur.org/assets/images/favicon/favicon-256.jpg
The user compared pgtestdb, a Go/Postgres testing package, to River's schema-based testing approach and found both to have similar setup times around 100 ms. However, River's approach is faster overall due to its optimization of reusing test schemas.

RipGrep musl binaries occasionally segfault during very-large searches

https://opengraph.githubassets.com/466478e38f8c4b0285ba6e7a260b0edac4bd7a3bf18187059df059b492c49ea9/BurntSushi/ripgrep/issues/3494
Ripgrep occasionally crashes with a SIGSEGV when searching very-large trees at high concurrency due to a heap metadata assertion failure in MUSL's mallocng. The bug can be reproduced by running a generated tree of 1.8M files with 20GiB of data and searching for an arbitrary string in a loop.

Cursor removed cost information from the usage page and CSV export

https://us1.discourse-cdn.com/cursor1/original/3X/3/7/3718fc94d3c996fb60ac40aa8a689003c970b23b.png
Cursor updated its Usage window to display token amount instead of dollar signs. You're not alone in experiencing issues, as some users report increased bugs, including auto-selecting sub-agents despite default settings.

A Surveillance Treaty in Disguise: Canada Signs UN Cybercrime Convention

https://www.michaelgeist.ca/wp-content/uploads/2026/07/Hieu_Ngo_at_Hanoi_Convention_side_event-780x350.jpg
Canada signed the United Nations Convention against Cybercrime, a treaty that critics say enables cross-border surveillance and electronic evidence sharing. The decision raises concerns about human rights and state surveillance powers, despite Canada's previous opposition to the treaty.

Kenji/Serious Eats – 30-Min Pressure Cooker Pho Ga

If you are a reader experiencing an access issue, please contact [email protected]. To help us troubleshoot more quickly, you may include your IP address. You can find it by visiting icanhazip.com or whatismyip.com.
Users are frustrated with fuzzy search on various sites including HackerNews, Gmail, Spotify, and Facebook Marketplace, and wish for exact match search as default. They suggest using quotes or other methods to trigger exact search, and propose a toggle for fuzzy search.

Franken.domains: Stitched-Together Domains, Because Every .com Is Taken

https://franken.domains/images/og-1ac03bd952336acc538a48c597178b26.png?vsn=d
+ + + + + + + + + + + + "Lifeless at the registry" is not a purchase guarantee: some donor countries have residency rules or minimum lengths, premium pricing may apply, and someone may simply throw the switch faster than you. Registrar links are affiliate links: if you reanimate a specimen through one, the laboratory may earn a small commission.

Register deprivation: spills and runtime under forced register scarcity

https://rjp.io/blog-assets/spillbench/fig1_runtime.png
Researchers measured the effect of reserving registers on kernel performance. Reserving registers increases spills and slows down eight of nine kernels, with the ninth kernel showing no slowdown despite a 23 spill increase.

Oil companies report sky-high profits thanks to wartime crude prices

https://npr.brightspotcdn.com/dims3/default/strip/false/crop/688x688+0+0/resize/100/quality/85/format/jpeg/?url=http%3A%2F%2Fnpr-brightspot.s3.amazonaws.com%2Fbf%2Fbe%2F7e1dd5b64bd98fa7a4e009508f6b%2Fcamila-domonoske.JPG
Big oil companies like Exxon, Chevron, and Shell have seen record profits due to high oil prices caused by the Middle East conflict. European lawmakers and Democrats are calling for windfall taxes on these companies to redirect excess profits to consumers.

A directory of people who love RSS

https://andrewshell.org/wp-content/themes/asdo-theme/img/apple-touch-icon.png
You launched I ♥ RSS, a directory for RSS enthusiasts, and added your site to the directory. You're inviting others to join by adding their own website and responding with a link to this post.

Glyphs 4 – the leading Mac font editor

https://glyphsapp.com/media/site/d052bea273-1785165125/glyphs4.png
Glyphs 4 is a leading Mac font editor that allows users to draw quickly, manage efficiently, and release with confidence. It offers various features such as customizable shapes, blending modes, and opacities, as well as a powerful left sidebar and kerning assistant.

Flint: A Visualization Language for the AI Era

Manual: •.,:;…!?·

https://cdn-gc.type.today/storage/post/8/889/preview_preview_image_ru-ODAAH_upguzXiwh5Izzzh9AwQ8ek1px1NA.jpg
The article discusses basic punctuation characters, including the period, comma, ellipsis, bullet, and interpunct, and their various uses in different languages and contexts. The Unicode table contains several items related to bullets and interpuncts, which can be used for separating parts in a sentence or indicating omissions.

RamenHaus

https://ramen.haus/wp-content/uploads/2024/07/ramen-jp-tokyo-hayashi-tonkotsu-shoyu-double-2019.webp
RamenHaus is a growing archive of 114 bowls photographed, slurped and posted around the world.

Linux on ESP32

https://opengraph.githubassets.com/4a704468ee363533a646979c4d8a7e2a1e1795609cc6a3838486d9a6da4c1298/GrieferPig/esp32-s31-linux
A custom CLIC driver is needed for S31 due to Linux expecting PLIC. OpenSBI was modified for XIP in flash and internal SRAM to save PSRAM memory.

Kontigo (YC S24) Is Hiring

https://bookface-images.s3.amazonaws.com/small_logos/29ea469fed3c60e9950eccadce6c5b7f8fcd6569.png
"Men wanted for hazardous journey. Low wages, bitter cold, long hours of complete darkness. Safe return doubtful. Honour and recognition in event of success" You gotta be in founder mode. Next.js web / React Native app. / Supabase, firebase, and Prisma. / Nest.js for WhatsApp / Open AI and Anthropic APIs for agents / Solidity and web3.js for Smart contracts. / A lot of Typescript.

qm – Multiplayer agent harness for work

https://raw.githubusercontent.com/yc-software/qm/main/docs/screenshots/web-ui-hero.png
QM is a platform designed for startups, allowing employees to work independently with isolated workspaces and collaborate with an agent in channels and projects. It's built with open source in mind, allowing users to pick their own harness and model.

Nyctography: A substituton cypher by Lewis Carroll

https://upload.wikimedia.org/wikipedia/commons/thumb/b/b1/Nyctograph_reconstruction.jpg/250px-Nyctograph_reconstruction.jpg
Nyctography (in Nyctography: ) is a form of substitution cipher writing created by Lewis Carroll (Charles Lutwidge Dodgson) in 1891. It is written with a nyctograph (a device invented by Carroll) and uses a system of dots and strokes all based on a dot placed in the upper left corner. Using the Nyctograph, one could quickly jot down ideas or notes without the aid of light. Carroll invented ...

Solid Queue 1.6.0 now supports fiber workers

https://opengraph.githubassets.com/a76c8f15f77d023fba1cb46bbf1d97ecb78b623081adc1ccdbcdcae101eea58b/rails/solid_queue/releases/tag/v1.6.0
New feature allows using fibers on a single thread, replacing thread pool with Async under the hood. Requires Async dependency and fiber isolation in Rails (config.active_support.isolation_level = :fiber).

The tiny holdout building in the middle of Macy’s is back in view

https://ephemeralnewyork.wordpress.com/wp-content/uploads/2026/07/macysholdout34thstreettakendown.jpeg?w=1024
A historic five-story building at 34th Street and Sixth Avenue is being renovated after decades of billboard advertisements. The building, a holdout from Macy's expansion in the early 1900s, is finally visible again after years of being hidden behind dark netting and scaffolding.

The development pipeline is a production system

https://sundry.jerryorr.com/images/software-assembly-line.png
Software developers should treat issues with their development pipeline as production outages, prioritizing fixes to prevent downtime and deliver value to the company. A broken pipeline prevents software production, making it a critical issue that requires immediate attention.

Elevators

https://john.fun/metadata/elevator/twitter-card.png
Elevators use complex algorithms like SCAN and LOOK to optimize traffic flow. The best algorithm varies depending on building size and traffic patterns, with simpler algorithms sometimes outperforming more advanced ones.

Software for One

https://www.ajwaxman.com/og/software-for-one.png
The cost and complexity of building personal software have dropped significantly due to AI, allowing users to create custom apps for their specific needs without requiring extensive coding knowledge. This shift has made personal computing more accessible and has the potential to become the new baseline consumer expectation, with users expecting apps to be tailored to their individual contexts.

Run Kimi K3 using 29 GB of RAM at 0.50 tok/s

https://opengraph.githubassets.com/371c5f2d5dd0b49fcf41fc515b1bdd014875a115358d530f8042f945248392e3/sqliteai/waste
WASTE is an embeddable inference engine written in C that streams large models from disk, allowing them to fit on consumer machines. It achieves this by keeping the model trunk in memory and streaming selected experts directly from disk.

How to Exist

https://www.raptitude.com/wp-content/uploads/2026/07/coffeeexist.jpg
The human tendency is to constantly seek escape from the present moment due to an allergy to existence, often manifesting as restlessness, anxiety, and dissatisfaction. By practicing existing without trying to change it, one can develop the ability to tolerate minor discomforts and reduce the need for escape-driven habits.