An explorable 3D city that shows how PostgreSQL actually works — backends, shared buffers, WAL, checkpoints, autovacuum and replication, all running live in your browser.
this is a simplified viz · for science-grade rendering → Synchray.jl
Decker is a multimedia platform for creating interactive documents with sound, images, and scripted behavior, available for web browsers and various operating systems. It features a simple and intuitive interface, a scripting language named Lil, and supports sharing and collaboration through web pages and source control tools.
You don't have permission to access the page you requested. The website you are visiting is protected.For security reasons this page cannot be displayed.
A US federal case is raising questions about GrapheneOS, a privacy-focused mobile operating system, after prosecutors accused its user of destroying evidence. The case centers on whether the operating system's features, designed to protect user privacy, can be considered a crime.
The user discusses the benefits and challenges of dependently-typed languages like Lean, which can encode and enforce complex invariants, but require significant proof effort. They explore the potential of combining Lean with large language models (LLMs) to automate proof generation and make dependent types more practical for quotidian software engineering.
scriptc compiles ordinary TypeScript into small, fast native executables without Node or JavaScript engine, allowing for type-checked and statically compiled code with native performance. The tool supports a wide range of TypeScript features, including generics, async/await, and classes, and provides differential testing and memory-safety checks to ensure correctness and security.
These are the most common typefaces in the database, but there are many more. Try a search!
The author taught middle and high school students programming using the stack-oriented language Forth, despite its uncommon use, to give them a unique learning experience. The students created their own art in the Forth environment, demonstrating their understanding of the language.
Four levels of pickle-collecting excitement. Squish client-side JS down to size, avoid slop and, if you have the skills, defeat Warren to unlock the htmx 4.0 source code! Quality is guaranteed. If there is a print error or visible quality issue, we'll replace or refund it. Because the products are made to order, we do not accept general returns or sizing-related returns.
# Convert local audio files (mp3, ogg, m4a, aac) ./convert_cassette_*.sh # Record a live web stream into segment files ./record_stream_cassette_*.sh [STREAM_URL]
Compromise is a necessary part of decision making and design, where you prioritize one thing over another to achieve a balance between competing desires. Making difficult choices and being opinionated about tradeoffs is what defines good design and makes products exceptional.
This project provides a lightweight, self-hosted CCTV solution for Linux-based devices and standard USB webcams, offering an affordable and privacy-focused alternative for home monitoring. It stores video data locally, eliminating the need for third-party cloud subscriptions and ensuring data remains under user control.
Rewriting Tree-sitter's C core in Rust using AI-assisted code generation led to a faster parser, but the initial implementation had issues with explainability and performance. Through a series of optimizations and refactoring, the team was able to improve the parser's performance, reduce memory usage, and make the code more maintainable, ultimately achieving a 22% faster end-to-end ...
Researchers in Germany are melting satellite chunks in high-temperature plasma wind tunnels to study space debris reentry. Their tests reveal concerns about ozone depletion and atmospheric changes due to incinerated satellite ash.
The author discusses the beauty and complexity of English prose, particularly in the 17th century, and argues that the current trend of simplicity and minimalism has led to a decline in writing quality. He offers 12 rules for writers, emphasizing the importance of using precise and evocative language, avoiding clichés and over-simplification, and cultivating a sense of elegance and verbal cleverness.
The Go analysis package provides a modular static analysis framework that allows developers to define and reuse analysis functions, known as checkers, which can be easily selected and incorporated into various driver programs. The framework includes a common interface, Analyzer, which describes an analysis function, and a Pass type that provides information to the analysis function and allows ...
John Backus explored functional programming languages from 1969 to 1991, aiming to simplify programming. He developed the Red language, which featured a family of expression-oriented languages with simple rewrite rules.
The token economy has become a breeding ground for abuse, with a complex ecosystem of relays, account pools, and merchants that enable cheap tokens and model distillation, resulting in millions of dollars in losses for companies. To combat this, companies can raise the cost of entry, monitor for suspicious behavior, and throttle attackers quietly, but ultimately, fraud is a constant ...
User built a streamer that resembles a vinyl sleeve, using a 17" industrial LCD and Radxa CM3 single-board computer. The device displays high-resolution artwork from AirPlay streams and can be powered via USB-C PD, consuming less than 2 watts when off.
The author initially thought AI would make them underworked and burnout-free, but instead, they created more projects and experienced burnout. They learned to focus on a few key projects and deliver high-quality work by being ruthlessly focused and prioritizing what matters.
The EU Commission proposed a solution to cookie banners, allowing users to set privacy preferences in their browser once, but the tracking industry is pushing back. Users can help by contacting their representatives in the European Parliament or national government to express their frustration.
The game has five tiers: Basic, Easy, Medium, Hard, and Extreme, each with increasing difficulty and logic complexity. Grids are scored 0-100 based on their sub-metrics, with higher scores indicating harder puzzles and longer estimated solve times.
Port Zero sets every port to 0, giving each process a stable domain for local development. It also offers cloud tunnels for HTTPS access from any device, with flat pricing and team collaboration features.
New York City's underground infrastructure is a complex network of water, electrical, steam, gas, and telecommunications lines that provide essential services to its residents. The city's unique infrastructure is a result of its dense population and the need for reliable and efficient services, but it also poses significant engineering challenges and requires ongoing maintenance and upgrades.
A sed script was created to convert a sorted file of index terms and page numbers into a format ready for printing, but it failed when encountering a line without a semicolon. The problem was fixed by adding a check at the beginning of the script to halt the process if any line is missing a semicolon.
You're learning Django to build a website with an SQL database and backend rendering of HTML. You're finding it more achievable than using Go's standard library or Flask, and appreciate features like query set classes and template filters.