Professor Phillip Rogaway delivered a final lecture in ECS 20, a discrete mathematics class, where he discussed the role of computer scientists in alleviating or exacerbating the threat of civilizational and environmental collapse. He argued that computer scientists have played a central and overwhelmingly negative role in bringing about changes such as the distraction economy, surveillance ...
Helg Bredow and Stefan Fritsch made commits to OpenBSD/arm64, enabling it to run as a guest OS under Apple Hypervisor. Their changes fixed issues with display and network support, making OpenBSD work on Apple Silicon Mac models.
The list includes over 50 notable trees from around the world, including ancient oaks, redwoods, and fig trees, some of which are over 1,000 years old and hold significant historical or cultural importance. These trees are found in various locations, including the United States, Europe, Asia, and Africa, and have been recognized for their unique characteristics, age, and historical significance.
Execution environments are layered abstractions that isolate code at different levels, from hardware to language dependencies, each with trade-offs between control, isolation, performance, and convenience. Choosing the right execution environment depends on understanding what must be identical for code to behave correctly, avoiding confusion between language-level and OS-level isolation.
TSMC's CEO CC Wei told Apple it needs to pay a large price rise, and Apple may no longer be TSMC's largest client. Nvidia's strong demand for AI chips has narrowed Apple's lead, and TSMC's revenue growth is driven by AI and HPC.
Learn eBPF through hands-on exercises. Write, compile, and run programs directly from your browser.
Our mission is to build and democratize artificial general intelligence through open science.
CUE is a tool that generates complex files, validates data, and serves as a Literate Programming tool. It ensures code and documentation stay in sync by defining parts and stitching them together programmatically.
Briar یک برنامه پیام رسان امن و خصوصی برای فعالان، روزنامه نگاران و هر کسی است که نیاز به ارتباط امن با دیگران دارد. این برنامه از طریق بلوتوث یا وایفای همگام سازی می کند و در صورت وجود اینترنت از طریق شبکه تور همگام سازی می کند.
A deep dive into the Internet Archive's custom tech stack.
David Gwynne is proposing a patch to make pf's af-to option less magical by allowing it to work for both incoming and outgoing packets and removing the forced forwarding requirement. This change would simplify the code but require additional rules to allow outgoing traffic.
Instant Linux boxes via SSH with no signup or complexity, pay only for what you use. Account balance is $18.50 with remaining hours for running and idle boxes.
The user contributed to the MAME project by porting an old driver for the arcade game The Predators, a four-player game from 1986, to the current version of MAME, making it playable on their computer. After overcoming various challenges, including outdated code and compatibility issues, the user successfully emulated the game with functional visuals and audio, and even improved the graphics ...
Cunningham chains involve prime numbers where each is almost double its predecessor, with two types: 2p + 1 and 2p - 1. Primecoin cryptocurrency uses finding prime chains as its proof of work task, adjusting mining difficulty by varying chain length.
People are struggling with loneliness and isolation, and some feel that traditional solutions such as joining groups or using social media are not effective. Various ideas have been proposed to address this issue, including creating physical social networks, volunteering, and intentionally building community, but some people feel that these solutions are not easy or functional.
The author is adding Answer Set Programming and Logic Constraint Programming to Logic for Programmers and is re-experiencing pain points with Prolog. Prolog's custom string operators and lack of functions hinder its usability.
The author praises Opus 4.5's capabilities but notes that Claude still struggles with creating good abstractions.
A still life is strict when all its islands are necessary to maintain the stability of the pattern. we gave explicit syntheses for all 1,646,147 (strict)still lifes today, by giving explicit synthesis steps for each still-life we found - from shinjuku to tetris... and we got some interesting results!'mr. component' would assemble as many complete pairings as possible and dump the resulting
A low-level, high-performance PostgreSQL logical replication client implemented directly on top of the PostgreSQL wire protocol (pgwire). This crate is designed for CDC, change streaming, and WAL replay systems that require explicit control over replication state, deterministic restart behavior, and minimal runtime overhead. pgwire-replication intentionally avoids libpq, tokio-postgres, and ...
Building AI products in "easy to solve" areas like customer support may not be sustainable due to model providers' dominance. The "hard to solve" quadrant, where complex workflows require significant investment, may see the next phase of growth and revenue generation.
OpenWork is a native desktop app that simplifies OpenCode workflow. It manages plugins through the Skills tab, using the same opencode.json format as the OpenCode CLI.
JuiceFS is a high-performance POSIX file system for cloud-native environments, storing data in Object Storage and metadata in various databases. It provides strong consistency, shareability, and outstanding performance, supporting various applications and big data platforms.
go-legacy-win7 is a Go fork for Windows 7 and Server 2008 R2 support. It maintains classic go get behaviour and provides a stable Go environment for legacy systems.
Simon Willison discusses Claude Cowork, a new feature from Anthropic that allows users to run coding agents in a filesystem sandbox, and Fly's new product Sprites.dev, which provides stateful sandbox environments for running coding agents and untrusted code in a secure sandbox. He also shares his thoughts on the ethics and legality of using generative AI to automate tasks and create ...
We built Bugbot, a code review agent that analyzes pull requests for bugs, and through experimentation and iteration, we improved its resolution rate from 52% to over 70%. Bugbot now reviews over 2 million PRs per month for customers and is being continuously improved with new features and capabilities.
Boeing knew of a structural flaw in a part linked to the UPS plane crash 15 years ago. The flaw, which caused engine separation, had been identified on similar planes but Boeing deemed it safe.
The project will temporarily close pull requests from external contributors due to AI-generated submissions with incomplete context and lack of engagement. This decision aims to maintain a meaningful review process and protect the project's code and community.
Patches have been released for 5 vulnerabilities in devalue, svelte, @sveltejs/kit, and @sveltejs/adapter-node. Upgrade to non-vulnerable versions and follow security guidelines to prevent DoS, SSRF, and XSS attacks.