Denis

@nuculabs.dev

Software Engineer Hobby photographer 📷 Tech Blogger 👨🏻‍💻 🌐 https://nuculabs.dev 🐙 https://github.com/dnutiu 😎 https://gitlab.nuculabs.dev

At last year’s EuroRust, Horacio presented a way to prove Rust programs are free of deadlocks. With a live demo, this talk is a practical and approachable way to reason about concurrency, and a glimpse into stronger compile-time guarantees for Rust. Tune in! 📺✨ 👉 youtu.be/6VbRgAa_si0

Compile-time Deadlock Detection in Rust using Petri Nets - Horacio Lisdero Scaffino | EuroRust 2025

Compile-time Deadlock Detection in Rust using Petri Nets - Horacio Lisdero Scaffino at EuroRust 2025 What if your Rust code could be proven free of deadlocks—before you ever run it? This talk…

youtu.be

Why does the EU want to bring back chat control again and again? Aren't they supposed to honor the democratic vote? I mean are they going to vote again and again until it passes or what..

In Romania, in my old village they buried the electrical lines underground. Every week they dig in order to put the sewage pipes underground, and every week they break something. Last week they cut the gas pipe and left the entire village without gas and this week they cut the electricity wires. 😬

If they ban VPNs use obfs4 proxy it will obfuscate the traffic to make it unrecognizable and use port 443 for VPN server

i hope it's clear now why open source models are important i've said before i can respect the position around safety but it's completely naive even if you think you have superior morality and should control it someone will kick you out and take control

These are the 30 women killed since 2020 in Northern Ireland, all by white men 21 killed in their homes by men they knew. The youngest 20, the oldest 82 21 were mothers, 4 were killed with their children in the home. Two were pregnant Nobody rioted over their murders www.bbc.com/news/article...

A picture of violence: The 30 women killed in more than four years

In at least 21 of the 30 deaths, the killers - or the suspects in their killings - were well-known to the women.

bbc.com