The Bend language is being pitched as a solution for AI coding, but its creator missed the current standard in formal verification by not researching existing solutions. Vibe-coding led to unnecessary complexity and verbosity in Bend's design.
A study evaluates a lightweight coding harness for autonomous coding agents, varying planning, action space, and context management across four models on two benchmarks. The findings highlight the importance of context management and suggest strategies for harness design.
A developer found that ZCode, an AI coding desktop app from Z.ai, silently uploads a user's entire workspace to Aliyun OSS when logged in. The uploaded data includes .git history and other sensitive information without the user's consent.
The tech industry promotes passkeys as a secure login solution, but they pose risks for individuals due to permanent account lockout and device loss. Passkeys offer better security against phishing attacks, but their limitations make them unsuitable for personal use.
A local model can read probabilities or write distribution tokens, with MiniCPM5 2B being the default desktop size. The model's weights are quantized and inputs remain in the browser cache.
A C++ benchmark measured the performance impact of subnormal floating-point numbers on Intel processors, finding multiplications to be 45-50 times slower and divisions 18 times slower. However, AMD and ARM processors handle subnormals at full speed.
This release includes over 160 commits focusing on technical debt cleaning, bug fixes, and performance improvements. It also introduces new features such as pinned memory tracking and OS abstraction layer.
The author discusses FuzzyGraph, a visualization tool that shows equations in a non-binary mode, revealing previously invisible mathematical shadows and errors. This allows for better understanding of the underlying topography of equations.
Please enable JS and disable any ad blocker
0
2026-09-18 12:02:06 UTC
ycombinator.com
Llama
Cekura is hiring a Forward Deployed Engineer to work with customers and help them get value from their self-improving conversational agents. The role involves embedding with customers, automating product insights, driving product direction, and building the FDE org.
Microsoft and OpenAI allegedly trained AI models on copyrighted content without permission, bypassing paywalls and stripping copyright notices. The companies' actions pose an "existential threat" to publishers and journalists whose work was used to train the models.
A required part of this site couldn’t load. This may be due to a browser extension, network issues, or browser settings. Please check your connection, disable any ad blockers, or try using a different browser.
Delta is a public beta for a multiplayer coding environment that allows collaboration without committing and pushing code. It offers continuous engineering, where the idea, implementation, review, and landing of changes can happen in the same place.
The x86 Total Store Ordering (TSO) memory model poses significant challenges for emulating on ARM-based systems, with issues including alignment faults, unaligned atomic operations, and poor performance due to write-combined memory. Despite progress in addressing these problems through extensions like FEAT_LRCPC1/2/3 and hardware support for coherent cachelines, edge-cases remain unresolved, ...
The Ternary Bonsai 2 27B model is released, offering a more capable and energy-efficient version of the previous Bonsai 27B model. It retains 98.2% of aggregate benchmark performance while being nearly 9x smaller in memory footprint.
OpenAI introduces Astra for Law, a foundation for law firms and legal technology companies to build AI products around their expertise. It combines GPT-6 with settings and tools tailored for professional legal work.
The Vortex animation was created using assembly code for a 386 processor, with optimizations made to reduce its size to under 1KB. The animation consists of two parts: PALETTE.COM and PARTICLE.COM, which were both rewritten in assembly code from their original JavaScript versions, resulting in significant size reductions while maintaining the same visual effect.
The Bend system uses laws and proofs to ensure AI agents implement human intents correctly, verifying code changes in real-time. With LAWS.bend, developers can declare rules that AIs must follow, preventing bugs from being shipped into production.
Qwen Studio offers comprehensive functionality spanning chatbot, image and video understanding, image generation, document processing, web search integration, tool utilization, and artifacts.
Hister is a private search engine that indexes web pages and local files for personal use. It allows searching from various interfaces, including the browser, terminal, and AI assistants, without relying on third-party providers or cloud services.
The author implemented a Voronoi-diagram shader for a music video project and encountered a stuttering issue on one computer, which they debugged over the course of a week. They discovered that changing a single literal float value in the shader code fixed the issue, suggesting an optimization error.
A wax motor is a device that converts thermal energy into mechanical energy using phase-change waxes, providing smooth and gentle operation. Wax motors are used in various applications such as aerospace, washing machines, and hydronic heating systems due to their reliability and cost advantages.
We're verifying your browser Website owner? Click here to fix
The article discusses the mystery language that influenced Ancient Greek, known as Pre-Greek. This language is thought to have been spoken in the Aegean region prior to the arrival of Indo-European speakers and has left a significant impact on the vocabulary of Ancient Greek. The authors analyze various linguistic features, including suffixes and prefixes, to identify potential loanwords from ...
A writer shares two rules to use Large Language Models (LLMs) effectively, avoiding "LLM-creep" that can make writing sound unnatural. By using LLMs as a copyeditor rather than a ghostwriter and following these rules, writers can improve their work without losing their unique voice.
Hacktron discovered two critical vulnerabilities in OpenAI's services, including a remote code execution (RCE) exploit that allowed them to access internal repositories and employee accounts. The vulnerability was patched within 72 hours of reporting.
Dr Julius G. Neubronner invented the first wearable camera for pigeons in 1907, capturing aerial photos of up to 60 miles away. His invention was initially met with skepticism but gained international notability after he presented it at expositions and used it to create unique postcards.
The ShapeLearn models have been benchmarked and found to outperform the original Lite set, with GPU-5 being the default recommendation for its high aggregate score. The smaller model, ShapeLearn-Lite, also performed well despite its lower KLD ranking.
A Telstra mobile network in Australia experienced a failure due to a single GPS receiver incorrectly believing the year was 2006, causing time-related issues with voice calls and other services. The incident highlights the importance of precise timekeeping in modern cell phone protocols.
Ask anonymously. A stranger—not AI—will answer, because some things are easier to tell someone who doesn't know you.