961
Phi-4: Microsoft's Newest Small Language Model Specializing in Complex Reasoning
Today we are introducing Phi-4, our 14B parameter state-of-the-art small language model (SLM) that excels at complex reasoning in areas such as math, in...
New
The latest blog posts to take off on Hacker News. 7,293 posts.
962
Dioxus 0.6 – Crossplatform apps with Rust
A fullstack crossplatform app framework for Rust. Supports Web, Desktop, SSR, Liveview, and Mobile.
963
Making memcpy(NULL, NULL, 0) well-defined
C2y makes memcpy(NULL, NULL, 0) and other zero-length operations on null pointers well defined. This removes a source of bugs that may result in security issues.
964
Running Durable Workflows in Postgres Using DBOS
Technical deep dive into the new DBOS integration for Supabase
965
Devin is now generally available
The work Devin has been doing and how your team can start using Devin today.
966
Limbo: A complete rewrite of SQLite in Rust
we forked SQLite with the libSQL project. What would it be like if we just rewrote it?
967
Lies I was told about collab editing, Part 1: Algorithms for offline editing
In early 2024, I began investigating collaborative editing systems for use in Moment ’s core text editor.
968
AI hallucinations: Why LLMs make things up (and how to fix it)
Nine Technical Strategies for Reducing Hallucination
969
Phoenix LiveView 1.0.0 is here
LiveView 1.0 is out!
970
A new home for Python-build-standalone
Astral is taking stewardship of python-build-standalone, Gregory Szorc's foundational project for installing portable Python distributions.
971
We switched from Next.js to Astro (and why it might interest you)
Follow the first article of a series in which we'll try to summarize our journey with Astro, sharing many cool little tricks and details we found out (or totally came up with) in the process.
972
LLVM-powered devirtualization
Virtualization is a powerful technique for code obfuscation, and reversing it can be challenging. In this post, we cover the work done during an internship on developing an automated devirtualization tool. We explore a simplified taint-based approach and discuss its limitations. For a more in-depth analysis, the full…
973
Deno vs. Oracle: Canceling the JavaScript Trademark
Oracle is holding the JavaScript trademark hostage, and we’re pursuing legal means to #FreeJavaScript. Here’s a brief update.
974
Understanding SIMD: Infinite complexity of trivial problems
A deep dive into the complexities of optimizing code for SIMD instruction sets across multiple platforms.
975
976
Mark–Scavenge: Waiting for Trash to Take Itself Out
This blog post summarises a new garbage collection algorithm called Mark-Scavenge, which highlights how using reachability as a proxy for liveness in moving GCs leads to unnecessary data movement and how we can address this. This work is from the latest paper within the research collaboration between Oracle and…
977
SQLite’s Use of Tcl (2017)
Tap, Click, Launch
978
The FORTH code for Chipwits is released in the game's 40th anniversary
To celebrate ChipWits' 40th Anniversary, the original FORTH source code has been open sourced! Learn about the game's history and source code
979
PHP 8.4
PHP 8.4 is a major update of the PHP language. It contains many new features, such as property hooks, asymmetric visibility, an updated DOM API, performance improvements, bug fixes, and general cleanup.
980
Building Databases over a Weekend
In this post we take you on a walkthrough on how you can use DataFusion to build your own developer experience for databases.
981
GNU Artanis 1.0.0 Released
The first product-level modern Web framework of Scheme programming language.
982
FLTK 1.4 Released
Update (Nov. 18, 2024): FLTK 1.4.0-1 is a minor update that fixes a build error of a single test program (test/fltk-versions.cxx) on Windows (Visual Studio only). The FLTK library is not affected. End of Update
983
Bit-twiddling optimizations in Zed's Rope
From the Zed Blog: In this episode of Zed Decoded, Thorsten and Antonio walk through the performance optimizations Antonio when working on Zed's Rope data structure before they then pair on adding more optimizations
984
The myth that you can’t build interactive web apps except as single page app
Tony Alaribe challenges common myths about multi-page applications (MPAs) and explores how modern browser technologies can enable fast, interactive, and offline-capable web applications without relying on single-page application (SPA) frameworks. Alaribe discusses advancements in service workers, caching, and…
985
Optimizers: The Low-Key MVP
The query optimizer is an important part of any analytical database system as it provides considerable performance improvements compared to hand-optimized queries, even as the state of your data changes.
986
Non-elementary group-by aggregations in Polars vs pandas
A closer look at non-elementary group-by aggregations
987
The Practical Guide to Scaling Django
Most Django scaling guides focus on theoretical maximums. But real scaling isn't about handling hypothetical millions of users - it's about systematically eliminating bottlenecks as you grow. Here's how to do it right, based on patterns that work in production.
988
Are We PEP740 Yet?
PEP 740 is a Python standard for defining cryptographically verifiable attestations hosted by indices like PyPI.
989
OpenMP 6.0
The OpenMP ARB is pleased to announce Version 6.0 of the OpenMP API Specification, a major upgrade of the OpenMP language.
990
AI makes tech debt more expensive
AI increases the penalty for low quality code. Gauge is solving the monolith/microservices dilemma. We’re building tools to untangle codebases through incremental modularization. Our open-source toolkit supports defining and enforcing rules for interfaces and dependencies. By focusing on high cohesion and loose…