都道府県 市町村名
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.
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.
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.
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.
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.
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.
Andrew Wiles spent his career proving Fermat's Last Theorem, a famous mathematical problem. He finally succeeded in 1993 but initially made an error in his proof.
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.
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.
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.
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.
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.
local_rate_limited
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, ...
Hello everyone, This morning, as i started my shift, i thought i would start visiting some news blogs / websites to kick off the day. When it got to Crooked Timber i saw a captcha page instead, it looked like a traditional Google captcha. I clicked it, the spinner spun, and a box opened on the right, showing the traditional "Verify you're human" white title on a blue background. ...
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.
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.
Segue is a neutral relay between AI assistants that lets you carry context across tools without rebuilding it. It uses handles like brelavo, which are unique and resolvable only inside your account.
Kimi K3, a 2.8-trillion-parameter model, is now available on Telnyx Inference API with native vision capabilities and a 1M-token context window. It competes with closed-source models from Anthropic and OpenAI on coding, reasoning, and agentic knowledge work benchmarks.
The success of a programming language depends not on its technical features, but on its ability to create a platform that attracts developers and users, and its alignment with the needs of the job market and industry. A language's value lies not in its computational power, but in its ability to facilitate the creation of complementary goods, such as applications and content, that make the ...