Hacker GitHub

← All repos

google/wuffs

View on GitHub ↗ ★ 4,874 C

Wrangling Untrusted File Formats Safely

121 mentions on Hacker News by 76 people: 18 stories, 103 comments · first 2017-11-16 · latest 2026-10-29

Mentions per year 121 mentions · busiest year 2021 (28)
20082026
AllStoriesComments NewestTopOldest
  1. Wuffs? Never heard of that one before. Edit: here's the link, interesting idea. https://github.com/google/wuffs
    comment by nerdponx · 2021-02-18 · in Mitigating Memory Safety Issues in Open Source Software
  2. …also built some languages themselves that solve some of the same problems that Rust solves: https://github.com/google/wuffs
    comment by est31 · 2020-11-24 · in Why AWS loves Rust, and how we’d like to help
  3. ▲ 2
    The wuffs programming language: wrangling untrusted file formats safely
    story by fanf2 · 2020-09-02 · 0 comments
  4. But if this is the reason, does it make sense to leave it in then? I.e. to unroll this here: https://github.com/google/wuffs/commit/6537a817b7f8351cded87... I guess, maybe once another global constant is introduced somewhere else, this…
    comment by albertzeyer · 2020-06-25 · in C performance mystery: delete unused string constant
  5. Start at https://github.com/google/wuffs/tree/master/doc
    comment by nigeltao · 2020-06-25 · in C performance mystery: delete unused string constant
  6. …remove a "foo" that was actually in use, so the combination was rolled back. The previous commit is https://github.com/google/wuffs/commit/844fc9b5eeef46edab49c...
    comment by nigeltao · 2020-06-25 · in C performance mystery: delete unused string constant
  7. ▲ 153
    C performance mystery: delete unused string constant
    story by dolmen · 2020-06-24 · 105 comments
  8. ▲ 2
    Show HN: Random Access Compression
    story by nigeltao · 2019-08-19 · 0 comments
  9. ▲ 1
    Wuffs: a domain-specific language for handling untrusted file formats
    story by f2f · 2019-01-09 · 0 comments
  10. ▲ 2
    Wrangling Untrusted File Formats Safely
    story by ingve · 2018-07-09 · 0 comments
  11. ▲ 2
    Wrangling Untrusted File Formats Safely
    story by gbrown_ · 2017-12-28 · 0 comments
  12. …project: https://news.ycombinator.com/item?id=15711767 Edit: Looks like it was renamed to Wuffs: https://github.com/google/wuffs It's a domain-specific language for parsers that should be fast and must be correct, and it includes…
    comment by tom_mellior · 2017-12-23 · in Ask HN: What were the most important new programming languages released in 2017?
  13. ▲ 2
    Wrangling Untrusted File Formats Safely
    story by razer6 · 2017-12-04 · 0 comments
  14. …for the "We're google, we can pick any name we want" assumption that somebody else wrote earlier, https://github.com/google/puffs says "Disclaimer: This is not an official Google product, it is just code that happens to be owned by…
    comment by nigeltao · 2017-11-18 · in Puffs: Parsing Untrusted File Formats Safely
  15. I'm not entirely sure what you had in mind, but you can express certain inequalities. For example, https://github.com/google/puffs/blob/master/std/gif/decode_l... has this line: assert n_bits < (width + 8) via etc The 'via' syntax is…
    comment by nigeltao · 2017-11-17 · in Puffs: Parsing Untrusted File Formats Safely
  16. …not the only way. Puffs is an imperative language, not functional (for the reasons described in https://github.com/google/puffs/blob/master/doc/related-work... ). With mutable state, a Puffs variable's within-bounds-ness can change over…
    comment by nigeltao · 2017-11-16 · in Puffs: Parsing Untrusted File Formats Safely
  17. …asked question. There's also some more words, on Rust and on other related work like Dafny, at https://github.com/google/puffs/blob/master/doc/related-work... Edit: It's also not Rust per se, but the numbers at…
    comment by nigeltao · 2017-11-16 · in Puffs: Parsing Untrusted File Formats Safely
  18. Looks like it is not a general system, they prove the hardcoded binary operations: https://github.com/google/puffs/blob/master/lang/check/asser...
    comment by haskellandchill · 2017-11-16 · in Puffs: Parsing Untrusted File Formats Safely
  19. ▲ 200
    Puffs: Parsing Untrusted File Formats Safely
    story by ingve · 2017-11-16 · 102 comments
  20. Good read so far: https://github.com/google/puffs/blob/master/doc/puffs-the-la...
    comment by robobro · 2017-11-16 · in google/puffs: Parsing Untrusted File Formats Safely
  21. ▲ 4
    google/puffs: Parsing Untrusted File Formats Safely
    story by alpb · 2017-11-16 · 1 comment