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.
HNewhere detects Hacker News stories, loads comments into a sidebar, and lets you browse discussions without leaving the page.
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.
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.
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.
Hubble.md
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.
Not all robots are created equal — but what if you could design one for a specific task? We propose Transformer Transformer, a unified model that does exactly this: hand it a manipulation demonstration, and it generates a complete robot — every link, joint, motor, and inertial property — optimized for that motion. We fabricated one such design for cloth flinging on an ALOHA2 bimanual ...
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.
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.
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.
We're verifying your browser Website owner? Click here to fix
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
AI-native Manim editor for creating, editing, and refining mathematical animations.
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 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.
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.
Declarative, Kubernetes-native control over OpenShell sandboxes — manage them with kubectl apply instead of talking to the gateway directly. Status: early development. Five resources are implemented: OpenShellSandbox (full lifecycle — finalizer cleanup, provisioned volumes, in-place convergence, recreate-on-drift), OpenShellProvider (credentials from a Secret, synced as a static copy or ...
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.
ZIL is a small relational language for describing named objects, the relationships between them, and rules that derive additional relationships. ZIL Lean implements this model inside Lean 4. Lean checks definitions, executable programs, theorem statements, and proofs. ZIL records how those checked declarations relate to requirements, documents, tests, tasks, dependencies, and other parts of a ...
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.
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.
local_rate_limited
Kimi Linear outperforms full attention in various scenarios with superior performance and efficiency, reducing KV cache usage by up to 75% and achieving up to 6 times decoding throughput. It can be a drop-in replacement for full attention architectures with a pre-trained model and open-source code available.
Scientists at La Jolla Institute for Immunology and Scripps Research developed an HIV vaccine that trains immune cells to see past HIV's defenses by prompting the body to make broadly neutralizing antibodies. The vaccine resulted in the best HIV-fighting antibody response ever seen in primates and human trials have now started.
The website is using Cloudflare security and blocked my action, possibly due to a trigger like a certain word or SQL command. I was trying to perform an action when this page came up, and the Cloudflare Ray ID is needed to report the issue to the site owner.