The Earthquake Event Page application supports most recent browsers, view supported browsers. Or, try our Real-time Notifications, Feeds, and Web Services.
This repository provides FP8-quantized model weights and configuration files for the post-trained Qwen3.8-27B model, offering managed inference without infrastructure maintenance through the Qwen Cloud service. The model supports various tasks, including vision-language understanding, agent execution, and long-horizon agentic tasks.
The author is concerned that AI advancements will make software too secure, potentially rendering US intelligence and law enforcement agencies unable to access encrypted data. This could lead to a "dark" era for these agencies, as they struggle to find vulnerabilities in highly secured systems.
Error establishing a database connection
First-year calculus can be simplified by streamlining multiple processes into fewer concepts, increasing flexibility and capability for students. arXivLabs is a framework that allows collaborators to develop new features while maintaining openness, community, excellence, and user data privacy values.
Google's HEIR compiler toolchain enables secure private AI inference using homomorphic encryption, balancing privacy and security. The open-source tool converts pre-trained models to operate on encrypted inputs, making it a one-click solution for non-experts.
Eigendrum is a software that solves the eigenvalue problem for drum shapes, allowing users to create and analyze different drum sounds. It uses numerical methods to find the smallest eigenvalues of a stiffness and mass matrix, producing accurate results even for complex shapes.
RustDesk now offers unattended access on Wayland without approval, supporting multi-monitor setups. A preview build is available for x86_64 Debian/Ubuntu-based systems to test and provide feedback.
The NSA and its vendors attempted to pack a vote on standardizing the removal of an ECC seatbelt from hybrid ECC+ML-KEM in TLS, but 82 people spoke up against it. The IETF's working group chairs ignored rules and declared "rough consensus" despite lack of support.
A German engineer, Fritz Pfleumer, developed the Magnetophon reel-to-reel magnetic tape recorder in 1928. The device was later improved and introduced at the 1935 Berlin Radio Show by AEG, where it became a powerful tool for both political messaging and military strategy under Adolf Hitler's regime.
Firefox supports uBlock Origin despite Microsoft Edge's Manifest V3 transition, which may block ad-blocking extensions. This makes Firefox the only major browser without compromises for die-hard uBlock Origin fans.
The author explores the lazy nature of Nix language and its application to Super Mario Bros. 3, where attribute paths are used as sequences of button presses. This allows for a derivation-based approach to recreating game states without emulation.
Math, Algorithms, Architectures, by hand. Click to read AI by Hand ✍️, by Prof. Tom Yeh, a Substack publication with tens of thousands of subscribers.
Describe a task in plain English. Deltix runs it on a simulator and tells you if a real user could complete it. Start free→Watch a real run↓Open beta · iOS today · No credit card The agent runs locally against your simulator. We never access your source, your build, or your signing identities. While a run is in progress the agent acts on what it sees on screen, like any user would. Those ...
Toast 1, a specialized search agent, offers frontier search quality at up to 10x cheaper and 12x faster than existing models. It can be used as a standalone model or as a subagent with other models.
The author discovered a pocket-sized e-reader called the X4, which they customized with open source firmware Crosspoint to improve reading experience. They created their own "newspaper" using an app called Feedpaper, allowing them to read personal blogs on the device.
Place historical images of Richmond, Virginia on the map!
Birds see colors that humans can't, including ultraviolet light, which affects their plumage and behavior. This hidden dimension of color helps birds recognize species and navigate their environment.
The author is frustrated with receiving large PRs that are difficult to review, taking up a lot of their time. They believe small, digestible PRs would be more efficient and effective for both reviewers and maintainers.
Blaise Pascal, a French mathematician, developed the first arithmetical machine in 1641 and later shifted to religious studies. Niklaus Wirth created the original Pascal programming language in 1970 based on Algol's block structured style.
Ember is a color palette generator that creates terminal themes and UI elements usable under various warm-screen filtering conditions. It produces distinctive colors across different color temperatures, from 3400K to 1200K, with varying capacities for categorical identities and contrast.
The author believes Opus 5 is a capable model but feels like a downgrade due to its tendency to make bold assumptions in the face of ambiguity, prioritizing benchmark performance over nuanced understanding. This approach may not be suitable for real-life applications where agents need to ask questions and seek clarification.
Claude Code provides tips to optimize token usage and session efficiency, including setting models and effort levels before starting, using /context to view loaded context, compacting conversations when taking breaks.
This text discusses using LLMs to classify products, specifically with the Wayfair WANDS e-commerce dataset. It proposes a method of asking an LLM to generate fake classifications and then finding the most similar real ones through dot product calculation.
The author has a collection of books on their shelf, including Roget's Thesaurus, Sir Thomas Browne's works and the Decameron. They reflect on how these books inspire and inform their writing.
Researchers established new bounds for the Grothendieck constant $K_G$, finding it to be at least $\frac{6\pi}{11}$ and at most $\frac{\pi}{2\log(1+\sqrt2)} - 10^{-4}$. This discovery was made through a collaborative effort between humans and an AI system.
A deep research agent with a budget and verified quotes analyzes data, checks claims against sources, and writes answers with citations. It runs as a single binary on your machine, using your API keys and speaking MCP for coding agents to drive it.
LuaCAD is a scriptable CAD tool with Lua, allowing users to create parametric 2D and 3D models that can be exported in various formats. It supports CSG operations and rendering, with options for exporting to different file formats or using an installed OpenSCAD binary.