bartavelle
@bartavelle
ID: 15467574
17-07-2008 13:26:23
1,1K Tweet
356 Followers
359 Following
Jules Jacobs Sebastian Graf What I've been hoping for is to just turn Haskell into a good strict language. Not by removing laziness at all. Not by {-# LANGUAGE Strict #-} just papering over all of the messy strictness details. Just by getting things like Num, Show, etc. to work over UnliftedType and
tivrfoa Project Helidon Eclipse Vert.x Yep! A summary of our efforts are at techempower.com/blog/2023/11/1… It's important to remember that Quarkus results are making uses a full-fat ORM (in its latestish version), which, for CPU bound tests like this with simple queries, has impacts
Francesco Nigro Richard Startin TechEmpower Framework Benchmarks I remember there was a talk from Julien Viet where he explains some of the work, unfortunately I was not there but I will definitely watch this video. Also maybe they are other things not shown in this presentation. youtu.be/gXvcnoZe2FM
Is it really that hard to write security tooling in Rust? Here is a feedback from bartavelle on writing a Pcap analysis tool, as well as the full source code of the tool. synacktiv.com/publications/p…
Episode 303 Interview sur Vert.x 4.5 avec Julien Viet lescastcodeurs.com/2023/12/04/lcc…
👻 Phantom types are not as scary as they sound! In our latest article, bartavelle introduces advanced type system features, and a way to model them in many languages. synacktiv.com/publications/s…
Just published slides of Solar Designer's offensivecon keynote talk "Password cracking: past, present, future" openwall.com/lists/announce…