News Nug
Show HN: I built an offline, open‑source desktop Pixel Art Editor in Python

Published: 2025-08-11 | Origin: Hacker News

Tilf (Tiny Elf) is a pixel art editor created with PySide6, designed for making sprites, icons, and small 2D assets. It features essential tools, live preview, undo/redo, and export options, and is available for Windows, MacOS, and GNU/Linux. The creator aims to minimize setup time and dependencies, allowing users to start drawing immediately without account requirements. While the code quality is acknowledged to be subpar, suggestions for improvements and contributions are welcome, as

GitHub CEO Thomas Dohmke to step down

Published: 2025-08-11 | Origin: /r/programming

The content provides an overview of resources and insights related to artificial intelligence (AI) and machine learning (ML) within the GitHub ecosystem and the broader tech industry. Key topics include: - **Generative AI**: Guidance on building with generative AI and leveraging GitHub Copilot to enhance workflow. - **Large Language Models (LLMs)**: Essential knowledge for developers regarding LLMs. - **Machine Learning Best Practices**: Tips, tricks, and best practices for effectively using machine learning

Wikipedia loses challenge against Online Safety Act

Published: 2025-08-11 | Origin: Hacker News

Wikipedia has lost a legal challenge against new regulations under the UK's Online Safety Act, which the Wikimedia Foundation argues could jeopardize the safety and human rights of its volunteer editors. The foundation sought a judicial review to contest rules that would require the platform to verify user identities, which they believe could compromise privacy. While the court upheld the government's stance, it noted that Ofcom and the UK government have a responsibility to protect Wikipedia. The government's lawyers claimed they reasonably decided against exempting Wikipedia from these regulations. The

GitHub is no longer independent at Microsoft after CEO resignation

Published: 2025-08-11 | Origin: Hacker News

GitHub CEO Thomas Dohmke has resigned after nearly four years in the role, opting to return to startup founding. Following his departure, GitHub will integrate more closely with Microsoft's CoreAI team, led by Jay Parikh, and will no longer have a designated CEO as the leadership team reports directly to CoreAI. Dohmke will assist in the transition until the end of 2025. This shift represents a significant organizational change since GitHub's acquisition by Microsoft in 2018, and

I tried every todo app and ended up with a .txt file

Published: 2025-08-11 | Origin: Hacker News

Alireza Bashiri reflects on his journey through various productivity apps, including Notion, Todoist, and Trello, ultimately returning to a simple plain text file called todo.txt for task management. He shares that after experimenting with complex systems and spending time setting them up, he often found himself more overwhelmed than organized. Bashiri highlights the pitfalls of many apps, such as costly subscriptions and the distraction of gamifying tasks rather than completing them. His experience resonates with Jeff Huang’s long-term use of

How to not build the Torment Nexus

Published: 2025-08-11 | Origin: /r/programming

The content addresses a dilemma posed by Will Hopkins regarding ethical considerations in a job that relies on creating a "Torment Nexus." The author emphasizes that if one wishes to reduce suffering, they should not participate in building the Nexus. The piece critiques the notion of seeking absolution for personal choices, highlighting that financial stability shouldn’t compromise one’s ethics. Instead of looking for forgiveness, the focus should be on the ethical direction of the tech industry, which has shifted from progress and innovation to causing harm. The

LLMs aren't world models

Published: 2025-08-11 | Origin: /r/programming

The author asserts that language models (LLMs) do not possess a true understanding of the world, specifically using a chess example to illustrate their point. While a friend who is skilled in chess believes an LLM can perform at his level, the author tests this claim by playing against the LLM and finds that it fails to track the state of the chessboard after several moves. The author clarifies that their claim does not suggest LLMs lack exposure to chess or physical representations of the game,

I built my blog with C preprocessor macros

Published: 2025-08-11 | Origin: /r/programming

The author discusses their unconventional approach to running a tech blog using C preprocessor macros instead of traditional methods like Jekyll. Frustrated by frequent issues with their Ruby installation, they sought a simpler solution for adding headers and footers to their blog posts. Being a C++ developer, they decided to apply their knowledge of the C preprocessor, despite its intended use for C source code, which posed some challenges, such as dealing with conflicting predefined macros. They found a way to manage these issues

Requiem for a 10x Engineer Dream

Published: 2025-08-11 | Origin: /r/programming

The author reflects on their experiences with AI coding tools, expressing skepticism about claims of significant productivity boosts. They liken the enthusiastic discussions about these tools to teenage chatter about sex, suggesting that there's often more talk than actionable results. After experimenting with Claude Code, the author notes that many users seem to rely on simple commands like copying and pasting or basic interactions with coding assistants. They believe that AI tools could be most beneficial for automating tedious, repetitive tasks, thus potentially increasing productivity for solopren

I Built a Ballistic Missile Defense Simulator in a Browser

Published: 2025-08-11 | Origin: /r/programming

The author reflects on the complexities of understanding and intercepting Russian aerial attacks on Ukraine, particularly the challenges posed by various drones and missiles traveling at different speeds and altitudes. To bridge the gap between theoretical maps and real-world dynamics, the author developed a simulation tool called airdefense.dev. This tool employs spherical geometry, specifically the Haversine formula, for accurate calculations over long distances. The simulation runs at a fixed frame rate, avoiding overshooting bugs by capping movement distances per frame. The

Git Rebase - Explained Like You’re New to Git

Published: 2025-08-11 | Origin: /r/programming

Stackademic is an educational platform aimed at providing free coding education to programmers, developers, coders, and engineers. The content discusses the use of Git, specifically the concept of "rebase," which helps to update a branch with the latest changes from the main branch. Rebase effectively moves your commits to start from the most recent version of another branch, allowing you to integrate new changes easily while developing features or fixing bugs.

Binary search—think positive

Published: 2025-08-11 | Origin: /r/programming

The content describes a tutorial on program verification in Agda, specifically focusing on the binary search algorithm. The discussion is set in a medieval college room, led by a tutor who aims to clarify misconceptions about binary search being solely about searching ordered tables. A student, Harry, references a common understanding of the algorithm, which involves searching through a sorted sequence of keys to find a specific key by making comparisons. The tutor outlines the process of binary search, explaining that it operates in logarithmic time through a systematic

Going Faster Than Memcpy

Published: 2025-08-11 | Origin: Hacker News

The author, while profiling Shadesmar, discovered that large binary unserialized messages (over 512kB) spend a significant amount of execution time on memory copying using `memcpy`. In an attempt to improve the performance of memory copies, the author explored the `__memmove_avx_unaligned_erms` function, which uses AVX instructions to copy 32 bytes at a time, thereby enhancing efficiency. The distinction between `memcpy` and `memmove` is highlighted:

Graham: Synchronizing Clocks by Leveraging Local Clock Properties (2022) [pdf]

Published: 2025-08-11 | Origin: Hacker News

The provided text appears to be a fragment of a PDF file, containing raw binary data that doesn't convey any coherent information or meaningful content. The snippet includes special characters, symbols, and encoding that is typical of file headers rather than human-readable text. As a result, there is no summary or content to distill from this text. If you have a specific document or topic in mind, please share more details or a different section.

Making reliable distributed systems in the presence of software errors (2003) [pdf]

Published: 2025-08-11 | Origin: Hacker News

The provided content appears to be a portion of a PDF file encoded in a binary format. It begins with the header for a PDF file (specifically version 1.3) and contains a compressed data stream. The actual content is not directly readable as text because it is encoded in a manner suitable for processing by PDF readers. To summarize it meaningfully, one would need to interpret the binary data as a whole PDF document, which may contain text, images, or other graphical elements. Without additional

Vanishing from Hyundai’s data network

Published: 2025-08-11 | Origin: Hacker News

The author initially declined to let the dealer sign them up for BlueLink, intending to manage the signup independently later. They recognized that the vehicle still had a telematics unit capable of making cellular connections, prompting them to seek a way to disable this feature. One potential solution considered was to install an oscillator to produce a loud noise, thwarting any attempts to eavesdrop through the car's microphone. The author utilized non-marring plastic pry tools to assist in the process. Ultimately, after disabling cellular

I made a vector DB where you can hot-swap the index type

Published: 2025-08-11 | Origin: /r/programming

The content emphasizes the importance of user feedback and indicates that all input is carefully considered. It references documentation for additional qualifiers and describes the VectorDB system's layered architecture, which has distinct responsibilities and interfaces for communication. Additionally, it mentions the use of a custom Reader-Writer lock implementation and provides information about the system's performance in terms of average and worst-case scenarios for KD-Tree operations. There are also references to errors encountered while loading the page, suggesting a need to refresh.

Nyxt: The Emacs-like web browser

Published: 2025-08-11 | Origin: Hacker News

The content discusses the web browser Nyxt, which is designed to cater to developers with a keyboard-driven and customizable experience. Created by John Mercouris in 2017, Nyxt is not an Emacs package but a standalone browser written in Common Lisp and licensed under the BSD three-clause license. Its development prioritizes Linux and encourages user freedom through extensive customization options. The project is sponsored by Atlas, a business focusing on Common Lisp. The creator chose to build Nyxt as a separate entity

Show HN: A Sinclair ZX81 retro web assembler+simulator

Published: 2025-08-11 | Origin: Hacker News

The linked content discusses a simulator for the Sinclaude, a retro computing platform. Similar to a previous project for the Apple II that involved compiling Merlin assembly into an emulator, the Sinclaude simulator allows users to run and interact with software from that era. Additionally, the mention of the "Z-80 Reference Guide" highlights its significant impact on the author's life, suggesting it played a crucial role in their journey into computing.

Compiling a Lisp: Lambda lifting

Published: 2025-08-10 | Origin: Hacker News

The author has made progress in a tutorial about closure conversion, initially thought to involve lambda lifting. They have rewritten the implementation in Python, reducing the code from 1200 lines in C to just over 300 lines in Python, including tests. However, the Python version lacks an S-expression reader and uses text assembly instead of instruction encoding. The process of conversion involves recognizing variable bindings from "let" and "lambda" expressions using a LambdaConverter class. The tutorial focuses on managing variable metadata rather than