Sorry
Math 1.0 prioritized solving open problems, now Math 2.0 values holistic progress through exposition, community building and new study directions. AI can contribute positively but requires imagination and ambition beyond simple problem-solving approaches.
Whistle is a speech recognition model released for mobiles, wearables, and other devices with no dependencies or CPU usage. It supports 7 languages and provides word timestamps, speech embedding, and transcript output.
The author has been using DeepSeek 4.1 Flash for a month, finding it comparable to Opus in terms of performance and cost-effectiveness. They praise the model's ability to handle complex tasks without significant differences from other models, making it an attractive option for developers on a budget.
The author tested GPT-6 Astra and Opus 5.5 for creating interactive visualizations, finding Opus 5.5 to be a significant improvement in design capabilities. The model successfully generated an explorable explanation of Invisible Cities by Italo Calvino within the given time frame, impressing the author with its quality and potential ceiling.
OpenAI's revenue was lower than expected at $50 billion, contrary to a reported $68 billion. This news led to a decline in AI stocks including Nvidia and Oracle.
Three papers were withdrawn due to a sign error, with notices explaining the gap and linking to archived manuscripts. The remaining 19 papers were revised with proof repairs, corrected statements, and updated references.
DVD menus were a key feature of early DVD releases, offering interactive options and immersive experiences. Many classic DVDs showcased creative and engaging menu designs that have become nostalgic favorites among fans.
We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice. https://t.co/HI6otY2NTO
An interactive simulation of Elizabeth Holmes' desk. Open her MacBook, scroll her iPhone, run the Edison machine. Every text and email is real, from the court trial, parsed by Extend.
Wood Mackenzie's report shows that four-hour battery storage is now cheaper than open-cycle gas turbines in all 43 markets, with costs expected to fall further by 2035. This shift marks a significant turning point for power system planning across the Middle East and Africa, where solar and wind are becoming increasingly cost-competitive.
A small team of developers maintain many essential software components, including time zone rules and compression tools. These projects are used by billions of devices worldwide, with some relying on donations or patronage to continue development.
Canadian poet Anne Carson wins Nobel Prize in Literature for her genre-crossing works, including Autobiography of Red. She is the first woman to win the TS Eliot prize and has received Guggenheim and MacArthur fellowships.
The demo is recorded and translated into C, then compiled to WebAssembly with modeled hardware. The original files are served unmodified for an authentic experience.
You deserve better from social media. You deserve a more human internet. Help Orkut to bring back what really matters: people, communities, and genuine connection.
Individuals with Attention-Deficit/Hyperactivity Disorder (ADHD) often experience circadian rhythm dysfunction, which affects up to 80% of adults and 82% of children. This disruption can lead to improved symptoms when targeted through behavioral interventions such as melatonin therapy and bright light exposure.
Carson Gross, a computer science professor, believes AI will change programming but not dramatically. He advises juniors to write code themselves and use AI as a helpful tool rather than a code generator.
Please enable JS and disable any ad blocker
A direct port of the TypeScript compiler, checker and LSP to Rust has been completed, with 100% compatibility in every real-world project tested. The port was achieved using a combination of OpenAI models and cost around $24,047 in API-priced tokens over two weeks.
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.
zerobrew is a package manager that uses Homebrew's bottle build farm, installing packages faster by reusing content-addressed store entries. It's experimental and recommended to run alongside Homebrew, not as a replacement.
The author realized that conversation is often a warm-up process, and people may need time to feel comfortable discussing sensitive topics. This understanding came from their experience with their daughter and the limitations of language in expressing emotions.
New gTLD Program: 2026 Round public application information, including application status.
The Telnet BBS Guide lists 1065 Bulletin Board Systems worldwide, offering dial-up and telnet access with descriptions and downloadable listings.
Google's system detected unusual traffic from your computer network, possibly due to malicious software or automated requests. Solving the CAPTCHA will allow you to continue using Google services temporarily.
The author has been testing a 32-inch 4K QD-OLED monitor for over two and a half years, burning it in with static content to assess burn-in resistance. The panel shows noticeable burn-in after 30 months, particularly in the center of the screen and taskbar area.
Step 5 Preview is StepFun's flagship model for agentic work, built on a sparse Mixture-of-Experts architecture (27B active / 600B total parameters). $1 per million input tokens, $2.70 per million output tokens. 1,000,000 token context window, maximum output of 64,000 tokens.
LittleBit-2 is a method for ultra-low-bit quantization of large language models by aligning latent factors through Internal Latent Rotation with Joint Iterative Quantization. It enables extreme compression while preserving the original model architecture at inference time.
Anthropic updates its usage policy to address high-risk cases of misuse, including election interference and surveillance. The new policy prohibits "sustained and needless abusive or cruel behavior" towards AI models like Claude.
K10s is a terminal-based interface for Kubernetes that provides an instantly searchable, themeable, and AI-powered experience. It offers features like auto-completion, shortcuts, and customizable plugins to simplify cluster management.
Ethereum researchers warn of potential AI threat to crypto security before quantum computers, advising users to migrate funds to fresh addresses. Experts recommend gradual and controlled mass migration of assets to new wallets.
A $10,811.41 Cloudflare bill was caused by an infinite loop in a Durable Object alarm that performed 6 trillion reads and writes due to poor coding. The issue was not resolved and the full amount was paid without refund.
dat-ecosystem is a post-web p2p community of projects - Most projects are self funded. Some of the projects contribute maintainance and development to core pieces of the Dat ecosystem while others create high level applications built on top of p2p protocols.
The author is concerned about potential weaknesses in public-key encryption due to advancements in machine learning and mathematical analysis, which may lead to new cryptanalytic results that improve the ability to attack standardized schemes. This could force a re-evaluation of security parameters and potentially deprecate smaller parameter sets already deployed in live systems.
Biohub, the US Department of Energy and National Institutes of Health are investing $1.8 billion to generate AI-ready biological data for predictive models of life. This will enable researchers to digitally ask, predict and answer biological questions, accelerating disease prevention and treatment.
Rank the Interop 2027 features you care most about
A new compression model called CRAM offers faster performance than ZRAM by storing compressed data in RAM, avoiding swap entirely. CRAM claims to boost performance up to 452x that of ZRAM and is being developed by Meta's Gregory Price team.
Cloudflare, a major internet infrastructure company, has been ordered by French courts to block pirate sports streams through its CDN service but not its public DNS resolver. The court rejected Canal+, the requester of the orders, as Cloudflare had taken reasonable measures to comply with the blocking requests.
OpenAI released a repository of mathematical manuscripts without permission, disregarding norms of scientific research. Mathematicians reject the publication as untrustworthy and urge caution, instead advocating for human-centered science.
Rembrandt is a free photo editor for macOS, Windows, and Linux with no account or subscription required. It offers various AI-powered editing tools and features like Super Resolution, Refocus, and Lens Blur without changing the original photos.
The author of a webcomic, releasing work under free culture licenses, is facing issues with AI-generated derivations of their art and stories. They want to prohibit AI-generated creations inspired by their work, but current Creative Commons licenses do not provide this option.
The key skill for developers in the age of generative models is high-level reasoning about algorithms, data structures, and data flows. Clojure's declarative syntax and live REPL environment make it an ideal language for agents to work with, allowing for rapid development and testing without compile cycles or state reconstruction.
A mathematician is disappointed with OpenAI's preprint on the Partition Principle, citing poor writing quality and unclear structure. The author believes that such a paper should be rejected for its lack of clarity and accessibility to non-experts in the field.
The recruiter emails are likely generated by an LLM, claiming to match the candidate's experience with a job description that has little to do with their actual background. The impersonal tone and lack of effort in personalization make these emails feel unapologetically fake.
Researchers from Flinders University have found that vanillin, a compound extracted from vanilla pods, has antioxidant and antibacterial properties making it suitable for wound healing. Vanillin could be used to create cost-effective materials for chronic wound treatment due to its abundance and low cost.
A student and friend are trying to find a way to bypass their school's controlled remote code execution environment by exploiting the Address Space Layout Randomization (ASLR) feature, which randomizes memory addresses. They aim to call arbitrary functions, including execve for shell access.
A former Adobe user is excited about ArtCraft, a new open-source alternative to Creative Cloud that uses AI and Rust programming language. The project aims to provide affordable design tools for users who can no longer afford Adobe's subscription-based model.
You successfully built a native AI chat app for the Nokia 110 4G using reverse-engineered firmware, utilizing its native functions and sending messages to DeepSeek chat API. The app is currently loaded from RAM and can run unplugged using mobile data, but permanent installation remains unresolved.
A Python 3.10+ starter for deploying a Kubernetes fixture, injecting faults, and scoring investigations with configurable judges is provided, requiring kubectl and Docker for local cluster creation. The tool supports Edge Delta's native AI investigations, Grafana's native AI investigations, and Claude using each platform's observability CLI across various scenarios.
Your new favorite word game: a new Daily and Mini every day. Drag lettered pieces into a frame and turn them until every row and column spells a word.
Six models played 100 games each against arcade ghosts, with rankings and leaderboards available. The game uses a model's probability per direction to determine Pac-Man's next move, with real-time gameplay and scoring.
AI has the potential to bring humanity into its best era yet, solving pressing problems like energy and food production. However, concerns about AI's negative impact must be addressed through regulations and equitable access to its benefits.