Auto-aggregated global tech articles · 1,233 posts
Backend
Известный "кризис оснований математики", который произошел в начале XX века. Возник он из-за (или благодаря, тут трудно сказать) "Наивной теории множеств" Георга Кантора, которая на первый взгляд должна была стать точкой сбора всех математиков. Все мы, особенно разработчики, интуитивно понимаем теор
Backend
Chuks has two execution modes: a bytecode VM you develop against, and a native binary you ship. v0.1.1 is about making them agree everywhere, down to the last digit of an IEEE-754 float. Chuks runs your code two ways. A bytecode VM you develop against, it starts instantly, so the edit-run loop fee
Frontend
Most sports games ask you to win a league. 38-0-0 asks you to win every match of a Serie A season — 38 out of 38, where a single draw ends the run. That constraint sounds like a difficulty slider set to maximum. It is not. It is a different kind of game, and the reason is arithmetic that anyone can
Industry
Article URL: https://www.coderabbit.ai/blog/gpt-6-astra-code-review-evaluation Comments URL: https://news.ycombinator.com/item?id=49572875 Points: 4 # Comments: 1
AI & ML
An eight-frame animation does not have a fixed duration. At 8 fps it lasts one second; at 12 fps it lasts two-thirds of a second; at 16 fps it lasts half a second. Before drawing or generating more frames, check whether the problem is missing poses or the time each pose stays on screen. We maintain
Mobile
Under-the-hood breakdown of Huawei’s “Pure HarmonyOS” SDK for engineers and architects. For the past decade, mobile operating system architecture has been dominated by two paradigms: Android’s JVM-based, garbage-collected model, and iOS’s Darwin/Mach kernel with Swift/Objective-C. Huawei’s Harmony
Backend
On September 4, Anthropic published something that sounds like a headline from a decade in the future: the first complete, computer-checked proof of Fermat's Last Theorem, written by a team of Claude agents working largely autonomously over 11 days. Thirteen million lines of Lean. Nearly 30,000 inte
Frontend
Code: Megapixel99/lambda-language lm is a small low-level language I wrote: static types, explicit memory, no closures, no garbage collector, and four independent backends that emit C, WebAssembly, ARM64 and bytecode for a VM. Its compiler is about 4,400 lines of JavaScript. The obvious next quest
AI & ML
A webcam hand tracker hands you a position, thirty or sixty times a second, as a float between 0 and 1. A musical scale hands you seven notes per octave. Building a browser hand-gesture synthesizer is mostly the work of getting from the first thing to the second thing without it sounding like a fax
AI & ML
OpenMontage is an open source project you can run yourself today. This is a look at what it does, how to get it going, and the situations where reaching for it would be a mistake. What it actually does Turn your AI coding assistant into a full video production studio. Describe what you w
AI & ML
I had already reached an uncomfortable conclusion: Giving an AI coding agent better instructions was not enough. So I started building repository-level governance around things like source-of-truth ownership, review behavior, evidence, scope, and lifecycle. The repository became more consistent.
Frontend
Why Traditional Clean Architecture Stalls in Real-Time Cloud Apps Most enterprise Flutter tutorials preach Uncle Bob's Clean Architecture or classic BLoC layering. They show neat diagrams with concentric circles: Presentation, Use Cases / Interactors, Repositories, and Data Sources. Yet nearly ev