Hacker GitHub

← All repos

dart-lang/pub

View on GitHub ↗ ★ 1,125 Dart

The pub command line tool

8 mentions on Hacker News by 8 people: 1 story, 7 comments · first 2018-07-28 · latest 2026-01-20

Mentions per year 8 mentions · busiest year 2023 (3)
20082026
  1. …I've just started reading up on Dart's primer [0] but I feel like it's slightly out of my grasp [0] https://github.com/dart-lang/pub/blob/master/doc/solver.md
  2. …contrast, Russ Cox presents an algorithm that doesn't use a SAT solver (intended for Go) [2]. [1] https://github.com/dart-lang/pub/blob/master/doc/solver.md [2] https://research.swtch.com/vgo-mvs
    comment by hgs3 · 2023-08-23 · in Writing a Package Manager
  3. Dart as in the language? Dart uses a SAT solver: https://github.com/dart-lang/pub/blob/master/doc/solver.md
  4. ▲ 1
    PubGrub: A next-generation version solving algorithm
    story by 0x54MUR41 · 2023-03-15 · 0 comments
  5. …accidentally publishing secrets. That code is public, it relies on regexes and entropy estimation: https://github.com/dart-lang/pub/blob/eb8ee21a089ebe0f2c2dd8... It was heavily inspired by the researchers in:…
  6. …to use are much more unpredictable and hard to understand than estimated (look at Dart and Cargo) https://github.com/dart-lang/pub/blob/master/doc/solver.md https://github.com/rust-lang/cargo/blob/1ef1e0a12723ce9548d7...
    comment by klodolph · 2022-03-31 · in How Go mitigates supply chain attacks
  7. …The official docs are a rare learning resource, but require a bit more time to digest. https://github.com/dart-lang/pub/blob/master/doc/solver.md
  8. …Poetry, Cocoapods, and Dart are all apparently using this SAT solver: https://github.com/dart-lang/pub/blob/master/doc/solver.md FWIW, I wrote a package installer that worked with RPMs, Solaris packages and AIX packages about 15
    comment by js2 · 2018-07-28 · in A response about dep and vgo