frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust

https://github.com/harmont-dev/hsrs
2•suis_siva•46m ago
Hey everyone! I've been working on hsrs, a type-safe Haskell Bindings Generator for Rust.

I couldn't really find any bindings generator that would create type-safe, rich bindings for Haskell from Rust. Naturally, both languages have rich type systems, so I was amazed that no awesome bindings generator already existed, hence I decided to write my own. hsrs feels very similar to pyo3 and napi-rs, and if you've used those, hsrs will feel right at home.

What's unique about hsrs as opposed to hs-bindgen is that it has type-safe bindings for rich types, like Result, Maybe, etc. while also generating Haskell bindings. The repo contains a minimal example, and more details are available in the haskell discourse: https://discourse.haskell.org/t/ann-hsrs-ergonomic-haskell-b...

The 30 Year Game

https://remysharp.com/2026/05/17/the-30-year-game
1•tobr•5m ago•0 comments

In Memoriam: Peter G. Neumann (1932-2026)

https://cacm.acm.org/news/in-memoriam-peter-g-neumann-1932-2026/
1•fork-bomber•5m ago•0 comments

Standard Chartered to cut roles as AI use increases

https://www.bbc.com/news/articles/crep3v8vzglo
1•KnuthIsGod•9m ago•0 comments

Xiaomi YU7 GT Breaking the Nürburgring SUV Lap Record [video]

https://www.youtube.com/watch?v=Fx6d-K_8QXg
1•gainsurier•12m ago•0 comments

Mug Shots: A Small Town Noir (2014)

https://theappendix.net/issues/2014/4/mug-shots-a-small-town-noir
2•samclemens•13m ago•0 comments

As of April 2026: Iran has destroyed 42 U.S. Military Aircraft in Op: Epic Fury

https://nationalsecurityjournal.org/iran-destroyed-42-u-s-military-aircraft-in-operation-epic-fur...
13•Gaishan•14m ago•1 comments

We Made a World for Bots

https://empaworld.ai
1•sarah-oates•17m ago•0 comments

Adding Fake Shadows to My Puzzle Game

https://qcgeneral29.itch.io/lets-learn/devlog/1524864/alpha-version-8-fake-shadows
1•LandenLove•19m ago•0 comments

Causal Video Models Are Data-Efficient Robot Policy Learners

https://www.rhoda.ai/research/direct-video-action
1•e_iris•22m ago•0 comments

PyTorch Landscape

https://pytorch.landscape2.io
3•salamo•22m ago•0 comments

Replacing My ISP Router with a UniFi Cloud Gateway Max

https://kevquirk.com/replacing-my-isp-router-with-a-unifi-cloud-gateway-max
1•speckx•24m ago•0 comments

Codex-Maxxing

https://jxnl.co/writing/2026/05/10/codex-maxxing/
2•dnw•27m ago•0 comments

Product is not the problem. Your main image might be

https://www.getwhitebg.com
1•yibaoshan•28m ago•0 comments

SEC to Ready Plan for Trading Crypto Versions of Stocks

https://www.bloomberg.com/news/articles/2026-05-18/sec-is-said-to-ready-plan-for-trading-crypto-v...
3•petethomas•29m ago•0 comments

The first AI Bulk Upscaling tool for filmmakers and creator pipelines

https://upscalehero.com/
1•Ptconnection•33m ago•1 comments

Proposals Repo, a place for ideas to start their incubation journey

https://github.com/WICG/proposals
2•nashashmi•37m ago•0 comments

Balancing persistence vs. pivoting – is grit a virtue or wasteful?

https://optimizedbyotto.com/post/balancing-persistence-vs-pivoting/
1•MaxMussio•39m ago•0 comments

Formal proof that agentic AI governance latency can be O(1) instead of O(days)

https://arxiv.org/abs/2605.17909
1•riddhimohan•39m ago•0 comments

Ask HN: Company is rapidly cutting AI tool spend how to prep team?

3•Snakes3727•42m ago•8 comments

Show HN: Memory Concierge – hotel concierge AI

https://memory-concierge.vercel.app
1•abhilash617•43m ago•0 comments

Using algebra and LLMs to verify a flight-plan bug fix in Lean

https://jameshaydon.github.io/algebra-llms-lean-flight-plan/
2•jameshh•45m ago•0 comments

Show HN: Hsrs – Type-Safe Haskell Bindings Generator for Rust

https://github.com/harmont-dev/hsrs
2•suis_siva•46m ago•0 comments

Digital Growth Starts Here – Digital Marketing Agency

1•magicalweb•46m ago•0 comments

Apple Silicon costs more than OpenRouter

https://twitter.com/rohan_sood15/status/2056585919805714777
8•rohansood15•50m ago•0 comments

LLMCap – A proxy that hard-stops LLM API calls when you hit a dollar cap

https://www.llmcap.io/
2•cfaruk•55m ago•0 comments

Frontier models at open source cost – hot new AI Model Router

https://www.orcarouter.ai/
2•sangwen•57m ago•0 comments

Active Supply Chain Attack Compromises Antv Packages on NPM

https://socket.dev/blog/antv-packages-compromised
3•882542F3884314B•58m ago•0 comments

Finnish spy chief warns Europe may never break free from foreign tech

https://www.politico.eu/article/europe-tech-dependent-us-china-fully-sovereign-finnish-intel-chief/
6•giuliomagnifico•1h ago•1 comments

New Database Back End for WDQS

https://www.wikidata.org/wiki/Wikidata:SPARQL_query_service/WDQS_backend_update/Backend_Replacement
1•altilunium•1h ago•0 comments

Google, Blackstone to Create AI Cloud Firm with In-House Chips

https://www.bloomberg.com/news/articles/2026-05-19/google-to-create-ai-cloud-business-with-blacks...
2•htrp•1h ago•0 comments