A library for incremental computations. Contribute to janestreet/incremental development by creating an account on GitHub.
The author argues that the reaction to Chinese open weight models is overblown, as they are not necessarily cheaper to serve on a marginal cost basis, but rather are benefiting from a lack of compute and a price umbrella. The author suggests that the US should pass a law to make distillation of models fair use and to loosen restrictions on using frontier labs' models for cybersecurity, to ...
The author and their friend successfully ported the classic video game DOOM to a custom CPU they built from scratch, overcoming numerous challenges including memory and speed limitations. After several optimizations, including compiler optimization and pipeline improvements, they were able to achieve a playable 15-20 FPS and are now working on further improvements to reach 30 FPS.
A Koi Pond Mosaic Made From 10 Pounds of 3D Printer Waste: Every 3D printer owner ends up with quite a pile of plastic waste: failed prints, stringy purge, and the plastic purge tower left behind after a multicolor job. Over three years I saved every scrap of mine, and it added up. When I finally weighed it…
You want to find and summarize all PDF files containing quarterly reports in the local workspace ~/Documents/KimiWorkspace and generate a clear summary document. You also want to know about Scheduled Tasks in Kimi Work, specifically if they run when the computer is asleep.
Meta's off-balance-sheet debt is nearly triple its transparent debt at $420 billion. US tech giants' hidden debt swelled to $1.65 trillion in four years, exceeding actual debt due to AI investments.
Jelly UI is a dependency-free Web Components library for soft, tactile product interfaces. Real form controls meet soft-body physics, with dark mode, right-to-left support and WCAG AA color tokens built in.
Mathematicians are using AI tools to find counterexamples to long-standing conjectures, including the Erdős Unit Distance conjecture, Grothendieck's question, and the Jacobian Conjecture. These AI-generated counterexamples are being formalized in Lean, a programming language for mathematics, and are helping humans gain a deeper understanding of the underlying mathematics.
Explore the global spatial index of cultural heritage objects. Browse provenance arcs by country, institution, and collection on an interactive map.
Nativ offers a local AI app for Mac with open models from Google, Cohere, and Liquid AI, no accounts or subscriptions required. It's 100% open source, built on MLX-VLM, and connects to existing coding agents.
Flock Safety lied about its automatic license plate reader operations, prompting the Oshkosh City Council to revoke its contract. Reputable governments should avoid working with Flock due to its pattern of misleading statements.
Scene capture and reconstruction by Vincent Woo. Built on PlayCanvas by Donovan Hutchence. Thank you to Isaac Mason and Andreas Sundquist of World Labs for early prototyping, and to Rebecca Nestle of Grace Cathedral for the opportunity. If you have a connection to a historic location that could benefit from digital preservation, please feel free to email Vincent.
Note: If you pick , as your decimal mark then ; becomes the new default column separator. And if ; is your column separator then the new default row separator becomes ;;. You can use , as both a decimal mark and a row separator if you take care to add a space between the row separator and the following digit. However then you must set both explicitly. This package exposes a single function ...
For some reason, during TacoSprint 2026 I decided to see if we could tackle relocatable binaries in Nix. I enjoy these lofty goals to push Nix and the surrounding ecosystem forward. I am bold if not stupid. I left the last earlier post with one potential idea of how to get there: We could patch the Linux kernel so that $ORIGIN is supported in PT_INTERP and the shebang. I waded through the ...
Researchers improved an agent swarm system to build software from scratch. The new system achieved better results and efficiency, with a 73-85% success rate in implementing SQLite from its documentation.
Click here if you are not redirected.
Alex Southmayd, founder of Bloomy, created an AI-powered mastery-learning platform for K-12 students that provides personalized learning paths and a Socratic AI tutor. Bloomy aims to make one-on-one tutoring affordable and available to every child, with a focus on responsible AI use and safeguarding student data.
American companies are losing the AI model market due to their locked-down business practices, while China's open approach is gaining traction. China's release of AI models openly could turn a US-created compute disadvantage into a distribution advantage, and create a more effective global ecosystem.
Project leader and core team member depart due to burnout and life changes, leaving the project in capable hands. They express hope for Jellyfin's continued success and trust in the team to keep the project alive.
The book "The Psychology of Software Teams" by Cat Hicks provides a science-based approach to understanding software teams, revealing principles for resilience, collaboration, and innovation. It offers a humane alternative to the traditional "death march" approach to software development, focusing on psychological safety, learning, and collaboration.
Little Navmap is an open source flight planner that supports X-Plane and Microsoft Flight Simulator, with a 367 MB installation footprint and 120K lines of C++ code. It uses Qt5, OpenGL, and D3D for rendering and has a user-friendly interface similar to QGIS.
The author proposes a method to optimize model usage by letting an expensive model plan a task and then handing it off to a cheaper model to execute. This approach reduces costs and improves efficiency.
Scott Larson, a computer professional, presented a community presentation on the effects of Surveillance Capitalism, arguing that big players like Google and Facebook build predictive profiles that are sold to advertisers for commercial gain, reshaping society without public knowledge or consent. Larson advocates for informed civic engagement and changing individual behavior to reverse this ...
A father and his 2-year-old son explore the Brio wooden train set and discover it's an interesting algorithms problem, leading them to use backtracking search, constraint satisfaction, and SAT solvers to find the most complex layouts. The son's insights and suggestions, such as using global constraints and counterexample-guided refinement, help the father improve the solvers and ultimately ...
「新宿駅周辺屋内地図データ」（国土交通省）（https://www.geospatial.jp/ckan/dataset/mlit-indoor-shinjuku-r2）を加工して作成
The author of the text discusses the limitations of screen space ambient occlusion (SSAO) in accurately simulating real-world lighting effects, particularly in corners of rooms. They argue that SSAO often produces unrealistic results, such as darkening corners, due to a misunderstanding of how light interacts with surfaces.
A hacker breached Romania's cadastre agency, wiping the country's land registry database after a failed extortion attempt. The hack has brought the real-estate market to a standstill.
Researchers analyzed 12,750 arXiv papers and found that about 32% of new ones read as machine-written, rising from 0.4% before ChatGPT. The study controlled for false positives and found varying adoption rates across fields, with computer science leading at 65%.
The author argues that perfection is not over-engineering, but rather ambiguous requirements. Clear requirements lead to a perfect solution.
The user found a counterexample to the Jacobian conjecture by modifying an existing example using polynomial automorphisms, creating infinitely many equivalent counterexamples. The process involves understanding the original example's mechanism and building genuinely different ones by changing the skeleton or using higher-degree polynomials.