🌍 Dev.to

Cuándo usar Records en .Net

Publicado originalmente en carlosvigueras.es Como todo en la vida, usar Records en .Net puede ser beneficioso, aunque también, si no se usan adecuadamente, podrían ser contraproducentes. En esta entrada, os voy a comentar cuándo podría ser beneficioso utilizar Records , y en otra posterior, cuándo no aconsejo usarlos, y si, digo, aconsejo, porque no hay nada que se ajuste 100% a una normativa exacta de uso. En programación se trata de utilizar un poco la lógica y no usar c...
Your AI Coding Assistant Keeps Guessing Wrong? Terrain Puts It on Solid Ground
🌍 Dev.to

Your AI Coding Assistant Keeps Guessing Wrong? Terrain Puts It on Solid Ground

Terrain — prepares the ground so agents don't have to guess where to stand. 🔗 GitHub: https://github.com/sopaco/terrain Sound Familiar? You inherit a new project and open hundreds of files, blindly searching for architectural information. You ask an AI assistant to help understand the codebase, but it can only grep through the repository in real-time. After every refactoring, the Wiki documentation drifts from reality—and nobody notices. Terrain was built to solve ...
🌍 Lobsters

AI it's not bad but it's a tool

My company recently provided me a Claude license and even not being a fan of this kind of tool i recognize the value. I think it's great to deal with tasks you don't want to handle and just to get rid of them as fast as possible, but when there is something you like I belive it's importante not to rush it and enjoy the process, for my side projects I don't really allow code generation, instead I try to get the docs and examples on how stuff works then implement it, the risk of atrophy is high an...
🌍 Lobsters

Is it too much to ask devs to use AI to review their hand-crafted code?

You believe coding by hand is the Way and I both admire and appreciate beautiful, hand-crafted code. But I want to use your library, and when I ask my AI to evaluate it for bugs, memory leaks, security issues, it returns a long list of serious ones. Even if you hate AI-generated code, you can use an AI to identify issues and you can fix them yourself. Think of it as an advanced linter or something.
HackerNews

Git hosting that never leaves Europe

Article URL: https://pushin.eu Comments URL: https://news.ycombinator.com/item?id=49573680 Points: 6 # Comments: 4
🌍 Dev.to

What a Language Needs Before It Can Compile Itself

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 question is whether the language can compile itself, and the obvious first step is the lexer, which is 129 lines. In lm the same lexer is 355 lines. That ratio is the finding, because almost no...
🌍 Dev.to

Translating 300-Page Books with Claude: Taming Token Limits and Chunking Strategies

How we built a reliable pipeline to split long texts for LLM translation without losing context or breaking the bank At LectuLibre, we translate entire books using Claude. The challenge: a 300-page book is roughly 90,000–120,000 words, which translates to 120,000–160,000 tokens. While Claude 3 models have a 200k context window, sending an entire book in one API call is impractical. It's slow, expensive, and often degrades translation quality due to attention dilution. We needed a robust chun...
🌍 Dev.to

Advanced React Server Components Architecture in 2026 | Nainik Mehta

The Hidden Cost of React Server Components When React Server Components (RSC) were first introduced, they were hailed as the solution to the "bundle bloat" problem. By shifting rendering logic to the server, we promised users faster initial page loads and a cleaner separation of concerns. However, after deploying RSC at scale in production environments throughout 2026, many teams are discovering a harsh reality: RSC is not just a syntax update; it is a fundamental shift in architectural para...
🌍 Dev.to

An AI shopping assistant for WooCommerce that stores no conversations: what it can answer, what it cannot, and a 10-minute setup

Notes An AI shopping assistant for WooCommerce that stores no conversations: what it can answer, what it cannot, and a 10-minute setup Andrej Lauko, ARLing · 6 September 2026 Most chat widgets a WooCommerce store adds today keep a full transcript of what a shopper typed and how the widget answered, sitting in the vendor's database for as long as its retention policy allows. ARLing Asistent, a WordPress plugin for WooCommerce, is built the other way: it answers shopping questions from a ...
🌍 Dev.to

AI Agents Failed to Prove Fermat's Last Theorem. Then They Got a Shared To-Do List

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 intermediate theorems. About six billion output tokens. I want to talk about a detail that most coverage will bury, because it is the only part that matters if you build software with agents instead of...
Demystifying HarmonyOS NEXT: A Deep Dive Into the Architecture, ArkUI, and Distributed Core
🌍 Dev.to

Demystifying HarmonyOS NEXT: A Deep Dive Into the Architecture, ArkUI, and Distributed Core

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 HarmonyOS NEXT introduces a third path. Often referred to as “Pure HarmonyOS,” this iteration completely drops AOSP (Android Open Source Project) compatibility. It is a microkernel-based, distributed op...
🌍 Dev.to

Open-source tool: Simple example of syntax conversion for batch SQL code: 'ORACLE START WITH CONNECT' syntax conversion

Background : In migration projects involving different databases, incompatibility of SQL syntax is often encountered. Question : If there is a large amount of code that needs to be rewritten, manual processing would be time-consuming and prone to errors. Is it possible to achieve automatic conversion of code syntax in large quantities through tools? Solution : The open-source tool ZGLanguage can be utilized to perform automated conversion of SQL code in large batches. For ...
Stop changing your sprite sheet to fix animation speed
🌍 Dev.to

Stop changing your sprite sheet to fix animation speed

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 FrameSprite, a browser workspace for game assets. This is a timing and export note, not a claim that a particular frame count makes AI animation reliable. The equations work with hand-drawn sprites...
🌍 Dev.to

The AI reviewer found a real bug. Its suggested fix would have broken my app.

TL;DR — I put an AI code reviewer on a pull request written by an AI coding agent. On the default setting it found nothing. On the strict setting it found a real vulnerability. And the patch it offered would have quietly broken every negative number in the exported file. I ship small browser tools written by Claude Code, and I am not a good enough reviewer to catch a security bug in code I did not write. That is the awkward kind of gap: the code looks fine, the page works, the tests pass....
Unsloth Desktop brings Local AI to the masses
🌍 Dev.to

Unsloth Desktop brings Local AI to the masses

Ever since I got involved with local LLMs I wanted to share the magic with my friends. The process before involved either Ollama or llama.cpp, which are great, but the setup was difficult and a barrier to entry for most people. WHAT ARE THE BENEFITS OF LOCAL AI? Local AI isn't as powerful as cloud-based solutions, but the gap is narrowing. With local AI there are no subscription costs, token limits, or outages, since it all runs on your own hardware. It doesn't require an interne...
🌍 Dev.to

useEffect Fired Twice and It Found a Real Bug

useEffect fired twice, on mount, every single time, in development only. The API call inside it — a POST that created a resource — ran twice, and for about a day we had duplicate records showing up in a table that should have had exactly one insert per page load. The first reaction, and why it was wrong The instinct is to assume a bug — a rerender loop, a missing dependency, something actually broken. React 18's Strict Mode, in development, deliberately mounts, unmounts, and rem...
🌍 Dev.to

Agent 安全攻击面分析:风险图谱与防御实践

Agent 安全攻击面分析:风险图谱与防御实践 随着 LLM Agent 从实验室走向生产环境,其安全问题已经从"理论担忧"变成了"现实风险"。2026年,多起 Agent 系统被攻击或滥用的案例表明: Agent 的能力越强,攻击面越大 。本文系统梳理当前 Agent 系统的核心攻击面,提供可操作的防御建议。 一、为什么 Agent 系统攻击面比普通 LLM 大得多? 传统 LLM 的交互模式是"输入 → 输出",攻击面相对集中(Prompt 注入、Jailbreak 等)。但 Agent 系统引入了几个新维度: 多步推理与工具调用 :Agent 需要调用外部工具(搜索、代码执行、API),每一步都是潜在的攻击入口 长期记忆与状态管理 :Agent 持有对话历史、用户偏好、甚至业务上下文,泄露风险成倍增加 多 Agent 协作 :多个 Agent 共享知识库、互相调用——一个 Agent 被攻破可能波及整个系统 自主行动能力 :Agent 在授权范围内自主执行操作,攻击成功的破坏力更大 用一...
HackerNews

Fermat's Last Theorem in Lean 4

Article URL: https://github.com/anthropics/fermats-last-theorem Comments URL: https://news.ycombinator.com/item?id=49568697 Points: 75 # Comments: 15