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
20082026
-
…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
comment by anitil · 2026-01-20 · in How we made Python's packaging library 3x faster -
…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 -
Dart as in the language? Dart uses a SAT solver: https://github.com/dart-lang/pub/blob/master/doc/solver.md
comment by tgamblin · 2023-05-27 · in Modern SAT solvers: fast, neat and underused (2018) -
…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:…
comment by jopsen · 2022-12-20 · in Tencent WeChat is now a GitHub secret scanning partner -
…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 -
…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
comment by bojanz · 2018-08-04 · in Modern SAT solvers: fast, neat and underused -
…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