bartavelle Profile Banner
bartavelle Profile
bartavelle

@bartavelle

Followers
351
Following
5K
Media
5
Statuses
2K

Marseille
Joined July 2008
Don't wanna be here? Send us removal request.
@Openwall
Openwall
2 years
Just published slides of @solardiz's @offensive_con keynote talk "Password cracking: past, present, future"
0
14
39
@AJStylesOrg
AJ Styles
2 years
https://t.co/ZOOIdnxDVb 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
733
7K
54K
@EliteClubS0B
EliteRockerz 𝕏
2 years
THIS IS ONE OF THE GREATEST SHOTS IN THE HISTORY OF PRO WRESTLING. THE CAMERA WAS LITERALLY SHAKING. #WWEBacklash
149
3K
26K
@Synacktiv
Synacktiv
2 years
👻 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. https://t.co/BOQAWshZ9i
Tweet card summary image
synacktiv.com
👻 Souls without bodies, phantom types shenanigans 👻
0
4
26
@bartavelle
bartavelle
2 years
This is a complete reference about keylogging on Windows. You will want to bookmark this and it read it when needed.
@Synacktiv
Synacktiv
2 years
One of our ninjas (@_ixty_) wrote a series of articles explaining how to write a win32 keylogger that supports all input languages (that don't use input method editors). Here is the first part which focuses on capturing keyboard events! https://t.co/6vZxqlaPLt
0
0
5
@eveychooey
🌸eve🌸
2 years
i miss my bois :( MOVIE DOKO???
0
5
31
@BriceDutheil
@bricedutheil.bsky.social 🦋 🇪🇺🇺🇦💉
2 years
@forked_franz @richardstartin @TFBenchmarks I remember there was a talk from @julienviet 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. https://t.co/PhwUjy9H5W
1
2
4
@Synacktiv
Synacktiv
2 years
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. https://t.co/bvbxfmNJxW
synacktiv.com
Pcapan: a PCAP analysis helper
1
13
59
@forked_franz
Francesco Nigro
2 years
@tivrfoa @helidon_project @vertx_project Yep! A summary of our efforts are at https://t.co/i7a5IAgCsH 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
techempower.com
Now in its tenth year, this project measures the high-water mark performance of server side web application frameworks and platforms using community-contributed test implementations.
1
7
17
@debasishg
Debasish (দেবাশিস্) Ghosh 🇮🇳
2 years
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
1
40
255
@c0unt0
Alex Hadjadj
2 years
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.
1
3
16
@ANSSI_FR
ANSSI
2 years
[#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. ⬇️ https://t.co/0cVMSKMzHC Bonne lecture ! 📚 #ANSSI #SSI #numérique #ActiveDirectory
2
127
205
@kmett
Edward Kmett
2 years
@JulesJacobs5 @sgraf1337 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
2
3
17
@VictorTaelin
Taelin
2 years
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!
0
3
54
@mattjay
Matt Johansen
2 years
She’s being acquired by Cisco.
@PopCrave
Pop Crave
2 years
Peppa Pig has a “big surprise” to be announced tomorrow.
94
317
3K
@0xdabbad00
Scott Piper
2 years
Results of Major Technical Investigations for Storm-0558 Key Acquisition https://t.co/VDSZeC5pHa
microsoft.com
3
16
38
@Thunder_Owl
ThunderOwl. Sci-Fi Assets. Electronics. 🇱🇻🇺🇦🌞
2 years
36
544
2K
@KenBogard
Ken Bogard
2 years
Hahaha ceci est une réponse officiel du compte Street Fighter au meme
@StreetFighterJA
ストリートファイター / STREET FIGHTER
2 years
3
8
185