Codex Security is an open-source CLI and TypeScript SDK for finding, validating, and reviewing security issues in code. It supports macOS, Linux, and Windows, and requires Node.js 22 or later.
LearnVector aims to revolutionize learning with AI, providing one-to-one experiences that adapt to each person's needs. It plans to collaborate with Coursera and Udemy to offer trustworthy learning experiences.
Researchers propose a unified model called Transformer Transformer that generates a complete robot for a specific task by optimizing its design for a given motion and reward function. The model uses a diffusion transformer trained on RoboTokens, a unified tokenization of robot embodiments, states, and actions, to produce optimized robot designs for various tasks and reward functions.
If you managed to put Tailscale on a jailbroken Kindle before it updated too far ahead, you got something pretty great, even if it wasn't the full Tailscale experience. But good things come to those who wait (or dig around on GitHub). Open-source developers have improved the Tailscale experience on one of the weakest computers you own. If your Kindle is jailbroken, an updated version of ...
HNewhere detects Hacker News stories, loads comments into a sidebar, and lets you browse discussions without leaving the page.
Writers should not make Substack their digital home, as it's short-sighted and can derail long-term visibility on the internet. Instead, they should treat their website as the definitive source of truth and use platforms like Substack as distribution pipes.
Half-Life, a story-driven first-person shooter, has been ported to PowerPC Macintosh computers 28 years after its original release. The game, developed by doctashay using Xash3D FWGS, is playable from start to finish with multiplayer support and additional downloads.
The user investigated multi-seat support on Linux and Wayland, finding surprisingly good support for multiple mouse cursors and keyboards in various software, including Weston, sway, and River. They also created tools and patches to improve multi-seat support and wrote about their experiences, hoping to find others interested in exploring and expanding this space together.
A researcher created a truth probe for a language model, but it failed to accurately evaluate truth due to the diagonal Tarski attack, a paradox that arises when a system tries to evaluate its own truth. This attack shows that no truth probe can exist for a language rich enough to describe itself.
Learning to program requires a long-term commitment of 10 years or 10,000 hours of deliberate practice, not just a few days or hours of book learning. To become a skilled programmer, focus on hands-on experience, working with others, and continually improving your skills over time, rather than relying solely on books or training courses.
Hubble.md
The University of California, Berkeley released version 4.2 of its UNIX operating system in 1983, which included the BSD 'sockets' model of networking and led to a massive increase in access to network services worldwide. The sockets system provided a simple, consistent way to connect to ARPANET systems, making it easy for programs to communicate over networks and revolutionizing online services.
We're verifying your browser Website owner? Click here to fix
reFrame is an experimental camera with a color ePaper display that captures one photo at a time, taking 15 seconds to fully appear. It's open source, allowing users to build their own using off-the-shelf components like a Raspberry Pi Zero and eInk display.
SBCL has released new versions with various bug fixes, optimizations, and minor incompatible changes. The updates include improvements to the compiler, documentation, and platform support, as well as fixes for issues related to type checking, memory management, and foreign function calls.
Kimi K3 is a scaled-up version of Kimi Linear with a new LatentMoE component and attention residuals. It improves inference efficiency and validation loss, but adds 4% training and 2% inference cost.
A beautiful quarterly publication which revisits the events of the last three months to offer in-depth, independent journalism in an increasingly frantic world. Read more about DG. Subscribe Slow Journalism in your inbox, plus infographics, offers and more: sign up for the DG newsletter Sign up
RADV is the open source Mesa Vulkan driver for AMD GPUs. Over the years, it has become a cornerstone of the Linux graphics stack. It has now effectively become the de facto Vulkan driver for AMD hardware on Linux. AMD even discontinued their PAL-based (Platform Abstraction Library) alternative in its favor, consolidating their open-source efforts around Mesa. On Windows however, AMD users are ...
Ahh, the demo scene - a digital art subculture, a motley gang of creative nerds, and a favourite pastime of mine. So much amazing art, music and code has been produced by sceners, and anyone who comes into contact with the scene might start to wonder exactly how - apart from hours of dedicated grind, of course. The scene has a long and storied tradition of building its own tools. Sometimes ...
ZIL is a small relational language for describing project relationships and rules, implemented inside Lean 4, which checks definitions, programs, and proofs. ZIL stores project relationships, including requirements, documents, tests, tasks, and dependencies, allowing developers and tools to query and analyze the project map.
PHP and Lua's log functions have a discontinuity when using base 10 due to special casing, causing incorrect results. This is because they use different methods for base 10 and other bases, breaking assumptions about the functions' behavior.
There’s more than one way to get your next iPhone. You can lease with our new program, Apple Upgrade; shop the latest carrier deals; finance with Apple, or buy with a one-time payment. Have questions about what’s best for you? Chat with a Specialist (Opens in a new window) online or in a store.
The Zig compiler's incremental compilation feature allows for fast rebuilds by detecting changed code and recompiling only that, patching the resulting bytes into the output binary. The feature involves caching source files' generated ZIR, tracking dependencies between analysis units, and using a linked file abstraction to handle incremental linking.
The Button Actions proposal aims to add action and method attributes to HTML buttons to distinguish them from links, which represent destinations, not actions. This distinction is crucial for web authors to create a simple and semantic way to model a full CRUD lifecycle in HTML, making the web safer, simpler, and more accessible for all.
AI-native Manim editor for creating, editing, and refining mathematical animations.
local_rate_limited
Researchers at Anthropic used Claude Mythos Preview to discover improved attacks on cryptographic algorithms, including HAWK and AES. These attacks significantly weaken HAWK and improve the speed of AES attacks, but do not currently affect production systems.
AI is progressing rapidly, posing unprecedented social and safety risks, and the world needs to develop AI responsibly and thoughtfully. To achieve this, international coordination and governance tools are necessary to pace AI progress and mitigate risks.
StatLite is a focused dashboard for Spring Boot applications that exposes Actuator data, providing operational visibility for health, requests, errors, and more. It's a lightweight alternative to full monitoring platforms like Prometheus and Grafana, suitable for small-scale deployments with a few services on one VPS.