31 Jul, 2026 A few years I met a guy, let’s call him Jim, who was trying to break in tech by going to a bootcamp to become a developer. In the meantime, he worked as a bartender and had been living off the support of his girlfriend, who was from a well-off family and … Devamını oku
Although RSS feeds are alive and still heavily used today, their level of adoption has suffered because of how difficult a handful of popular technology companies have made it to use them. Google, especially, has relied on the open web RSS protocol to gain so much market share and influence, but continues to engage in … Devamını oku
Google News is just Forrest Gump’s shrimp boat now Posted on at • views You know that scene in Forrest Gump where Forrest sees Lieutenant Dan on the shore and is so distracted by him that he jumps off and swims to shore, allowing the boat to crash into the dock? Yeah, that’s Google News … Devamını oku
A soundness bug in the Lean kernel (#14576) was reported and fixed during the week of July 27. It has had visibility on Zulip and social media (e.g., X, LinkedIn, and Mastodon). On July 25, Ramana Kumar published a repository containing a sorry-free “disproof” of the Collatz conjecture, produced with AI assistance. It is not … Devamını oku
The NetBSD project is pleased to (finally) announce the NetBSD 11.0 release! See the release announcement for details. If you want to test 11.0 please check the installation notes for your architecture and download the preferred install image from the CDN. If you are using an ARM based device, obtain a netbsd-11 image pre-configured with … Devamını oku
Created in July 29, 2026 2026 · generative_models, generalization, diffusion, autoregression · AI Website: https://explorative-modeling.github.io/ GitHub: https://github.com/alexiglad/XM TLDR: We introduce Explorative Modeling, a new paradigm for generative modeling that acts as a third pretraining axis when added to existing generative models, and also enables end-to-end generation. Increasing exploration … Devamını oku
kaisel Routes as values. A Dart 3-native router for Flutter — no string paths, no codegen. Get Started View on GitHub Get started Terminal window flutter pub add kaisel The getting started guide takes you from install to navigating with typed routes in a few minutes — sealed class, exhaustive switch , done. Sealed routes, … Devamını oku
Today, I launched I ♥ RSS, a directory for people who love RSS. I’ve already added the badge to my footer and submitted my site to the directory. It also shows a nice live blogroll on the homepage (powered by FeedLand). If you love RSS as much as I do, take a look and add your own … Devamını oku
kevinn (Kevin Neilson) July 31, 2026, 7:23pm 9 Thanks for flagging this. There isn’t currently a setting to switch back to dollar amounts for individual plans. Enterprise Plans will still show dollar amounts here, but individual plans will not. This is deliberate design because of the differences in how enterprise plans are structured (pooled usage) … Devamını oku
Codeberg, a Git code hosting platform, recently took a decision to prohibit projects that mostly consist of generative-AI-written code which has prompted concern and extensive discussion elsewhere. The decision does not surprise me, and I don’t mean that as a criticism. Codeberg has always presented itself as a mission-driven alternative to GitHub, not neutral infrastructure.1 … Devamını oku