Overview
News
Technologies
Salaries
Products
People
Growth
Financials
Overview
Scale your engineering power. We enable deep-tech startups to achievetheir vision, from research to product delivery.
News
Five years of Cardano smart-contract audits: a retrospective
At Tweag, we have been auditing Cardano smart contracts since 2021. We started out reviewing contracts mostly by hand, but it did not take long before we began building tooling to make our audits more efficient and systematic - most notably cooked-validat
Read more
Report
Topiary: Formatting Forests
Topiary is a uniform formatter designed to support multiple languages through a single, consistent interface. By relying on Tree-sitter grammars and formatting queries, it easily adapts to new languages. But what happens when a language contains other lan
Read more
Report
Sheaves in Haskell
.acknowledgements { margin-top: 4em; border-top: solid 1px lightgrey; font-size: 75%; color: grey; } I recently found a way to represent sheaves in Haskell. It was a fun couple of weeks of head-scratching. But as much as I wanted it to, the code in my dem
Read more
Report
Writing static checks to an unsuspecting library with Liquid Haskell
This post presents a little epic to insert static checks in Haskell's Diff package using Liquid Haskell (LH).1 Static or compile-time checks are helpful to confirm formerly implicit assumptions in the implementation, providing an additional layer of assur
Read more
Report
๐ฏ๐๐ ๐๐ ๐๐๐๐ ๐๐'๐ ๐๐๐
.lyrics { display: flex; align-items: flex-start; gap: 1.5em; margin: 2em 0; } .lyrics .gatsby-resp-image-wrapper { flex-shrink: 0; width: 128px !important; max-width: 128px !important; margin: 0 !important; } .lyrics img { width: 128px; height: auto; } .
Read more
Report
Pro access
Upgrade to see all 40 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.