The author is leaving GitHub due to its decline in quality and aggressive AI integration, switching to Codeberg for their project Zig. They ask donors to move from GitHub Sponsors to Every.org.
The user built a DIY NAS server, the DIY NAS: 2026 Edition, with a Topton N22 motherboard, JONSBO N4 case, and TrueNAS 25.10.0.1 operating system, aiming to provide a capable homelab machine with a small footprint. The build features six drive bays, an integrated low-power CPU, and a focus on power efficiency, with the user considering auctioning off the build on eBay due to rising component prices.
Penpot is an open-source design tool for collaboration between designers and developers. It offers features like design tokens, CSS Grid Layout, and real-time collaboration.
Voyager 1 is about to reach 16.1 billion miles away from Earth, taking 24 hours for a radio signal to reach it. It's the most distant human-made object, traveling at 11 miles per second since 1977 and sending data until the 2030s.
We formalize a subset of the x86 architecture in Coq, using dependent types and notation to give it a concise and readable semantics. The model includes a concrete representation of bits, bytes, and memory, and supports conventional assembly code syntax inside Coq.
The user successfully ported iOS 6 to an iPod touch 3 by modifying the iBoot and DeviceTree, and creating a custom kernelcache with kexts from iOS 6. They also implemented an iBoot exploit and patched various components to make the port work on the iPod touch 3.
s&box engine is now open source under MIT license, allowing users to view, modify, and use its code for their own projects. The team has made several improvements, including fixing terrain issues, implementing texture rotation, and rewriting memory allocation code.
The book introduces data structures and algorithms for functional languages with a focus on proofs, covering both correctness and running time analysis. It uses inductive proofs and is machine-checked by Isabelle, with evolving content.
Gemini CLI is an open-source AI assistant that brings the power of Google's Gemini model directly into your terminal, allowing you to perform various tasks such as coding, debugging, and content generation through natural language prompts. The tool supports features like custom commands, memory addition and recall, checkpointing, and external integrations with Google Docs, Sheets, and Drive, ...
A new fast date conversion algorithm is presented, achieving a significant speed gain by counting years backwards and using a year-modulus-bitshift technique. The algorithm is accurate over a period of ±1.89 trillion years and uses only 4 multiplications, making it suitable for processing full UNIX 64-bit time.
Fara-7B is Microsoft's first agentic small language model for computer use, achieving state-of-the-art performance with 7 billion parameters. It completes tasks efficiently, averaging 16 steps per task, and enables on-device deployment with reduced latency and improved privacy.
User created a website to help travelers find hotels with bathroom doors, after experiencing doorless rooms. The website lists hotels with doors that close and are not made of glass, and allows users to submit doorless hotels for public shaming.
Caligra is a new computer company focused on creative technical work and innovation. Its goal is to help users shape the future through technical advancements.
Google updated Android's Quick Share feature to support Apple's AirDrop, allowing users to share files directly between devices. This interoperability is made possible by Apple adopting the Wi-Fi Aware standard, a requirement under the European Union's Digital Markets Act.
Paste this into Claude Code or Cursor: “Review PR 13968 (this branch). Plan a comic strip to help code reviewers to understand what is going on/how the code works. Anthropomorphize if that will help.” Paste what you get into gemini.google.com after this prompt: “Make a comic-strip jpg for this: <paste it here>”
The author reflects on their career as a software developer, highlighting the importance of process and collaboration in software development, especially with the rise of AI coding agents. They advocate for Chat-Oriented Programming (CHOP), a conversational approach to coding that emphasizes feedback, testing, and intentional structure.
Carole Turek, a 75-year-old anesthesiologist, is photographing all 366 hummingbird species worldwide. She has 90 species left to capture and has already documented 276 species through her YouTube channel and website, Hummingbird Spot.
Researchers have figured out the physics behind creating plasma in a microwave using grapes or other fruits. The key is concentrating microwave energy into a tiny space where two objects touch, causing a strong electric field that liberates electrons and creates plasma.
The author implemented a software 3D renderer in Dart for a 2D game with a retro 3D aesthetic, using Canvas.drawVertices and TypedData to optimize performance. To further improve performance, the author used shared mutable memory between isolates to enable concurrent rendering, resulting in a 20% improvement in frame time on a powerful device.
To use bonsai_term, install opam and oxcaml, then read bonsai_term's MLI and examples. Bonsai_term uses the same model as bonsai_web, so refer to bonsai_web docs for learning.
Scientists discovered a cell with a severely reduced genome that challenges the definition of life. The cell, named Sukunaarchaeum, lacks essential functions and relies on a host cell for survival.
User created a Mac app called Alan to draw borders around active windows, with customizable width and colors. The app can be hidden from the Dock by running a Terminal command.
safe-npm protects against supply chain attacks by only installing package versions at least 90 days old. It trades off bleeding-edge updates for security, one layer in a defense-in-depth strategy.
We will learn statistical process control in Python using pandas, plotnine, and scipy to measure variation and identify benchmarks in product quality over time. This workshop applies statistical process control to a case study of a Japanese Hot Springs bath economy, evaluating temperature, pH, and sulfur levels to ensure quality control and maintain reputation.
Andrew, a high school student and experienced programmer, designed a high altitude balloon payload to study algae fluorescence in the stratosphere, collecting data on altitude, temperature, and light. The project, which included a custom PCB and data compression system, was part of the Apex program and taught Andrew valuable lessons on hardware design, environmental testing, and data compression.
0
2025-11-26 17:54:20 UTC
optery.com
Llama
optery.com
Llama
Optery is a profitable automated opt out software that empowers individuals and businesses to control their personal data. It has received multiple awards and raised over $9M in funding from top investors.
The author trained a language model to implement a filesystem and achieved 98% accuracy. They then used the model to compress XML filesystem trees, achieving 44.7% better compression than the original format.
Researchers developed a new framework called the Power Consumption Index (PCI) to estimate the longevity of Cardiac Implantable Electronic Devices (CIEDs) by calculating power consumption and battery capacity. The PCI model was validated by comparing modeled survival curves with real-life data from the Swedish device registry and was found to be a reliable tool for predicting device longevity.