Pinned Tweet
I am moving to🦋 due to better and more active community and I implore you to consider the same.
Prompt injection via cloned repo: ponytail’s SessionStart hook piped raw repo text (multi-line export { } lists, odd folder names) into the model’s hidden context. PR: identifier-only export entries + safe-path filter.
github.com/DietrichGebert/po… #security #appsec #aisecurity
Planning tonight’s imaging session? astro-recommender now runs client-side as a Go WASM build, so you can rank targets without installing anything. This was my first Go-to-WASM port and it was much smoother than expected: dkorunic.github.io/astro-rec… #astrophotography #golang
Spent many sleepless nights on this: astro-recommender, a static binary (Linux/macOS/Win) picking best imaging targets per night/location. Scores clouds, dew, wind, airmass, light pollution, moon, FOV. No subscriptions, no API keys. github.com/dkorunic/astro-re…
betteralign v0.12.0 is out at github.com/dkorunic/betteral…! A major upgrade for Go developers: improved robustness, faster performance, a completely rewritten & fuzz-tested AST decorator, refreshed docs, and updated benchmarks. Especially effective in large monorepos. #golang #devops
Dinko Korunic retweeted
🔺NEW: Formally verified post-quantum ML-KEM and ML-DSA in corecrypto, with correctness proven from the FIPS spec down to hand-optimized ARM64 assembly — a world first at multi-billion device scale. And we're releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator to advance the state of the art in verified cryptography! security.apple.com/blog/form…
betteralign github.com/dkorunic/betteral…: evolved fork of Go's fieldalignment. Preserves field comments through reordering, skips generated files, atomic writes. Months of allocation profiling baked in. Serious struct padding without wrecking your codebase. #golang #devops
Spent the weekend nights reviving a 15-year-old toy project of mine: a Linux uptime spoofer. Ported it to modern kernels and refreshed the codebase along the way: github.com/dkorunic/uptime_h… #linux #kernel #devops #security
Tomorrow I’ll be giving a talk at Bsides Varaždin titled "Caveats of Using eBPF in Linux". If you're interested, you can check out the slides here: dkorunic.net/pdf/Korunic_eBP…
Feel free to stop by, listen in, and join the discussion! #ebpf #linux #sysops #kernel
Astrophotography has a quiet magic I didn’t expect. Valentina and I have been spending our nights under the stars, and this is what came out of it: ~700 frames, 20s each, capturing Bode’s Galaxy.
Curious to hear what you think ✨
Dinko Korunic retweeted
The latest Proxmark3 release is called BREAKMEIFYOUCAN!
Not a random name.
That is the actual 3DES factory default key NXP burned into every MIFARE Ultralight C they shipped since 2008.
Somebody finally broke it properly.
The paper drops the keyspace from 2^112 down to 2^28.
Counterfeit cards fall in under 60 seconds from a single card interaction. The tooling is merged: github.com/RfidResearchGroup…
#Proxmark3 #RFID #NFC #MifareUltralightC #NXP #OpenSource
Dinko Korunic retweeted
🦀 Rust: Deadlock-Free Mutexes
Instead of hoping lock ordering is correct at runtime, Surelock pushes deadlock prevention into the type system:
• invalid lock ordering rejected at compile time
• ergonomics that still feel practical
notes.brooklynzelenka.com/Bl…
#rust #rustlang
Senko @senkorasic has got some clever tricks for AI-driven mutation testing definitely worth trying! 🔍🤖
blog.senko.net/improving-ai-… #programming #ai #claude #devops
Diving Into Coverage-Guided Fuzzing from @pierrezemb.fr pierrezemb.fr/posts/diving-i… #programming #devops #fuzzing
I’ve updated my iSMC tool github.com/dkorunic/iSMC: It now supports decoding and displaying temperature, fan, battery, power, voltage, and current data on M5 hardware - and should work well with older hardware too. #macos #cli #sysops #monitoring
A tale about fixing eBPF spinlock issues in the Linux kernel rovarma.com/articles/a-tale-… #ebpf #kernel #devops #programming










