Home Knowledge Base Bernardi

Bernardi

No mentions found

This entity hasn't been tracked yet, or Iris is still building its knowledge base.

Related Articles from SNS

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

arXiv:2604.15290v4 Announce Type: replace Abstract: A promising approach to unifying functional and imperative programming paradigms is to localize mutation using linear or affine types. Haskell, a purely functional language, was recently extended with linear types by Bernardy et al., in the name of Linear Haskell. However, it remained unknown whether such a pure language could safely support non-local borrowing in the style of Rust, where each borrower can be freely split and dropped...

arXiv CS 2d ago

One Nation SA says it will not support 'one scrap of legislation' by Labor

One Nation SA has issued an ultimatum to oppose every piece of legislation introduced by the government, arguing it has been short-changed when it comes to staffing allocations. But the government is standing firm, saying One Nation is given seven extra staff for its seven state MPs. One Nation's decision will limit the government's options to get legislation through the upper house, forcing Labor to work with Greens on bills that don't have the support of the Liberals.

ABC Australia 8d ago

Show HN: Breathe CLI – Paced resonance breathing in the macOS terminal

I built a terminal app that paces slow breathing at 6 breaths per minute for vagal tone training. It's a single Python file, stdlib only, no dependencies — just run breathe and follow the bar. I'm a cardiology patient (HFrEF).

Hacker News 10d ago