Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Category: Development

Mezzano OS: A Common Lisp marvel makes strides

2025-08-03
Mezzano OS: A Common Lisp marvel makes strides

Mezzano, an operating system written in Common Lisp, has released its latest demo, showcasing significant advancements. From its initial release, Mezzano has seen dramatic improvements in stability, performance, and features, including support for EXT2/3/4 filesystems, a USB stack, hardware-accelerated 3D via Virgl, and multicore support. While running on arbitrary hardware still requires user intervention, the project demonstrates impressive innovation within the Common Lisp community.

(github.com)
Development

New HTML Canvas APIs for Rendering HTML Content

2025-08-03
New HTML Canvas APIs for Rendering HTML Content

A new proposal introduces APIs to render HTML content within the HTML Canvas 2D and WebGL contexts. This addresses existing limitations in Canvas for handling complex layouts, accessibility, internationalization, and performance. New APIs, including `layoutsubtree`, `drawElement`, `texElement2D`, and `setHitTestRegions`, allow developers to render HTML elements and their subtrees into the canvas and handle hit testing. The proposal is currently under development and a developer trial is available.

(github.com)
Development HTML rendering

Formalizing Fermat's Last Theorem in Lean: An Open Source Project

2025-08-03
Formalizing Fermat's Last Theorem in Lean: An Open Source Project

An ambitious open-source project aims to formally prove Fermat's Last Theorem using the Lean theorem prover. Led by Kevin Buzzard and funded by the EPSRC, hosted at Imperial College London, the project employs a modern variant of the original Wiles/Taylor-Wiles proof, planned in collaboration with Richard Taylor. The project website provides details on Fermat's Last Theorem, the Lean prover, project goals, and contribution guidelines.

(github.com)
Development

PixiEditor 2.0: A Universal 2D Editor, Free and Open Source

2025-08-03
PixiEditor 2.0: A Universal 2D Editor, Free and Open Source

PixiEditor 2.0 transcends its pixel-art roots, evolving into a powerful universal 2D editor supporting raster, vector, animation, and procedural effects. Its core is a configurable render pipeline and node graph, giving unprecedented control and enabling the creation of even 3D texturing workspaces. The software remains free and open-source, sustained by paid extensions and asset packs. Version 2.0 introduces frame-by-frame animation, vector editing tools, and various workspaces like a card builder and 3D cube texturing tool, along with multiple palettes. While hardware requirements are slightly higher, the developers are committed to improving support for a wider range of configurations.

(pixieditor.net)
Development 2D Editor

Seed7: An Extensible General-Purpose Programming Language

2025-08-03

Seed7 is a general-purpose programming language designed by Thomas Mertes, surpassing Ada, C/C++, and Java in its high-level features. It supports user-defined statements and operators, treats types as first-class citizens, and offers elegant template and generic definitions. Combining concepts from Pascal, Ada, C, C++, and Java, Seed7 boasts object-oriented features, interfaces, multiple dispatch, static type checking, automatic memory management (without garbage collection), exception handling, and source code debugging. It provides big integer and rational number types, function/operator overloading, and a rich set of predefined types (arrays, hash tables, sets, etc.). Seed7 programs are highly portable, and it offers a database-independent API supporting various databases. Seed7 runs on Linux, Unix, and Windows; its interpreter and examples are GPL-licensed, while the runtime library uses the LGPL license.

(seed7.net)
Development

Generating UML Diagrams at Compile Time with C++26 Reflections

2025-08-03

This article demonstrates how to leverage the new reflection features in C++26 to generate PlantUML class diagrams at compile time. The author cleverly combines `std::meta::info`, the `lift` and `splice` operators, and `std::define_static_string` to automatically extract class information from the code and generate a UML diagram. The process also discusses the use of `std::meta::access_context` and how to handle different types of reflection information, ultimately outputting the generated UML code at runtime. This showcases the power of C++26 reflections, offering new possibilities for code analysis and visualization.

(www.reachablecode.com)
Development Reflections

IOCCC 28: 23 Mind-Bending Winners!

2025-08-03

After a four-year hiatus, the 28th International Obfuscated C Code Contest (IOCCC) is back with a bang! This year saw a record-breaking number of high-quality submissions, resulting in 23 winners—a new record. The winning entries showcased incredible creativity, including a tiny LLM inference engine, a quirky UTF-8 editor, and even a program emulating the Intel 4004 processor. The contest highlighted the remarkable skill of C programmers in the art of code obfuscation.

(www.ioccc.org)
Development

Compressing Icelandic Name Declension into a 3.27kB Trie

2025-08-02
Compressing Icelandic Name Declension into a 3.27kB Trie

Displaying Icelandic names in UIs is tricky due to declension. This article details a JavaScript library that solves this by using a trie data structure. The trie is built from public Icelandic name data and cleverly compressed to under 4.5kB gzipped. The author explains the process, from data acquisition and preprocessing to trie construction and compression techniques like merging subtrees and sibling leaves. Testing reveals high accuracy even for unseen names. The final result is a remarkably compact 3.27kB trie, showcasing efficient data representation and algorithmic optimization.

(alexharri.com)
Development Icelandic Trie

Software Internals Email Book Club: The Art of Multiprocessor Programming

2025-08-02

The Software Internals Email Book Club is starting a new book: "The Art of Multiprocessor Programming", 2nd edition (2020). Discussions will happen weekly via a Google Group, with each member taking turns starting a discussion thread. Participants should read a chapter before its discussion date and share personal insights and experiences. No video calls; communication is purely text-based via email. Sign up via the provided form.

(eatonphil.com)
Development book club software internals

Microsoft's Phased Open-Sourcing of WinUI: A Six-Month Roadmap

2025-08-02
Microsoft's Phased Open-Sourcing of WinUI: A Six-Month Roadmap

Microsoft announced a phased approach to open-sourcing WinUI, the user interface framework for Windows 11. Due to WinUI's complexity and deep integration with Windows, open-sourcing won't be a simple switch flip. Microsoft plans a four-phase rollout: Phase 1 increases GitHub mirroring frequency; Phase 2 allows external developers to build locally; Phase 3 enables external contributions and testing; and Phase 4 establishes GitHub as the primary development platform. This will be an incremental process, and Microsoft encourages developer feedback and contributions.

(www.neowin.net)
Development

The 'Source of Truth' Illusion in Product Development

2025-08-02
The 'Source of Truth' Illusion in Product Development

The common 'single source of truth' problem in product development often misses the mark. It assumes everyone wants the truth, agrees on what that truth is, and is willing to work towards coherence. This article uses the example of a team juggling initiatives, releases, launches, epics, and various allocation frameworks to illustrate the inherent complexity. Forcing standardization hinders efficiency, while embracing full complexity leads to cognitive overload. The key is finding a balance, acknowledging the nuances, and avoiding the suppression of reality to achieve better operational effectiveness. The author questions how organizational tools and systems reflect power dynamics and whose preferences dominate.

(cutlefish.substack.com)
Development source of truth

Ladybird July Update: HTTP/3, High Refresh Rate Support, and More

2025-08-02
Ladybird July Update: HTTP/3, High Refresh Rate Support, and More

The Ladybird open-source browser engine made significant strides in July, merging 319 pull requests from 47 contributors. Highlights include: HTTP/3 support, improved rendering performance on high refresh rate screens, a fix for Google reCAPTCHA compatibility, and added support for Trusted Types, improved SVG foreignObject handling, and numerous CSS enhancements such as `content: url(...)`, new pseudo-classes, and logical property groups. Internal improvements include switching to native UTF-16 strings for increased efficiency and fewer encoding-related bugs.

(ladybird.org)
Development

TraceRoot: 10x Faster Production Debugging with AI

2025-08-02
TraceRoot: 10x Faster Production Debugging with AI

TraceRoot is an open-source debugging platform that accelerates production issue resolution by 10x. It combines structured traces, logs, and source code context with AI-powered analysis. Built on a multi-agent system framework, it enables real-time tracing and logging, leverages structured data to enhance AI agent performance, and integrates with tools like GitHub and Notion. A cursor-like interface allows developers to select logs and traces for AI-assisted analysis. Deployable via cloud (free trial available) or self-hosting.

(github.com)
Development open-source debugging

Building an Unbreakable Backup Server: FreeBSD, ZFS, and Multi-layered Security

2025-08-02
Building an Unbreakable Backup Server: FreeBSD, ZFS, and Multi-layered Security

This article details building a secure and reliable backup server using FreeBSD, ZFS, and BastilleBSD. The author stresses data redundancy and multi-layered encryption, outlining backup strategies for FreeBSD ZFS servers (using zfs-autobackup), other systems (using BorgBackup), and Proxmox servers (using Proxmox Backup Server and Minio). The article delves into VPNs, network isolation, snapshots, and security hardening, aiming to help readers create a robust backup system resilient to various threats.

(it-notes.dragas.net)
Development backup server

Twentyseven 1.0.0: A 12-Year Haskell Odyssey in Rubik's Cube Solving

2025-08-02

After twelve years of development, a Haskell-based Rubik's Cube solver, Twentyseven, has reached version 1.0.0. Inspired by Herbert Kociemba's Cube Explorer, it uses Iterative Deepening A* (IDA*) search, cleverly projecting the cube state into simpler subproblems to estimate remaining moves and find optimal solutions. While optimal solutions can take hours, the author also discusses Kociemba's faster two-phase algorithm for near-instantaneous solutions. This release primarily focuses on GHC compiler compatibility and code maintenance.

(blog.poisson.chat)
Development

Say Goodbye to Tedious API Key Management: Streamlining Your API Authentication

2025-08-02

This article critiques the cumbersome process of current API key management and proposes a simpler and more efficient solution. The author demonstrates how using the `jose` library to easily generate JWK key pairs allows developers to generate their own API keys without tedious steps like account registration and email verification. The solution uses JWTs with claims and public keys for authorization and provides a payment URL-based charging mechanism, along with a key derivation method for B2B2C scenarios. This simplifies API authentication, improves development efficiency, and offers more secure key management.

(www.selfref.com)
Development API keys

AI Coding: A Spectrum of Human-AI Collaboration

2025-08-02
AI Coding: A Spectrum of Human-AI Collaboration

This article explores strategies for AI-assisted coding, describing the process as a spectrum of human-AI collaboration. From minimal AI reliance (similar to discussing problems with colleagues at another company) to maximum reliance (delegating tasks to a junior programmer), the author details different levels of interaction and stresses the importance of choosing the right strategy based on the context, balancing learning depth and efficiency.

(softwaredoug.com)
Development code collaboration

Ethersync: Multiplayer Text Editing, Locally

2025-08-02
Ethersync: Multiplayer Text Editing, Locally

Ethersync enables real-time collaborative editing of local text files without a server, offering encrypted peer-to-peer connections. It supports Linux, macOS, Android, and WSL, with plugins for Neovim and VS Code. Share files via simple command-line commands, allowing multiple users to edit simultaneously, see each other's cursors, and selections. Think of it as multiplayer mode for your text editor! The project is actively developed and welcomes contributions and bug reports.

(github.com)
Development

Undergrad Cracks a Math Conjecture: Tackling the Mizohata-Takeuchi Problem

2025-08-02
Undergrad Cracks a Math Conjecture: Tackling the Mizohata-Takeuchi Problem

Hannah Cairo, an undergraduate at UC Berkeley, unexpectedly made significant headway on a simplified version of the Mizohata-Takeuchi conjecture while taking a graduate course in Fourier restriction theory. Initially a homework problem, Cairo became captivated by it, extending the work to more complex formulations. Her advisor, Professor Ruixiang Zhang, was impressed by her passion and focus. This story highlights the potential of young scholars and the dedication to intellectual exploration.

(www.quantamagazine.org)
Development conjecture undergraduate

Clang Hardened Mode Proposal: Prioritizing Security Over Compatibility

2025-08-02
Clang Hardened Mode Proposal: Prioritizing Security Over Compatibility

The Clang team proposes a "hardened mode" to enhance the safety and security of C and C++ programs. This mode will unify existing security mechanisms, including enabling various compiler flags, predefined macros, and warnings, and adjusting diagnostic behavior to reduce false positives and prioritize security. The proposal explores several implementation approaches: a configuration file, a separate driver, and orthogonal flags, seeking community feedback on the optimal solution. This mode may break existing code, but the team believes this is a necessary trade-off for improved security, aiming for a low false positive rate.

(discourse.llvm.org)
Development

Cerebras Launches Blazing-Fast AI Coding Plans: Pro & Max

2025-08-02
Cerebras Launches Blazing-Fast AI Coding Plans: Pro & Max

Cerebras introduces two new AI coding plans: Code Pro ($50/month) and Code Max ($200/month), both powered by Alibaba's Qwen3-Coder, a leading open-weight coding model. Boasting speeds up to 2,000 tokens per second, a 131k-token context window, and no proprietary IDE lock-in or weekly limits, it offers instant code generation. Users can integrate with their preferred AI IDEs for seamless workflow. Code Pro is ideal for individual developers and smaller projects, while Code Max caters to full-time developers with high-volume needs.

(www.cerebras.ai)
Development

I Couldn't Submit a PR, So I Got Hired and Fixed It Myself

2025-08-01
I Couldn't Submit a PR, So I Got Hired and Fixed It Myself

For over a year, a race condition in Mintlify's search caused wonky results. As the founder of Trieve, the company powering their search, I tried submitting a PR to fix it but failed. Finally joining Mintlify, I added an AbortController to the debounced search function, solving the issue and making search results consistently relevant. This experience highlighted the power of open source and the satisfaction of directly fixing a persistent problem.

(www.skeptrune.com)
Development

SQLite: Building a Database for 2050

2025-08-01

The SQLite developers ambitiously plan to support SQLite until 2050. To achieve this, they've implemented cross-platform code, a stable database file format, aviation-grade testing, extensive documentation, heavily commented source code, and disaster recovery planning. Rejecting fleeting programming trends, they aim for timeless code easily understood and maintained by future programmers. Even the US Library of Congress recognizes SQLite as a recommended format for digital preservation. SQLite's long-term vision and robust design make it a reliable database choice.

(www.sqlite.org)
Development long-term support

Cancelled: A Scala Developer's Four-Year Reckoning

2025-08-01

In 2021, a prominent Scala developer was targeted by online 'mob justice', accused of sexual misconduct. Despite the false accusations, he lost his job, income, home, and friends overnight, facing financial ruin and health problems. While ultimately vindicated legally, the reputational damage remains, leaving him with psychological trauma and prolonged financial hardship, including homelessness. This account details his four-year ordeal, urging caution in public condemnation and highlighting the devastating impact of online attacks on individuals.

(pretty.direct)
Development online mob justice cancel culture reputational damage

Live Coding Interviews: A Stress Test, Not a Skill Test?

2025-08-01

This article challenges the effectiveness of live coding interviews as a measure of engineering skill. The author recounts personal experiences and cites scientific research showing that high-pressure situations impair cognitive function, specifically working memory, crucial for coding. A study revealed participants performed half as well under observation, with women completely failing in the observed condition. The author suggests mitigating stress through mock interviews and explores supplements like L-tyrosine and L-theanine to improve performance under pressure.

(hadid.dev)
Development live coding interviews stress

Privacy-Friendly Apps Leaving Google Play Store

2025-08-01

A project offering privacy-friendly Android apps since 2016 is discontinuing updates on the Google Play Store. Due to unsustainable maintenance costs, the team is moving its 30+ apps to the F-Droid store for continued support. Existing installations remain unaffected, but users are encouraged to migrate to F-Droid for future updates and to ensure continued functionality.

(secuso.aifb.kit.edu)
Development

rewindtty: A C-based Terminal Session Recorder and Replayer

2025-08-01
rewindtty: A C-based Terminal Session Recorder and Replayer

rewindtty is an open-source project written in C that precisely records and replays terminal sessions, including timing information. It offers session analysis, generating detailed statistics and optimization suggestions. Session data is stored in JSON format for easy parsing. Furthermore, it includes a browser-based player with advanced features like an interactive timeline and controls, significantly enhancing the user experience. The project is lightweight, has minimal dependencies, and is easy to use.

(github.com)
Development terminal recording session replay

Will This Linux Server Security Guide Protect You From Hackers?

2025-08-01
Will This Linux Server Security Guide Protect You From Hackers?

This comprehensive guide details how to secure your Linux server against malicious attacks. It covers everything from choosing a secure Linux distribution to configuring firewalls and intrusion detection/prevention systems (like Fail2Ban and CrowdSec), and provides Ansible playbooks to automate many security steps. The guide also touches on advanced topics like using SSH keys, two-factor authentication, and kernel sysctl hardening, while cautioning readers about the risks involved in these steps. It's a living document intended to be a comprehensive resource for Linux server security.

(github.com)
Development Server Security

Saying Goodbye to tmux: A shpool and Window Manager Based Alternative

2025-08-01
Saying Goodbye to tmux: A shpool and Window Manager Based Alternative

The author, a long-time tmux user, sought an alternative due to its complexity and annoying issues like color rendering, buffer scrolling, and mouse selection. The article explores the shortcomings of terminal multiplexers and introduces how tools like shpool, combined with window managers (such as ghostty or sway), achieve session persistence and window management, ultimately replacing tmux. While shpool isn't perfect and has minor issues, the author finds its native scrollback, terminal notifications, and titles to be significant advantages. Detailed configuration instructions are provided.

(bower.sh)
Development tmux alternative session persistence

AI Coding: The Coming Flood of Cheap, Low-Quality Software

2025-08-01

The author argues that AI's impact on programming will mirror fast fashion's effect on the clothing industry: a flood of cheap, low-quality products and excessive waste. While acknowledging AI's usefulness in prototyping and debugging, the author highlights the inherent flaws in LLM-generated code, including lack of optimization, security vulnerabilities, and inability to handle complexity. This will lead to a market saturated with low-quality software, comparable to the environmental problems caused by fast fashion. The author calls for standardized code quality metrics and professional certifications to mitigate the potential disaster, emphasizing that despite AI assistance, developers remain ultimately accountable.

(pdelboca.me)
Development
1 2 … 31 32 33 35 37 38 39 … 214 215