都道府県 市町村名
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.
A music theory book is rewritten to present harmony as a scientific theory, considering physical and computational phenomena. The book derives three fundamental music phenomena: the Major Scale, the Standard Chord Dictionary, and the difference between Major and Minor Triads.
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.
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 ...
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.
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 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.
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.
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.
The EU budget is largely financed by taxes on labour and consumption, but new revenue sources such as taxes on ultra-high wealth and crypto transactions could help. A more developed system of EU own resources could reorient the debate towards financing European public goods.
Ooni is a nonprofit organization registered in italy that operates globally. it has carried out experiments on the blocking of the womenonweb.org and womenhelpwomen.com websites in italy over the past five years, and has published the results based on these experiments - this report builds upon these previous efforts. the date range of our analysis spanned from 1st november 2025 to 1th june ...
Graphene OS developer defends its ultra-secure Android version after an activist used its data-wiping feature to evade federal agents. The software is completely legal and cannot be made to weaken its security protections, the developer claims.
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.
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.
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.
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.
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 ...
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.
This logo starts from a study. I am not a pure Designer and I think that designig a good Logo is one of the most difficult things a designer can do. Is so easy to design something niche but that do not resonate, or something that is too bloated, or just plain ugly. I was exploring the work of the Ulm School of Design (where worked Otl aicher, Max Bill and others) and I found the study Otl ...
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.
The user encountered a suspicious captcha on Crooked Timber that attempted to run a malicious PowerShell script on their machine. To protect themselves, the user should be cautious of unusual captchas and verify URLs before running scripts, and use tools like LLMs to analyze potential threats.
local_rate_limited
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.
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.
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.
Describe the issue Can't boot VMs with Network Mode set to 'Bridged' on machines with the new Apple M5 Pro I tested the latest ubuntu-24.04.4-live-server-arm64.iso It boots fine with Network Mode set to 'Host Only' or 'Extended' Configur...
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, ...
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.
The rise of Russian mathematics began with Peter the Great's establishment of the Russian Academy of Sciences in 1724, which attracted foreign geniuses like Leonhard Euler and laid the foundation for a rich mathematical culture. Mathematicians like Ostrogradsky, Bunyakovsky, and Chebyshev built upon Euler's work, creating original theories and methods that shaped the development of ...