Hacker GitHub

← All repos

rust-lang/polonius

View on GitHub ↗ ★ 1,758 Rust

Defines the Rust borrow checker.

20 mentions on Hacker News by 20 people: 1 story, 19 comments · first 2018-05-19 · latest 2026-05-18

Mentions per year 20 mentions · busiest year 2022 (5)
20082026
AllStoriesComments NewestTopOldest
  1. …logic, each extending a clean mathematical model differently. [0] https://github.com/flix/flix [1] https://github.com/rust-lang/polonius [2] RDFox [3] https://github.com/eclipse-biscuit/biscuit [4] https://github.com/vmware-archive/differen…
    comment by gobdovan · 2026-05-18 · in Prolog Coding Horror
  2. …compilers While not quite in rustc proper, along these lines: https://github.com/rust-lang/chalk + https://github.com/rust-lang/polonius
    comment by refset · 2026-01-08 · in Signals vs. Query-Based Compilers
  3. ▲ 1
    Polonius – A core library that models the Rust borrow check
    story by tamnd · 2025-10-24 · 0 comments
  4. …on a nightly rust compiler to access it. [0]: https://rust-lang.github.io/rfcs/2094-nll.html [1]: https://github.com/rust-lang/polonius/tree/master
    comment by genrilz · 2025-07-07 · in Building the Rust Compiler with GCC
  5. …create a more ergonomic evolution of Rust, because they already have. A few times. See: Polonius, https://github.com/rust-lang/polonius , and NLL, https://rust-lang.github.io/rfcs/2094-nll.html
    comment by mustache_kimono · 2025-02-26 · in Microsoft is Getting Rusty [video]
  6. …to have anything obviously about Polonius either. [0]: https://rust-lang.github.io/polonius/ [1]: https://github.com/rust-lang/polonius [2]: https://rust-lang.github.io/rfcs/
    comment by aw1621107 · 2024-10-29 · in Why Safety Profiles Failed
  7. …checker was called Polonius[1], so it wouldn't be the first Hamlet reference in Rust land.) [1] https://github.com/rust-lang/polonius
    comment by maxbond · 2024-05-17 · in Exercises to Learn Rust
  8. …stage 1 without it, use that to build polonius, then build the final compiler with it included. [1] https://github.com/rust-lang/polonius
    comment by amaranth · 2022-12-14 · in Rust front-end merged in GCC trunk
  9. …official borrow checker implementation called Polonius uses it as a dependency, so it makes sense: https://github.com/rust-lang/polonius/blob/981785c101b68ff54...
    comment by idmitrievsky · 2022-11-14 · in Datafrog: A lightweight Datalog engine in Rust
  10. …wrote it to help rust folks who were previously doing work with differential-dataflow directly." 1. https://github.com/rust-lang/polonius/pull/36#issuecomment-3...
    comment by drewbug01 · 2022-11-08 · in Differential Datalog: a programming language for incremental computation
  11. …it, Polonius is still intended to be the next version of the borrow checker. The repostory is here: https://github.com/rust-lang/polonius There doesn't seem to have been any meaningful development for well over a year. There is some very…
    comment by mjw1007 · 2022-06-17 · in Adding a Rust compiler front end to GCC [video]
  12. …correct were allowed by the checker. Polonius is one thing intended to further improve upon this: https://github.com/rust-lang/polonius
    comment by tialaramex · 2022-05-19 · in The Rust Borrow Checker – A Deep Dive
  13. …. The Polonius reimplementation of the Rust borrowchecker uses Datafrog: https://github.com/rust-lang/polonius/
    comment by JoshTriplett · 2021-10-23 · in Scryer Prolog: A modern Prolog implementation written mostly in Rust
  14. …differential-datalog library mentioned in the OP to underlie their third-generation borrow checker: https://github.com/rust-lang/polonius
    comment by kibwen · 2020-07-19 · in Turning the IDE Inside Out with Datalog
  15. It's called "polonius": https://github.com/rust-lang/polonius There are some posts on Niko Matsakis' blog, starting with this one: https://smallcultfollowing.com/babysteps/blog/2018/04/27/an-... More recently a really good talk, with…
    comment by Rusky · 2020-05-08 · in Show HN: Micro-mitten – Research language with compile-time memory management
  16. Since the new borrow checker is maturing, people are working on the new new borrow checker: https://github.com/rust-lang/polonius
    comment by sanxiyn · 2019-04-23 · in Rust's 2019 Roadmap
  17. …doing .. advanced weird tech like they did with LB. I'd watch them (I do). 3. Polonius ( https://github.com/rust-lang/polonius ) defines the Rust borrow checker as Datalog rules, and went from differential dataflow to datafrog (…
    comment by frankmcsherry · 2019-03-11 · in The Essence of Datalog (2018)
  18. …required to apply the borrow checker's rules. [0]: https://stackoverflow.com/q/50251487/155423 [1]: https://github.com/rust-lang-nursery/polonius
    comment by shepmaster · 2018-10-25 · in Announcing Rust 1.30
  19. …that the upcoming, shiny, great borrow checker is a tad slow, pathologically so in some cases. https://github.com/rust-lang-nursery/polonius But I do love the way they're tackling the issue know, as this is a much more generic solution.
    comment by eptcyka · 2018-07-20 · in Announcing Rust 1.27.2
  20. …The initial implementation used differential dataflow, but this was just merged in: https://github.com/rust-lang-nursery/polonius/pull/36#issuec... Very cool stuff!
    comment by steveklabnik · 2018-05-19 · in A relatively simple Datalog engine