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

Category: Development

Sound as Pure Form: A Stack-Based Postfix Notation Language for Sound

2025-06-22
Sound as Pure Form: A Stack-Based Postfix Notation Language for Sound

SAPF is an interpreter for exploring sound as pure form. Its language is primarily functional, stack-based, and uses postfix notation similar to FORTH. It represents audio and control events using lazy, potentially infinite sequences, aiming to do for lazy sequences what APL does for arrays: provide very high-level functions with pervasive automatic mapping, scanning, and reduction operators. This allows short programs to achieve disproportionately large results. Because nearly all programmer-accessible data types are immutable, the language can easily run multiple threads without deadlock or corruption. Inspired by APL, Joy, Haskell, Piccola, Nyquist, and SuperCollider, it prioritizes concise expressiveness.

(github.com)
Development sound programming postfix notation

Publishing a Docker Container for Microsoft Edit to the GitHub Container Registry

2025-06-22
Publishing a Docker Container for Microsoft Edit to the GitHub Container Registry

The author details the process of creating and publishing a Docker image for Microsoft's new terminal text editor, Edit, to the GitHub Container Registry. Faced with a lack of official Apple Silicon builds, the author created a Docker container to run the aarch64-linux-gnu version on their Mac. The post walks through building a multi-stage Docker image to minimize size, using a GitHub Personal Access Token to push the image, and provides a simple command for anyone with an Apple Silicon Mac and Docker to run Edit.

(til.simonwillison.net)
Development

P-Hacking in Startups: Avoiding Statistical Traps

2025-06-21
P-Hacking in Startups: Avoiding Statistical Traps

The pressure to ship fast in startups often leads teams to report any result that looks like an improvement, resulting in p-hacking. This article dissects three common scenarios: multiple comparisons without correction, reframing metrics post-hoc, and running experiments until a hit is achieved. It emphasizes the importance of pre-registering hypotheses and metrics, avoiding post-hoc data dredging, using corrections for multiple comparisons, and applying appropriate thresholds for early peeking. The article advocates for celebrating definitive negative results, arguing that rigorous statistical practices accelerate learning by preventing the release of noise and building a true understanding of user behavior.

(briefer.cloud)
Development A/B testing

B Compiler in Crust: A Work in Progress

2025-06-21
B Compiler in Crust: A Work in Progress

A B programming language compiler, written in Rust with fasm as the backend, is now available! The project includes a testing utility, btest, which builds and runs tests from the ./tests/ directory, generating a matrix report across supported targets. btest allows specifying targets (-t) and individual test cases (-c), facilitating targeted testing. While still under development, the compiler successfully compiles and runs basic examples like hello_world.b.

(github.com)
Development B Language

to-userscript: Powerful CLI for Converting Browser Extensions to Standalone Userscripts

2025-06-21
to-userscript: Powerful CLI for Converting Browser Extensions to Standalone Userscripts

to-userscript is a command-line tool that transforms Chrome or Firefox extensions into standalone .user.js files runnable in any userscript manager. It handles various sources: Chrome Web Store, Firefox Add-ons, local directories, and archive files. It cleverly replaces common WebExtension APIs, embeds CSS, images, and other resources, and emulates background scripts and internationalization. Installation is straightforward via npm, pnpm, or bun.

(github.com)
Development userscript

The Death of the IDE? Rise of the AI Coding Agent

2025-06-21
The Death of the IDE? Rise of the AI Coding Agent

This article explores the rise of AI coding agents like Claude Code, Codex, and Amp, and how they're reshaping software development. The author argues that terminal-based "vibe coding" is replacing traditional IDEs, with engineers producing high-quality code at an astonishing rate. This shift brings increased productivity but also raises concerns about job displacement and performance evaluations. The article also looks ahead at AI's impact on broader knowledge work and society, predicting massive changes in the coming years.

(sourcegraph.com)
Development

Serverless QUIC Proxy via NAT Hole Punching with AWS Lambda

2025-06-21
Serverless QUIC Proxy via NAT Hole Punching with AWS Lambda

This project implements a serverless QUIC proxy using AWS Lambda functions and NAT hole punching. Leveraging S3 for coordination and UDP traversal techniques, it creates encrypted proxy connections without needing dedicated servers – only on-demand Lambda functions. The system uses a three-phase approach: coordination (client discovers public IP via STUN, writes session info to S3), NAT hole punching (client and Lambda exchange UDP packets to create bidirectional holes), and QUIC tunnel establishment (client starts QUIC server, Lambda connects). The result is a browser connecting to the internet via a SOCKS5 proxy, with the Lambda function acting as an exit node forwarding traffic.

(github.com)
Development NAT hole punching

Interactive Video Textbook on Bijective Combinatorics: ABjC

2025-06-21

ABjC is a four-part video textbook on bijective combinatorics, each part corresponding to a course taught at IMSc. Presented as videos with an interactive website for easy navigation, ABjC allows users to pinpoint specific sections and timestamps. It covers enumerative, algebraic, and bijective combinatorics, featuring new results and novel presentations of classic theory. Suitable for undergraduates, graduates, and researchers, the textbook includes sections catering to different skill levels.

(www.viennot.org)
Development video textbook

Cosmoe: A BeOS UI Library Needs Stability and Compatibility Improvements

2025-06-21

Cosmoe, a BeOS UI library built on Wayland, needs further improvement in stability and compatibility despite significant progress in integrating BeOS class libraries with Wayland. Crashes and incorrect behavior remain, hampered by Wayland's complexities. Cosmoe currently implements about 95% of the BeOS API, but crucial features like "offscreen" BBitmaps for accelerated drawing and BFilePanel (Open/Save dialogs) are still missing. Some file-related classes are only partially implemented. Additionally, Wayland's security restrictions prevent certain window actions, like positioning and centering. Refer to the Cosmoe repository's TODO file for more details.

(cosmoe.org)
Development

Mastering TestFlight: A Guide to Beta App Testing

2025-06-21
Mastering TestFlight: A Guide to Beta App Testing

Want to experience the latest apps before anyone else? TestFlight is your key! This guide covers installing, testing, and updating beta apps across iOS, iPadOS, macOS, tvOS, and visionOS. Join via email or public link invitations to install on up to 30 devices. Note that in-app purchases during beta testing don't transfer to the App Store version, and beta builds expire after 90 days. TestFlight also supports automatic updates and testing previous builds for streamlined collaboration between developers and testers.

(testflight.apple.com)
Development

Delta Chat: A Decentralized and Secure Messenger

2025-06-21
Delta Chat: A Decentralized and Secure Messenger

Delta Chat is a decentralized and secure messaging app offering reliable instant messaging with multi-profile and multi-device support. Users can connect to secure fast chatmail servers or utilize classic email servers. Interactive web apps within chats enable gaming and collaboration. Audited end-to-end encryption protects against network and server attacks. Built on open-source principles and internet standards, Delta Chat avoids the pitfalls of centralized platforms.

(delta.chat)
Development secure messaging instant messaging

Go Parser Security Risks: Exploiting Unexpected Behaviors in JSON, XML, and YAML

2025-06-21
Go Parser Security Risks: Exploiting Unexpected Behaviors in JSON, XML, and YAML

Go's JSON, XML, and YAML parsers present security risks, allowing attackers to exploit unexpected behaviors to bypass authentication, circumvent authorization, and exfiltrate sensitive data. The post details three attack scenarios: (1) (Un)marshaling unexpected data: exposing data developers intended to be private; (2) Parser differentials: discrepancies between parsers enabling bypasses; and (3) Data format confusion: exploiting cross-format payload handling. Mitigations include using `DisallowUnknownFields` and custom functions to compensate for vulnerabilities in Go's standard library. The authors provide Semgrep rules to help detect vulnerable patterns.

(blog.trailofbits.com)
Development Go security

Augmented Vertex Block Descent: A Breakthrough in Real-time Physics Simulation

2025-06-21

Researchers have developed Augmented Vertex Block Descent (AVBD), a novel physics simulation method that is unconditionally stable, highly parallelizable, and boasts significantly improved convergence and handling of complex constraints. AVBD efficiently handles complex scenarios such as rigid body stacking, friction, joint constraints, and rigid-soft body interactions. A GPU implementation achieves real-time performance, maintaining stability even with millions of objects interacting through collisions. Compared to state-of-the-art alternatives, AVBD demonstrates superior performance, convergence, and stability, with a 2D online demo available.

(graphics.cs.utah.edu)
Development physics simulation

Chromium Build System Migrating to Siso

2025-06-21

The Chrome Build Infra Team announces that Chromium's build system is switching from Ninja to Siso, a drop-in replacement for Ninja that natively supports remote execution. External developers simply need to continue using autoninja; it will automatically use Siso after running `gn clean` next time. If issues arise, revert to Ninja by setting `use_siso=false` in your `args.gn`. Ninja support ends in late September, along with the removal of Reclient.

(groups.google.com)
Development

Parisian Panic: A Cascade Delete Disaster in Production

2025-06-21
Parisian Panic: A Cascade Delete Disaster in Production

A software engineer working at Joe AI, a Paris-based real estate startup, accidentally deleted a user record in the production database, triggering a cascade delete that wiped out three months of crucial data. While some data was recovered by upgrading to a paid Supabase plan, the incident highlighted the risks of directly manipulating production databases and the critical need for robust backup strategies. The disaster ultimately spurred the team to improve their development workflow, setting up local Supabase instances, leading to increased efficiency. The experience underscores the importance of learning from mistakes and embracing a culture of risk-taking and iterative improvement.

(vince.beehiiv.com)
Development database incident cascade delete production environment

Learn Galois Fields for Great Good! (Part 00)

2025-06-21

This series provides a gentle introduction to Abstract Algebra, focusing on Galois Fields (finite fields) and their applications in computer science. The author addresses the lack of accessible resources for computer scientists, offering a step-by-step approach with practical Rust code examples. Topics covered will include Reed-Solomon codes, AES encryption, and more. The focus is on understandability, not optimization, making it ideal for those new to the subject.

(xorvoid.com)
Development Abstract Algebra Galois Fields

AtomicOS: A Security-First Educational OS

2025-06-21
AtomicOS: A Security-First Educational OS

AtomicOS is an educational operating system built from scratch, prioritizing security over performance. It utilizes a deterministic programming language, Tempo, and implements real memory protection, cryptography (AES-128, SHA-256), and a full MMU. While currently lacking features like a network stack, file system, and drivers, its security-focused design and implementation are noteworthy. The project is open-source but requires attribution and disclosure of modifications.

(github.com)
Development

arXivLabs: Community Collaboration on arXiv Features

2025-06-20
arXivLabs: Community Collaboration on arXiv Features

arXivLabs is a new collaborative framework enabling developers to build and share new arXiv features directly on the arXiv website. Individuals and organizations involved share arXiv's values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners who adhere to them. Have an idea to enhance the arXiv community? Learn more about arXivLabs!

(arxiv.org)
Development

LLMs Exacerbate the Underutilization of Libraries

2025-06-20

Libraries are underutilized, due to factors like the enjoyment of coding over reading documentation, the Dunning-Kruger effect underestimating library complexity, and internal projects competing with libraries. LLMs worsen this. While 'vibe coding' with LLMs is fun and efficient, the output often pales in comparison to battle-tested libraries. LLM-generated code is susceptible to prompt engineering limitations, whereas library creators possess deeper problem understanding and can leverage LLMs to generate higher-quality code. Ironically, excessive reliance on LLMs for code generation can be perceived as innovation, creating perverse incentives and further exacerbating the problem. For complex tasks, prioritizing established libraries over direct LLM usage is crucial.

(makefizz.buzz)
Development Libraries

Proving Memoization Correctness in Lean: A Case Study

2025-06-20
Proving Memoization Correctness in Lean: A Case Study

This blog post demonstrates how to solve a dynamic programming problem using memoization in the Lean theorem prover and formally verify its correctness. The author tackles the Bytelandian Gold Coins problem, initially presenting a memoized solution using a HashMap. The difficulty of directly proving its correctness is highlighted due to challenges in reasoning about data structure invariants. The solution leverages subtypes and dependent pairs to create a `PropMap`, a memoization table that stores not only computed values but also proofs of their correctness. The algorithm's correctness is then proven incrementally within the recursive implementation itself, culminating in a trivial top-level proof. This approach elegantly intertwines code and proof, showcasing a powerful technique for formally verifying dynamic programming algorithms.

(tannerduve.github.io)
Development dynamic programming

arXivLabs: Experimenting with Community Collaboration

2025-06-20
arXivLabs: Experimenting with Community Collaboration

arXivLabs is a framework enabling collaborators to develop and share new arXiv features directly on our website. Individuals and organizations working with arXivLabs embrace our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners who share them. Have an idea for a project that will benefit the arXiv community? Learn more about arXivLabs.

(arxiv.org)
Development

YouTube's New Anti-Adblock Technique: Fake Buffering and How to Bypass It

2025-06-20

YouTube has rolled out another round of anti-adblock measures, one of which is "fake buffering." Videos experience artificially long buffering at the start, proportional to the ad duration. This is because YouTube's InnerTube API, when adblocking is detected, returns video streams from GVS (Google Video Services) with delays. The author found a solution by modifying a uBlock Origin filter to add `isInlinePlaybackNoAd: true` to the JSON request. However, YouTube implemented a locker script, necessitating a workaround by hooking Object.assign.

(iter.ca)
Development adblocking

HashiCorp Deprecates HCP Vault Secrets

2025-06-20
HashiCorp Deprecates HCP Vault Secrets

HashiCorp announced the decommissioning of its HCP Vault Secrets service, effective August 27, 2025, for pay-as-you-go customers. The company will integrate the usability improvements from HCP Vault Secrets into HCP Vault Dedicated. Existing users are encouraged to migrate to HCP Vault Dedicated or Vault Community. Sales end June 30, 2025; existing customers can add new applications until end-of-life. Flex contract customers are unaffected.

(support.hashicorp.com)
Development

Nxtscape: The Open-Source Agentic Browser – Your AI-Powered Productivity Sidekick

2025-06-20
Nxtscape: The Open-Source Agentic Browser – Your AI-Powered Productivity Sidekick

Nxtscape, an open-source browser built on Chromium, offers a privacy-first alternative to closed-source options. It allows users to run agents like Manus locally, boosting productivity with an AI assistant. Unlike Chrome, Nxtscape keeps AI functionality local, prioritizing user privacy. Its vision is to reinvent the browser experience, tackling issues like tab overload and cumbersome form filling. Future features include an MCP store and a built-in AI ad blocker. The project is open-source and community-driven, encouraging user participation.

(github.com)
Development Open-Source Browser

Escape the Data Science Production Nightmare: A Pythonic Solution with Marimo and Bauplan

2025-06-20
Escape the Data Science Production Nightmare: A Pythonic Solution with Marimo and Bauplan

Getting machine learning models from prototype to production remains a significant hurdle for data scientists. Traditional approaches rely on fragile Jupyter Notebooks or expensive, time-consuming DevOps handoffs. This article introduces Marimo and Bauplan, a Pythonic tool combination that provides a seamless transition from prototype to production by keeping the entire workflow within the Python ecosystem. Marimo is a modern open-source notebook that combines the flexibility of Jupyter with the maintainability of scripts, while Bauplan is a cloud data platform supporting Pythonic workflows with built-in data versioning and declarative environments. With these tools, data scientists can directly deploy code from their notebooks to production without complex refactoring or cross-team collaboration, dramatically simplifying the production process and increasing efficiency.

(www.bauplanlabs.com)
Development

Minimal Automatic Differentiation Engine in Rust

2025-06-20
Minimal Automatic Differentiation Engine in Rust

This is a minimal automatic differentiation engine written in Rust. It can train a tiny Multi-Layer Perceptron to learn the XOR function and render a computation graph of a single Perceptron to graph.html. The core is the Scalar struct, storing value, optional gradient, and an Edge describing the operation that produced it. Operator overloads and helper functions build a directed acyclic graph, caching the local derivative for every edge. `backward()` recursively propagates gradients from the output node, accumulating them into leaf nodes created with `Scalar::new_grad`. The graph can be visualized with `plot::dump_graph`.

(github.com)
Development Automatic Differentiation

Klong: A Concise Array Language

2025-06-20

Klong is a concise array language similar to K, but without the ambiguity. It uses mathematical notation for programming, which might seem simplistic to those familiar with K or APL, while posing a challenge to newcomers. Comprehensive documentation is available, including a reference manual, introductory guide, quick reference, and a comparison of Klong and K. Written in pure ANSI C, it's easy to compile and install, and a vectorized version called KlongPy is also available.

(t3x.org)
Development

Phoenix.new: An Elixir-based Online Coding Agent Revolutionizing Real-time App Development

2025-06-20
Phoenix.new: An Elixir-based Online Coding Agent Revolutionizing Real-time App Development

Chris McCord, creator of the Phoenix framework, unveils Phoenix.new, an Elixir-based online coding agent. Running in an isolated VM with root shell access, the agent can install packages, run programs, and interact with applications. Integrated with a browser for front-end testing and interaction, Phoenix.new automates deployment, integrates with Github, and drastically simplifies the development workflow. It can even generate applications based on database schemas. McCord suggests this represents a massive shift in development, with future development likely relying more on agents working in CI environments.

(fly.io)
Development

cursor: AI-Powered PostgreSQL Database Explorer

2025-06-20
cursor: AI-Powered PostgreSQL Database Explorer

cursor is a local desktop app that uses AI to explore your PostgreSQL database in seconds. It generates schema-aware queries instantly, supports any PostgreSQL database, and lets you use your own OpenAI key. While pre-built binaries are coming soon, users currently need to build it from source.

(github.com)
Development Database Exploration
1 2 … 44 45 46 48 50 51 52 … 203 204