bartavelle (@bartavelle) 's Twitter Profile
bartavelle

@bartavelle

ID: 15467574

calendar_today17-07-2008 13:26:23

1,1K Tweet

356 Followers

359 Following

Taelin (@victortaelin) 's Twitter Profile Photo

An early micro-benchmark! Performing 1k folds on 64k lists. Results: - HVM on CPU : 12.9s - GHC on CPU : 2.1s - HVM on GPU : 0.4s Still ~5x slower on single-core, but about ~5x faster on RTX 4090. Promising for a first version. GPUs are definitely great functional computers!

Edward Kmett (@kmett) 's Twitter Profile Photo

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

ANSSI (@anssi_fr) 's Twitter Profile Photo

[#VendrediLecture] Publication d’un nouveau guide sur des recommandations relatives à l'administration sécurisée des systèmes d'informations reposant sur Microsoft Active Directory. ⬇️ cyber.gouv.fr/publications/r… Bonne lecture ! 📚 #ANSSI #SSI #numérique #ActiveDirectory

[#VendrediLecture]

Publication d’un nouveau guide sur des recommandations relatives à l'administration sécurisée des systèmes d'informations reposant sur Microsoft Active Directory. ⬇️
cyber.gouv.fr/publications/r…

Bonne lecture ! 📚

#ANSSI #SSI #numérique #ActiveDirectory
Alex Hadjadj (@c0unt0) 's Twitter Profile Photo

The average metro carry 607 passengers, about half are listening to music, 90% using wireless headphones. 273 people per train, emitting data at 300 to 900kbps, 500 on average. 406Gb worth of audio codecs on a 52 min average commute.

Debasish (দেবাশিস্) Ghosh 🇮🇳 (@debasishg) 's Twitter Profile Photo

A new data structure that can possibly replace the bloom filter in LSM based systems .. Many LSM tree-based database systems use Bloom filters to reduce the number of unnecessary I/Os. They read the on-disk SSTable only when the associated in-memory Bloom filter indicates that

Francesco Nigro (@forked_franz) 's Twitter Profile Photo

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

@bricedutheil.bsky.social 🦋 🇪🇺🇺🇦💉 (@bricedutheil) 's Twitter Profile Photo

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

Synacktiv (@synacktiv) 's Twitter Profile Photo

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…

Synacktiv (@synacktiv) 's Twitter Profile Photo

👻 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…

AJ Styles (@ajstylesorg) 's Twitter Profile Photo

x.com/TheRingGeneraI… Wasn’t sure if I should say anything, being a bad guy and all but…Lyon, France. IL EST VRAIMENT, IL EST VRAIMENT, Il EST VRAIMENT PHÉNOMÉNAL LALALALA