1321
AI is not our future
We are not adding generative AI to our apps. Here's why.
New
The latest blog posts to take off on Hacker News. 2,111 posts.
1322
What works (and doesn't) selling formal methods
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
1323
When Fine-Tuning Makes Sense: A Developer's Guide
Most teams are curious about fine-tuning and how it might help their AI products, but they don't know what to expect from the process, how to measure success, or where to start.
1324
A new generation of Tailscale access controls
Grants are Tailscale’s next generation of access controls that combine network and application capabilities into a single syntax.
1325
Open-sourcing circuit tracing tools
Our open-source tools generate attribution graphs showing how language models reach decisions.
1326
ClickHouse raises $350M Series C
ClickHouse, Inc., a leader in real-time analytics, data warehousing, observability, and AI/ML, today announced it has raised $350 million in Series C financing.
1327
Run a C# file directly using dotnet run app.cs
Run C# files instantly with dotnet run app.cs, no project file needed! Coming to .NET 10, try it out today in Preview 4.
1328
HTAP is Dead
Databricks offers a unified platform for data, analytics and AI. Build better AI with a data-centric approach. Simplify ETL, data warehousing, governance and AI on the Data + AI Platform.
1329
CheerpJ 4.1: Java in the browser, now supporting Java 17 (preview)
The latest release of our state-of-the-art Java runtime that runs completely in the browser via WebAssembly, is now available. Supports up to Java 17.
1330
DWARF as a Shared Reverse Engineering Format
Create DWARF debug information with the LIEF Extended DWARF editor and share reverse-engineered types and functions between Binary Ninja and Ghidra plugins.
1331
Look Ma, No Bubbles: Designing a Low-Latency Megakernel for Llama-1B
Benjamin Spector* , Jordan Juravsky* , Stuart Sul , Owen Dugan , Dylan Lim , Dan Fu , Simran Arora , Chris Ré
1332
Mistral Agents API
The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.
1333
Why Cline doesn't index your codebase
Here's a common question we get from prospective Cline users: "How does Cline handle large codebases? Do you use RAG to index everything?" It's a reasonable question. Retrieval Augmented Generation (RAG) has become the go-to solution for giving AI systems access to large knowledge bases. But for Cline, we've taken a…
1334
Calendars, Contacts and Files in Stalwart
We’re excited to announce the release of Stalwart v0.12, a significant milestone that evolves Stalwart from a powerful mail server into a complete, integrated communication and collaboration...
1335
GitHub MCP exploited: Accessing private repositories via MCP
We showcase a critical vulnerability with the official GitHub MCP server, allowing attackers to access private repository data. The vulnerability is among the first discovered by Invariant's security analyzer for detecting toxic agent flows.
1336
A new class of materials that can passively harvest water from air
Researchers from Penn Engineering have discovered nanostructured materials that can passively harvest water from the air without energy input, enabling water-harvesting systems for arid regions.
1337
The double standard of webhook security and API security
Explore the surprisingly different security standards we apply to webhooks versus traditional API requests.
1338
The truth about soft plastic recycling points at supermarkets
🕵️ 40 bundles of soft plastic packaging waste were tracked through take-back schemes across England over 12 months.
1339
Writing your own CUPS printer driver in 100 lines of Python (2018)
Behind the scenes blog of pretix, your friendly ticketing system from next door.
1340
CAPTCHAs are over (in ticketing)
Behind the scenes blog of pretix, your friendly ticketing system from next door.
1341
Worlds first petahertz transistor at ambient conditions
In a groundbreaking international effort, researchers demonstrated a way to to manipulate electrons using pulses of light that last less than a trillionth of a second to record electrons bypassing a physical barrier almost instantaneously.
1342
Why Algebraic Effects?
Algebraic effects 1 (a.k.a. effect handlers) are a very useful up-and-coming feature that I personally think will see a huge surge in popularity in the programming languages of tomorrow. They’re one of the core features of Ante, as well as being the focus of many research languages including Koka , Effekt , Eff , and…
1343
Modification of acetaminophen to reduce liver toxicity and enhance drug efficacy
2025 Science Talent Search Project Showcase: Chloe Yehwon Lee, 17, of Murphy, explored a way to lower the toxic effects of acetaminophen (Tylenol) on the liver for her Regeneron Science Talent Search chemistry project.
1344
Positional preferences, order effects, prompt sensitivity undermine AI judgments
When Large Language Models are used as judges for decision-making across various sensitive domains, they consistently exhibit unpredictable and hidden measurement biases, making their verdicts unreliable despite common prompt engineering practices.
1345
Postgres IDE in VS Code
We are excited to announce the public preview of the brand-new PostgreSQL extension for Visual Studio Code (VS Code), designed to simplify PostgreSQL...
1346
Remembering Alasdair MacIntyre
What I do know is this. I have never met, nor do I ever expect to meet, a philosopher as fascinating as Alasdair MacIntyre.
1347
Remote Prompt Injection in Gitlab Duo Leads to Source Code Theft
The Legit research team unearthed vulnerabilities in GitLab Duo.
1348
KumoRFM: A Foundation Model for In-Context Learning on Relational Data
Introduction to Kumo Relational — the relational foundation model for predictive AI on relational data
1349
We’ll be ending web hosting for your apps on Glitch
We’ve got an important update for the Glitch community today: We’ll be ending web hosting for your apps on Glitch.
1350
Claude 4
Discover Claude 4's breakthrough AI capabilities. Experience more reliable, interpretable assistance for complex tasks across work and learning.