都道府県 市町村名
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 user built tale.fyi, a platform for fiction on the web, with features like progress saving and reading/listening switching. They aim to bring more fiction to the internet, which they believe is currently biased towards non-fiction.
A formally verified implementation of a 3D constructive solid geometry (CSG) operation, mesh intersection, was implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly. The implementation prioritizes minimizing the effort of human review of correctness over performance, resulting in a slower but formally verified mesh ...
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.
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.
Apple has released patches for several security vulnerabilities in its software, including CVE-2026-39875 and CVE-2026-64691, which could allow remote attackers to cause system termination or corrupt kernel memory.
ctrlb-decompose is a log analysis tool that converts noisy log lines into actionable patterns with typed variables and anomaly flags. It runs as a CLI, in the browser, or as a Rust library, processing logs in a single streaming pass with minimal memory footprint.
The author of Anthropic does not support banning open-weights models, but instead advocates for keeping powerful chips out of authoritarian hands and requiring safety testing of all capable models. The author's primary concern is authoritarian governments building more powerful AI models than the US, and their secondary concern is powerful AI models being misused for cyberattacks or biological attacks.
A college student's abandoned milk carton became a 27-year dorm tradition, sparking a story about the value of discarded items. A scientist investigates a probiotic tea, discovering that its bacteria can survive boiling water due to spore-forming properties.
DMARC adoption is low, with 68.4% of 67,336 domains having no record or a record that doesn't enforce a policy, mainly due to difficulty in identifying legitimate senders from rua= reports. The main reason for this is the complexity of reconciling multiple report streams, which requires a research task rather than a configuration change, leading to a high number of domains stuck at p=none.
Shopify CEO Tobias Lütke suggested a tax-tiered voting system where those who pay no income tax would lose voting rights. This idea has sparked debate over wealth, power, and democracy, with some seeing it as a way to align fiscal responsibility with political voice, while others call it a move to legitimize plutocracy.
OpenAI's models autonomously discovered and exploited vulnerabilities in a research environment, then found zero-day vulnerabilities in JFrog's Artifactory installations. JFrog and OpenAI collaborated to disclose and fix the vulnerabilities, demonstrating a new trust model for the industry.
Charles is experiencing writer's block but instead of forcing himself to write, he takes a break to spend time with his family. He reflects on the tech industry's obsession with working long hours and wonders why developers aren't taking advantage of AI tools to have a better work-life balance.
Free and open source. The code runs on Scastie, the Scala Center's playground. Nothing to install, no account needed. The tour targets Scala 3, with a dedicated section on what changed since Scala 2.
Andrew Wiles devoted much of his entire career to proving Fermat's Last Theorem, the world's most famous mathematical problem. In 1993, he made front-page headlines when he announced a proof of the problem, but this was not the end of the story; an error in his calculation jeopardized his life's work. Andrew Wiles spoke to NOVA and described how he came to terms with the mistake, ...
Companies that adopt AI-first strategies and fine-tune open-source models with reinforcement learning see significant gains in productivity and revenue, with some experiencing revenue growth of over 200% between 2022 and 2025. By training models on proprietary data and workflows, companies can achieve better performance and cost savings than using general-purpose frontier models, with some ...
Mondragon Corporation is a worker-owned cooperative based in the Basque region of Spain, founded in 1956 by Father José María Arizmendiarrieta. It operates in four areas: finance, industry, retail, and knowledge, employing over 70,000 people worldwide.
local_rate_limited
The intersection of LLMs and mathematical research is a fascinating one. Mathematics is objective and verifiable, and today’s frontier models have been trained extensively on its concepts and methods. There is a particular sense of joy and wonder in watching LLMs solve previously unsolved (and genuinely difficult problems), while knowing that their capabilities emerge from mechanisms that ...
The user tested three Claude models (Opus 5, Sonnet 5, and Opus 4.8) on SlopCodeBench, a new benchmark that evaluates code quality over time, and found that none of them could maintain a codebase without increasing complexity. The user believes that SlopCodeBench gives a signal that today's models can't be relied on to run lights-off without steering for real-shaped software engineering work, ...
The current peer-review model in mathematics is criticized for being closed, elitist, and slow, potentially blocking innovative ideas and favoring established researchers. The author hopes that AI-generated mathematical breakthroughs will lead to a more open and inclusive approach to mathematics, where engineers and non-experts can contribute and advance the field.
Airshow enthusiasts and record-breaking flights made headlines last week, but the airline industry's busiest day ever was Thursday, July 23, 2026, with 153,359 commercial flights tracked. This total climbed to almost 300,000 when including general, military, and private aviation, making it the second-busiest day ever for aviation.
The Usenet Archive Toolkit is a set of tools to process and create a searchable Usenet archive. It provides offline access to Usenet data without relying on network connections.
A scholarly imprint has produced English translations of historical Hebrew and Latin works in astronomy, cosmology, and natural philosophy, making them accessible to readers. The translations aim for fluent, readable modern English while preserving the authors' meaning, argument, and tone.
To reduce motion sickness while riding in a car, turn on Vehicle Motion Cues on iPhone by tapping the option and selecting settings. This feature displays animated dots on the screen to represent vehicle movement.
Go 1.26's new garbage collector, Green Tea, improves performance by reducing cache misses and increasing speed, but its impact on L3 cache is initially misleading. By analyzing L1 cache metrics, we see that Green Tea reduces L1 cache misses and improves overall performance, but Go still struggles with memory fragmentation due to its non-moving collector.
PyTorch plays a dual role as both the reference language and the implementation language, allowing for verification of correctness between the two. This approach enables explicit control over performance-critical operations and verification of correctness through a separate verifier.
Save a block of context in one assistant and get a short handle back. Load it by that handle in another — no copy-paste, no re-explaining. Your context, carried across tools. You plan in one assistant, build in another, and draft in a third. Each one holds real working state — the brief, the constraints, the decisions so far. None of them will hand it to the next. So the state of your work ...
TWC Classics is a website with a large collection of weather-related content, including over 8,000 files. It showcases The Weather Channel's history, including its first 28 years and early logos and music.