burritosec 
one forum has taken to calling it "the panslopticon" and...it's accurate
@adziahel
- 13 Followers
- 52 Following
- 120 Posts
Christian Brauner đŠđș
Haskell WeeklyGHC's wasm backend now supports Template Haskell and ghci
https://www.tweag.io/blog/2024-11-21-ghc-wasm-th-ghci
Discussions: https://discu.eu/q/https://www.tweag.io/blog/2024-11-21-ghc-wasm-th-ghci
Jons MostovojsBy the way, the legendary #Serokell, the #Rust, #Nix and #Haskell company can onboard one #enterprise customer.
Living in #London, I hear a lot of #tech horror stories. If your company concerns itself with code quality and speed of delivery, #Serokell is your choice.
Ask me about whom to talk to get a quote.
Brent ToderianWant an example of a broken system? Florida DIDNâT ârejectâ the proposal to include a right to abortion in the constitution â they voted 58.2% in favor of abortion rights. But it needed 60% to pass, so it failed WITH A MAJORITY.
Canât imagine what Florida women must be thinking.
mccConsarn it https://infosec.exchange/@BleepingComputer/113278669035386477
tldr UPDATE UR FIREFOX NOW
"but when i update my firefox they add new features i hate!" switch to the feature-stable ESR release, then update THAT. but do it now
BleepingComputer (@[email protected])
Mozilla has issued an emergency security update for the Firefox browser to address a critical use-after-free vulnerability that is currently exploited in attacks. https://www.bleepingcomputer.com/news/security/mozilla-fixes-firefox-zero-day-actively-exploited-in-attacks/
Dan GillmorTalk about a grotesque invasion of privacy:
"Smart TVs from Samsung and LG take screenshots of what you are watching even when you are using them to display images from a connected laptop or video game console"
How can this possibly be legal?
Here's why: Congress isn't just indifferent to your privacy. It is actively complicit with big corporations -- and law enforcement -- in embedding surveillance into everything we do.
The Empty Type#Haskell is a great language to write prototypes, and then put them to production.
aliosSometimes I use AI LLMs for software development. But the imo biggest contribution to computer science started in the 1930s when people like Gödel, Turing and Church built the foundation for modern Typesystems and the CurryâHoward correspondence when working on Hilberts Entscheidungsproblem.
This resulted in the possibilty to reason about problems beyond imagination and to write proofs instead of programs.
tl;dr Don't talk to AI, talk to advanced typesystems like in #haskell or #rustlang
Hugo Tunius 
