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.
The author attended OpenSauce, a makers' event, and noticed a shift in attitude towards AI, from outright rejection to reluctant acceptance, but still questioned the ethics of automating away certain tasks. They wonder if people are only okay with eliminating roles that are considered low skill or boring.
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…
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.
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.
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.
Explore the global spatial index of cultural heritage objects. Browse provenance arcs by country, institution, and collection on an interactive map.
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.
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.
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.
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.
Click here if you are not redirected.
I keep hearing anecdotes from people who used coding agents to reverse-engineer and automate devices in their homes. I think this is an interesting illustration of the impact of the reduced cost of writing code. Prior to agents, it was entirely possible to reverse-engineer home devices. The problem was the ROI - was it really worth all of that effort? More importantly, any experienced ...
Little Navmap is an open source flight planner. It supports working with flight simulators like X-Plane and Microsoft Flight Simulator. The project was started ten years ago by Alexander Barthel. It is made up of ~120K lines of C++. It uses Qt5, OpenGL and D3D for rendering the UI. The 367 MB installation footprint includes a 134 MB SQLite3 database where its data is kept. The application ...
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.
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.
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.
The author argues that perfection is not over-engineering, but rather ambiguous requirements. Clear requirements lead to a perfect solution.
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 ...
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.
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.
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.
「新宿駅周辺屋内地図データ」（国土交通省）（https://www.geospatial.jp/ckan/dataset/mlit-indoor-shinjuku-r2）を加工して作成
Um estudo de otimização de multiplicação de matrizes em C++ usando AVX2/FMA alcançou 85,30 GFLOPS em um AMD Ryzen 5 5500, superando a implementação ingênua por 56,5 vezes. O modelo MX24 atingiu o melhor desempenho, com erro máximo absoluto de 0,0.
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%.