Feed aggregator

Google Gemini is the first proprietary frontier model that can be run on-premises via Google Distributed Cloud for privacy- and cost-conscious enterprises.

Quantum-resistant algorithms play a crucial role in post-quantum cryptography, which protects against threats on digital signatures and current encryption methods.

I’m sure many of you are familiar, but there’s a treacherous gap between finding (or building) a model that works in PyTorch, and getting that deployed into your application, especially in consumer-facing applications.

I’ve been very interested in solving this problem with a great developer experience. Over time, I gradually realized that the highest-impact thing to have was a way to go from existing Python code to a self-contained native binary—in other words, a Python compiler.

I was already pretty familiar with a successful attempt: when Apple introduced armv8 on the iPhone 5s, they quickly mandated 64-bit support for all apps. Unity—where I had been programming since I was 11—kinda got f*cked because they used Mono to run developers’ C# code, and Mono didn’t support 64-bit ARM. Unity ended up building IL2CPP, which transpiles the C# intermediate language into C++, then cross-compiles it. Till date, this is perhaps the most amazing technical feat Unity has achieved imo.

I set out to build something similar, but this time starting from Python. It’s a pretty difficult problem, given the dynamic nature of the language. The key unlock was the PyTorch 2.0 release, where they pioneered the use of symbolic tracing to power `torch.compile`. In a nutshell, they register a callback with the Python interpreter (using CPython’s frame evaluation API), run a function with fake inputs, and record an IR graph of everything that happened in the function.

Once you have an IR graph, you can lower it to C++/Rust code, operation-by-operation, by propagating type information throughout the program (see the blog post for an example). And now is the perfect time to have this infrastructure, because LLMs can do all the hard work of writing and validating the required operations in native code.

Anyway, I wanted to share the proof-of-concept and gather feedback. Using Function is pretty simple, just decorate a module-level function with `@compile` then use the CLI to compile it: `fxn compile module.py` .

TL;DR: Get Rust performance without having to learn Rust ;)

Comments URL: https://news.ycombinator.com/item?id=43632373

Points: 1

# Comments: 0

Article URL: https://imdb.trevorhealy.me

Comments URL: https://news.ycombinator.com/item?id=43632370

Points: 1

# Comments: 1

Article URL: https://www.cbc.ca/news/business/global-recession-tariffs-1.7505272

Comments URL: https://news.ycombinator.com/item?id=43632368

Points: 1

# Comments: 0

Article URL: https://www.nytimes.com/2025/03/31/business/dealbook/isomorphic-google-thrive-investment.html

Comments URL: https://news.ycombinator.com/item?id=43632360

Points: 1

# Comments: 0

Article URL: https://www.nytimes.com/2025/04/09/opinion/trump-deportations-gulag-prison.html

Comments URL: https://news.ycombinator.com/item?id=43632351

Points: 1

# Comments: 1

Article URL: https://www.bloomberg.com/news/articles/2025-04-07/google-ai-search-shift-leaves-website-makers-feeling-betrayed

Comments URL: https://news.ycombinator.com/item?id=43632307

Points: 1

# Comments: 0

Hey HN,

Postgres Pro is an open source Model Context Protocol (MCP) server built to support every stage of the development process.

It does a lot more than help generate and run SQL—it helps you make sure your application and database actually run well.

Features - Industrial-strength tuning algorithms similar to those in MS SQL Server - “What if?” tool to evaluate LLM-generated index suggestions - Works with Cursor, etc., to make changes in ORM code - Ensures safe SQL execution with restricted mode - Includes health checks to stay ahead of production problems

Comments URL: https://news.ycombinator.com/item?id=43632299

Points: 2

# Comments: 0

Article URL: https://blog.thechases.com/posts/remind/

Comments URL: https://news.ycombinator.com/item?id=43632282

Points: 1

# Comments: 0

Article URL: https://nypost.com/2025/04/09/media/kevin-oleary-wants-trump-to-hit-china-with-400-tariffs/

Comments URL: https://news.ycombinator.com/item?id=43632279

Points: 1

# Comments: 1

I always thought it was cool when someone could make a plausible estimate from reasonable guesses. I recently learned that these are sometimes named after Enrico Fermi, the famous physicist, and its the same technique used to create his famous Fermi paradox.

You build a rough logic chain using a few sliders and fixed quantities (e.g. weeks per year), and the goal is to get within an order of magnitude of the true answer. The math is simple; the thinking is the game.

Would love feedback.

Comments URL: https://news.ycombinator.com/item?id=43632278

Points: 1

# Comments: 0

Article URL: https://statmodeling.stat.columbia.edu/2025/04/09/proving-a-null-hypothesis/

Comments URL: https://news.ycombinator.com/item?id=43632264

Points: 1

# Comments: 0

Article URL: https://yusufaytas.com/the-invisible-difference/

Comments URL: https://news.ycombinator.com/item?id=43632260

Points: 1

# Comments: 0

Article URL: https://www.fastmail.com/blog/email-is-your-electronic-memory/

Comments URL: https://news.ycombinator.com/item?id=43632243

Points: 1

# Comments: 0

Article URL: https://github.com/majidmanzarpour/vibe-coding-starter-pack-3d-multiplayer

Comments URL: https://news.ycombinator.com/item?id=43632238

Points: 1

# Comments: 0

Keeping your viewing history private isn't the only reason to remove the shows and movies you watched.

Article URL: https://sparkgravity.com/journal/spin-rig-v0-1/

Comments URL: https://news.ycombinator.com/item?id=43632214

Points: 1

# Comments: 0

Article URL: https://www.docker.com/blog/introducing-docker-model-runner/

Comments URL: https://news.ycombinator.com/item?id=43632196

Points: 1

# Comments: 0