A mathematician collaborated with a Large Language Model (LLM) to solve the Navier-Stokes problem, but OpenAI claims to have solved it first. The LLM was used to push the collaboration's work from rough forcing to smooth forcing and incompressible Euler equations.
Researchers at OpenAI have developed a proof that the Navier-Stokes equations for fluid motion can develop a singularity in finite time, resolving one of the Millennium Prize Problems. The solution involves an internal model significantly more capable than GPT-6 Astra and demonstrates the potential for AI to advance research and technology benefiting humanity.
Mistral raised €3 billion in a Series D funding round, valuing the company at over €21 billion. The investment will help Mistral expand its frontier research and infrastructure to support mission-critical AI transformation for global enterprises.
LibreOffice 26.8, a free alternative to Microsoft Office, reached a record download of over 1 million times in one week due to its writing system and typography improvements. The Document Foundation clarified that LibreOffice does not include generative AI features due to privacy concerns and principles it has set for itself.
Visa and Mastercard are card networks that facilitate transactions between cardholders, issuers, and merchants. They don't issue cards or manage point-of-sale systems, but instead connect these parties to enable secure transactions.
Sorry, something went wrong. We're working on getting this fixed as soon as we can.
Jellyfin 12.0 is a stable release with major features and improvements, including performance work, support for books and comics, and security fixes. The new version drops the major version from its naming scheme to reflect significant changes in the library database.
Scientists have developed the AlphaGenome Atlas, a database predicting effects of single nucleotide variants in the human genome. The Atlas helps researchers quickly prioritize promising research areas by providing an easy-to-use score for coding and non-coding regions.
LG smart TVs secretly log and upload data about owners even when offline, including location and Wi-Fi network details. This practice is part of Automatic Content Recognition (ACR) technology used by many smart TV manufacturers to identify what users watch.
The author is discussing the challenges of hosting video game wikis on new domains after a Google core update in March 2024, which has made it difficult for these wikis to show up in search results. The author is exploring possible solutions and potential long-term fixes to this issue.
User wants to update jsonwebtoken API in auth.ts and run tests, also reviews claude plugin versions.
The author explores the security of RSA cryptography, noting that small keys can be factored on a modest desktop computer and some old root certificates are still vulnerable.
Mathematicians are collecting open problems in a non-renewable way, potentially leading to scarcity. Most generated problems are trivial or unproductive, while few hold the potential for breakthroughs and connections.
The author built a custom firmware for the Xteink e-ink display to enable wireless printing from their MacBook using the Internet Printing Protocol. They successfully implemented this feature, allowing them to print documents directly onto the device's screen.
Media
The author, a Slop Doula at Mondo Mayo, reflects on their experience with the company's strict "Remain to Office" (RTO) policy and how it has led to high productivity and social life. The author ultimately signs the Memorandum of Loving RTO after being reassured about its benefits for their job security and health insurance.
Paramount's $111 billion merger with Warner Brothers is criticized for its negative impact on labor, consumers, and markets. The company has employed astroturf tactics to create a false grassroots movement in support of the deal.
Cloudflare is the majority front door for 89.6% of European companies with a CDN, while Amazon comes second at 3,112 distinct companies.
ChatGPT Images 2.5 is a new state-of-the-art image model that offers sharper details, more precise editing, and faster generation for creative workflows. The updated model provides more control over the creative process with features like Sketch, templates, and improved editing capabilities.
Border Patrol's Predictive Intelligence Targeting Teams (PITT) analyze Americans' financial activity and other data to identify potential targets for traffic stops, raising concerns about civil liberties. The program has led to innocent people being pulled over and questioned, sparking calls for greater oversight and accountability.
The GLM 5.3-flash model, a powerful AI capable of finding and exploiting vulnerabilities, is now accessible to anyone with the necessary hardware, posing an imminent threat to security across various industries. The need for urgent action is emphasized as organizations struggle to deploy patches in time.
The author tested various GPU RAM requirements for running Qwen3.8 27B without sacrificing quality, finding that a 24 GB card like RTX 4090 can handle the full BF16 model with some context reduction.
Deltafin is a fork of gavamedia/deltafin, running Kimi K3 from SSDs on Apple Silicon with the ARGODRIVE storage work. It aims to squeeze out efficiency from large models like K3 without reducing quality.
South Park's creators announce the show will be renamed SOUTH AMERICA, inspired by Apple and Google. The 29th season premieres on Comedy Central September 16th with new episodes available on Paramount+.
Touching natural materials like soil and plants can boost skin's microbial diversity, benefiting the immune system. Research suggests that prolonged or frequent contact with nature could significantly change what's happening on our skin and in our bodies.
The story of saints Barlaam and Josaphat originated from an Arabic version of the Buddhist tale, with similarities to the life of Gautama Buddha, and was later adopted by Christian churches. The shared themes across different faiths highlight a common human experience that transcends individual eras and places.
Copperhead is an open-source AI platform for designing and verifying printed circuit boards. It helps hardware teams by automating the design process, ensuring consistency and accuracy.
Mercury 2.5 is the latest production model from Inception, offering a 40% increase in intelligence and comparable cost to GPT-5.6 Luna, with prices starting at $0.04 per million input and output requests.
The web has undergone numerous changes due to evolving devices, browsers, and personal preferences. Various non-standard HTML tags have been used to adapt websites for different environments and integrations.
Complete the check below to continue to OpenReview
Agents were given various instructions to test code, but most failed to use the techniques effectively. Default performed better than most conditions due to agents not doing useless work when not instructed.
The Albanese Government is releasing draft legislation for the Digital Duty of Care, which will require digital service providers to provide a safe online environment and give Australians control over their social media algorithms. The laws aim to protect users from harm, particularly children and young people, with penalties of up to $109.2 million for non-compliance.
Buckmaster and Alpöge claim OpenAI used their work to solve the Navier-Stokes existence problem, sparking a debate about AI's role in mathematical research. Buckmaster alleges that OpenAI pressured him to remove his collaborator's credit from their proof.
To continue, log in to your Reddit account or use your developer tokenIf you think you've been blocked by mistake, file a ticket below and we'll look into it.
This text discusses various techniques for creating non-photorealistic renderings of 3D models, including contour drawing, hatching, and line rendering. Researchers have developed methods to stylize silhouettes and outlines using algorithms such as chaining, visibility, and principal curvature directions.
The FreeBSD 14.5-RELEASE is now available for various architectures, including amd64, i386, aarch64, armv7, powerpc and others. It can be installed from bootable ISO images or over the network using USB memory sticks. The release includes bug fixes and updates to externally-maintained software.
The author recently discovered git worktrees, which allow multiple parallel branches in a single repository without conflicts. They found this feature useful for AI coding agents and long test runs on one branch while working on another.
Wizz Air and other airlines have been severely impacted by a technical issue with Nats, the UK's air traffic control provider, causing hundreds of flights to be cancelled or delayed. The airline has called for urgent reform of the system.
Testing different model and harness combinations to find the best results for a Three.js sci-fi hangar project. The goal is to generate a self-contained HTML file with inline JavaScript, including drone formation toggle and cinematic camera path.
TradingAgents is a multi-agent trading framework that uses LLM-powered agents to evaluate market conditions and inform trading decisions. The framework supports various LLM providers, including OpenAI, Google, Anthropic, and more.
The author discusses the limitations of Python's dict data structure, which is often assumed to be O(1) or constant-time. In reality, its performance can degrade due to collisions and memory constraints.
Law enforcement agencies across the US are concerned about Meta's camera-equipped smart glasses being used to secretly record them or aid in terrorism, prompting memos from departments in Maine to California. The technology has raised fears of surveillance and impunity among police and public alike.
The author shares their struggles with staying awake in class and writing skills, but credits reading and writing for helping them succeed in history despite poor attendance. They offer advice on structuring essays by identifying a central theme, thesis, and supporting arguments to engage readers.
The author implemented a 1-bit PCM playback system on the ZX Spectrum, which uses cycle counting to generate sound. The system produces poor quality audio due to the limitations of the 1-bit speaker, but it can be used for simple tones and chords.
The article explains the Spanning Tree Protocol (STP), a network protocol used to prevent network loops and ensure loop-free connectivity. STP is designed to block just enough cables to leave a loop-free tree, allowing for efficient communication between devices.
The video from GamersNexus investigates LG's smart TVs for potential security vulnerabilities, including eavesdropping and data collection. The investigation raises concerns about the TV's ability to record audio without user knowledge or consent.
Rivian's Autonomy+ system allows owners to enter an address and let the vehicle drive to any mapped destination in the US and Canada, marking one of the most advanced semiautonomous-driving systems coming to market.
Herdr now allows users to control multiple machines from a single TUI, with each machine's sessions and agents available in the same interface. This feature enables seamless switching between machines without opening another client or worrying about SSH setup.
Google has introduced AlphaGenome Atlas, a platform predicting the molecular impact of every possible single-letter DNA variant in the human genome. This comprehensive catalogue will help accelerate our understanding of biology and treat disease by providing researchers with an intuitive and free-to-use website portal.
The Arm Mali G2-Ultra NX GPU brings dedicated neural accelerators and a new execution engine to create desktop-class gaming experiences on mobile devices. It integrates neural graphics capabilities, such as Neural Super Sampling and Denoising, into the graphics pipeline for improved efficiency and image quality.
Being early is the point. Four times a year, YC partners hand-pick the best founders building AI for the enterprise. As a member of the Early Access Network, you meet those startups while they're ...
Researchers focus on formal verification of systems software due to its safety-critical nature. A new language, C*, integrates proof capabilities into C programming, enabling real-time verification and unifying implementation and proof code development.
Please enable JS and disable any ad blocker
Agents are moving from local computers to phones, with companies providing VMs for them to run on. Instinct uses a sandbox-as-a-service model where agents don't need their own VMs, instead using a disposable Ubuntu box and accessing server-side tools via GraphQL requests.
The RTX 4090's L2 cache handles data serialization, and stores are sent to DRAM after a miss. The cache uses a combination of eviction policies to manage space, including writing back dirty lines before evicting them. Fences are used to ensure that data is written durably and visible across the system.
The author discusses the "cursed problem" of designers being asked to change people's behavior for profit, and how this conflict can lead to disappointment and burnout. They suggest that designers must decide which promise they can live without in order to find a compromise.
The author is explaining how to play an animated 3D model in a Bevy application, starting with loading the animation data from a .glb file and setting up the necessary components. They break down the process into steps, including extracting animation data, adding it to an entity's AnimationToPlay component and then finding the entity with that component.
Ampbase uses Tigris, a distributed key-value store, as its object storage layer and implements database behaviors such as unique constraints, transactions, indices, and history tables on top of it. The system achieves strong read-after-write consistency through Tigris' global object storage.
A finetuned DiffusionGemma model, OUI-1, generates reliable user interfaces in openui-lang on consumer-grade hardware. It achieved a benchmark score of 71.7%, surpassing other models with similar parameters.
The far-right Alternative for Germany (AfD) party made significant gains in the Saxony-Anhalt state election, further eroding post-war democracy in Germany. The AfD's victory has implications for Europe as a whole, with similar trends seen in other countries and pressure mounting on mainstream parties to address growing discontent over immigration and economic issues.
The developer completed the payments backend module in one day using AI assistance, but failed to read and understand the documentation. This lack of human oversight has resulted in incomplete information and potential issues with the code.
The report analyzes 72 cities' climate risk and resilience using AlphaGeo's Climate Risk & Resilience Index (CRRI), revealing that European, African, and Latin American cities are more resilient than South Asian megacities.
The Financial Times offers digital access for $75/month or 20% off a year upfront. It provides quality FT journalism, expert analysis, and access to eight surprising articles per day.
Printable posters of what's in season at your local farmers' market. Produce data is specific to your region, with week-level granularity.
The author argues that function arguments can be considered "colors" if they force changes to propagate up the call stack, unlike normal parameter changes which only affect their caller.
The article describes Penrose tilings, a type of aperiodic tiling of the plane using two prototiles. It explains how to generate these tilings using term rewriting rules and provides code for generating images of P3 tilings.
A study in France examined the impact of media literacy interventions on high-school students' news consumption and knowledge. The interventions, including free newspaper subscriptions and media education modules, led to significant increases in news consumption and knowledge among students.
A website warns against ad tech companies' control over TV screens through ACR, promoting awareness and resistance. It's an independent artistic project reminding viewers of the consequences of excessive power concentration.
The author discusses the trade-offs of using Durable Objects, a model that stores state in a database and uses transactions to ensure durability. They weigh the benefits against potential drawbacks like lock-in and high costs, ultimately concluding that Solid Queue is a better alternative with similar functionality.
A Linux distribution's non-standard Docker configuration created a security risk, allowing processes to elevate themselves to root without password or prompts. The issue stems from the client-server architecture, where the Docker daemon runs as root and can be exploited by attackers.
GrapheneOS partners with Motorola for custom Android phones, but the author is cautious. Switched To Linux is a podcast supporting Linux learning and provides convenience posts.
The author shares their approach to prepping for local issues, focusing on sheltering in place and storing essential supplies like water, food, and medical items. They use a deep pantry strategy to maintain a month's worth of staples at home.
Access denied
Filament is a data replication engine that moves data from sources to sinks using various methods. It can be run as a service, deployed on own infrastructure, or embedded in an application.
The editor provides documentation and code completion tools for various assembly languages, including M68K, MIPS, RISC-V and Z80. It offers debugging features and customization options to help users write and debug assembly code more efficiently.
The author is experimenting with HyperCard, a classic Macintosh program, to display text in different fonts. They discovered that HyperCard stacks use resources, which can include custom fonts like the Jeff-Nichols 72 font.
The bitap algorithm is a simple and efficient string matching algorithm that uses bit operations to find the first occurrence of a pattern in a stream of characters. It maintains an active set of match states, advancing them by one position and killing any invalid transitions using precomputed valid state masks.
Researchers Alpöge and Buckmaster have made significant progress in solving the global regularity problem for the Navier-Stokes equations, a long-standing challenge in mathematics. They have demonstrated finite time blowup for simpler model equations using an abstract approach that could potentially be applied to Navier-Stokes as well.
dsync is a Rust command-line tool that syncs a local folder with a Google Drive folder, allowing for push, pull, and diff operations. It uses OAuth client credentials to authenticate with Drive.
A UAE-based AI company, Falcons AI, has developed an open-source NSFW image classification model that surpassed 50.8 million downloads in 28 days on Hugging Face.
The author has released an updated version of LogiCola, a logic practice tool, after receiving feedback from users. The new version includes features such as offline mode and improved accessibility for screen readers.
LabGuy is building a television using an electrostatic cathode ray tube (CRT) and has assembled the CRT driver circuit designed by Eric Schlaepfer. He is now debugging issues with the horizontal scan on one of the tubes, but has made progress with adding a scope clock board kit and testing other CRTs.
Tree calculus is a minimal, modular, and reflective Turing-complete system that represents programs as unlabeled binary trees. It provides rules for reducing these trees to new values through application operations.
The authors have developed a highly efficient pretraining recipe for large language models, achieving over 10x better compute efficiency than leading open-weight base models. This allows them to train trillion-parameter models with significantly less computational resources.
Europe's largest industrial carbon capture facility was inaugurated in the Netherlands, marking a significant step towards reducing emissions from energy-intensive industries. The project is expected to capture and store 12 million tons of CO2 over 15 years, contributing to European climate goals and industrial transformation.
The author explores the limitations of large language models, particularly in image and video editing tools, where recursive processes can lead to chaotic results. Gemini's attempts to rewrite a passage resulted in increasingly bizarre metaphors, demonstrating the model's struggles with open-ended rewrites.
My collection of gaussian splats — 3D scans of things around me, reconstructed from photos and viewable right in the browser.