都道府県 市町村名
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.
Want to learn and collaborate?
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.
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.
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.
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 ...
User set up own inference endpoint with opencode, feeling a sense of freedom and ownership over their data. This experience was unexpected and refreshing, like breaking free from dependencies on other providers.
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.
Modern linear attention variants are complex, and it is not easy to see what they are designed to achieve. a state kernel performs the only inter-chunk scan, producing the state entering each chunk and resolving its delta errors. the resulting matrices can be used to construct the causal akkakkakk interaction matrix, which is used for decoding if only one new token is available at the time. ...
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
Casa Grande residents are concerned about Flock cameras being used for mass surveillance, not just license plate tracking, and want clear rules, public oversight, and accountability. They demand stronger contract language, warrants for sensitive searches, and consequences for staff misuse.
GrapheneOS is supported through donations, which are used for developer payments, hardware, infrastructure, and legal fees. Donations can be made via GitHub Sponsors, Bech32m address, BIP47 payment code, Wise, local bank transfers, PayPal, or Interac e-Transfer.
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.
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.
The author, a disabled artist, writes about the shame and fear of losing economic usefulness due to chronic illness and disability. They argue that capitalism's emphasis on productivity and self-sufficiency erodes dignity and worth for those who cannot work consistently.
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.
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.
HNewhere detects Hacker News stories, loads comments into a sidebar, and lets you browse discussions without leaving the page.
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.
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.
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.
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
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.
Players guess the origin and time period of 10 Met artifacts daily, with points awarded for proximity in both dimensions. Scores are then ranked on a distribution curve with other players who participated that day.
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 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 Drupal error occurred at line 552 due to a module handler issue. The error is related to entity view alteration.
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.
The reviewer criticizes Christopher Nolan's film adaptation of Homer's Odyssey, calling it a "maximalist" and "muddled" spectacle that fails to deliver on its big ideas and character development. The film's values and vision are also inconsistent, contradicting those of the original poem and presenting a simplistic and didactic view of morality.
uv 0.12.0 improves correctness, safety, and compatibility with specifications, but may break some workflows. It includes changes to build systems, lockfiles, and dependencies, and removes support for legacy compression methods and SSL_CERT_FILE/DIR overrides.
XY is a fast, interactive, and customizable Python charting library for web, notebooks, and static exports. It supports large datasets and offers features like hover, pan, and zoom.
Deltafin is a research project that runs a Mixture-of-Experts model on a 64 GB laptop, taking 16 seconds per token, but is exact and reproducible. It can be made faster with newer chips and more RAM.
To measure the performance impact of eBPF code, a simple C test harness is created to measure file open performance, discarding the first 10% of results as a warmup period. The perf tool is used to profile the eBPF code, resolving symbols to analyze where the issue is and pinpointing where optimizations are required.
OONI data indicates that at least 6 ISPs in Italy, including Fastweb and Vodafone Italia, began blocking access to Women on Web and Women Help Women websites in mid-February 2026 through DNS tampering. The blocking techniques used include DNS tampering, NXDOMAIN responses, and TLS certificate validation failures, suggesting that ISPs in Italy are restricting access to reproductive healthcare ...
The MCP protocol has released a new version with a stateless protocol core, improving scalability and reliability for agentic workflows. This release includes breaking changes, new extensions, and security hardening, making MCP a more mature and production-ready protocol for enterprise AI applications.
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.
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 ...
Neutrino-1 8B is a 3.88 GB decoder-only transformer model that uses a proprietary ternary-family weight format, allowing it to decode at faster rates than a 16 GB fp16 artifact. It ships as a single public repository with native binaries, GGUF pack, and MLX pack, under the Apache License 2.0.
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.
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.
Explaining everyday items like toilets can reveal the illusion of explanatory depth, where people overestimate their knowledge of how things work. This illusion has two parts: the explanatory part, where people think they can provide a clear explanation, and the depth part, where they assume their explanation will be thorough and complex.
The author argues that asking a Large Language Model (LLM) to generate a confidence score for its response is useless and lacks scientific validity, as the model's internal state is not well understood and the scores are often based on unreliable heuristics. The author suggests that instead of relying on confidence scores, developers should focus on improving the model's retrieval ...
EYG is a statically typed functional programming language designed for "makers" who want to automate tasks without needing to master complex programming concepts. It aims to remove category 2 problems, such as deployment and runtime issues, and provide a more user-friendly experience for building reliable and sharable programs.
US residential proxies are a major source of social media manipulation and spam, often used by bad actors who trick or hack innocent users. ISPs and governments should crack down on these networks, which pose a national security threat, and warn customers of suspicious activity to prevent abuse.
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.
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 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.
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.
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.
The user discusses the pros and cons of creating a custom game engine, including the benefits of freedom from corporate decisions, optimization for specific needs, and learning opportunities, but also notes the challenges of engine development, such as lack of features and potential burnout. The user proposes a definition of a game engine as a set of tools and libraries designed to help make ...
W3C's Web Fonts technology, starting with WOFF in 2010, revolutionized web typography by allowing custom fonts without DRM. The technology has evolved with WOFF 2.0 and now Incremental Font Transfer aims to improve font loading efficiency and support for complex scripts.
Contribute to anthropics/cryptography-research-demo development by creating an account on GitHub.
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.
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.
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.
Technology companies like Amazon, Google, and Microsoft are investing heavily in infrastructure, spending $900bn this year and a projected $1.4trn in 2027. This massive investment is largely funded by borrowing, making it the largest investment surge in history.
Toolcraft gives AI an application architecture, not just components. It includes a working canvas, toolbar, layer system, timeline, and keyframe workflows, plus embedded AI skills, performance instructions, and visual testing rules to improve the quality and consistency of generated creative apps.
Dear all, our team is using a Claude AI Team plan for more than 1 year already: - any other idea to reach out to them than their "Fin AI Chatbot" at [email protected]? - did anybody else had the same experience? If yes, what helped to solve it? (especially since some people built their interal workflow around Claude, now they are somehow stuck)
Websites are implementing excessive security measures, causing frustration with CAPTCHAs, 2FA, and MFA issues. Users are being treated as potential bots, requiring unnecessary verification and access to personal devices.
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.
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.
The author argues that microservices are often misunderstood as a technical solution, but their real value lies in creating organizational boundaries that allow for autonomy and independent releases. However, this comes at the cost of centralization and increased complexity, including communication overhead and distributed system problems.
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.
Hulios is a Linux-based Tor VPN gateway that secures outbound traffic using eBPF and kernel socket level hooks. It implements robust leak-resistant boundaries and sandbox isolation to prevent IP leaks and data breaches.
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.
Recursion can be elegant and clean but often runs into physical limits due to stack overflow, even with correct base cases and tail recursion. To ensure stack safety, it's best to use iteration for user-driven or data-driven depths and reserve recursion for small, bounded depths where clarity improves.
Scientists are using coding agents to modernize scientific software, making it more efficient and better maintained. This allows researchers to focus on discovery rather than tedious implementation tasks, accelerating the pace of iteration in scientific computing.
Flashpaper is the simplest way to send private notes, keys, and files. The instant your recipient opens the link, the content burns out completely—leaving nothing stored behind. Obscures secret text behind an interactive spotlight lens mask to deter screen capture and shoulder surfing Volatile RAM-Only Storage: Secrets are stored only in volatile server memory — never written to disk or a ...
A 16-year-old lifeguard in Santa Cruz saved a boy from drowning in large waves, while hundreds were rescued in San Diego due to the same swell. The rapid adoption of AI technology is similarly effortless, cutting task times and freeing up time for other activities.
Granola is a new Apple Watch app for taking notes during meetings, allowing users to tap their wrist to start and stop recording. Notes sync automatically to iPhone and computer, making it easy to review and edit.
A setup script prepares a Git worktree for development by copying environment files and setting up databases, ports, and resource names. The script should be idempotent, check for requirements, and handle concurrency to ensure a robust and isolated development environment.
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.
PostgreSQL's MVCC design is criticized for causing write amplification, bloated tables, and delayed cleanup, but its critics often fail to consider the trade-offs and costs of alternative designs. Other databases, such as Oracle, MySQL, and MongoDB, have their own versions of MVCC that address some of the same issues but introduce new problems, highlighting the complexity and trade-offs ...
Projektor is a self-hosted project management tool that integrates with multiple agents to automate tasks. It's a cloud-native platform that can be deployed to a Cloudflare account with a single button or command.
Xenharmlib version 0.4.0 introduces significant new features including support for regular temperaments, Just Intonation, and interval arithmetic. It also includes new tools for scale analysis such as interval class vectors and closest frequency approximation.
Coding Tools MCP is a model-neutral coding runtime served over the Model Context Protocol. It provides 20 battle-tested tools in one workspace, gated by permission modes, for file reading, search, patches, command execution, and more.
The first A350-1000ULR aircraft completed its first flight in Toulouse, France, reaching 41,000 feet and testing new fuel system architecture. The aircraft is being developed for Qantas to enable non-stop flights between Sydney and New York/London, with a range of almost 10,000 nautical miles.
PostgreSQL's MVCC design is criticized for causing write amplification, bloated tables, and delayed cleanup, but its critics often fail to consider the trade-offs and costs of alternative designs. Other databases, such as Oracle, MySQL, and MongoDB, have their own versions of MVCC that address some of the same issues but introduce new problems, highlighting the complexity and trade-offs ...