demesisx

joined 1 year ago
MODERATOR OF
[–] [email protected] 2 points 2 hours ago* (last edited 2 hours ago)

I’m glad you asked!

Formal verification is an automatic checking methodology that catches many common design errors and can uncover ambiguities in the design. It is an exhaustive methodology that covers all input scenarios and also detects corner case bugs.

One of the most futuristic companies I know of is Runtime Verification that uses formal Methods in industry. They have a list of accomplishments that seem like vaporware including a semantic babel fish called the K framework that can translate between languages based on formal, semantic definitions of each.

[–] [email protected] 2 points 4 hours ago* (last edited 4 hours ago) (2 children)

Try Xmonad! I run a community for it at https://infosec.pub/c/xmonad

It’s super lightweight and is the only formally verified window manager. There’s a new version being created for Wayland called Waymonad.

[–] [email protected] 4 points 12 hours ago

I think it’s because you’re an actual leftist trapped in a place that has two Republican parties.

[–] [email protected] 7 points 12 hours ago

I’m looking into using NOSTR on a project that was originally going to be a Lemmy fork that allows retailers to broadcast their inventories to decentralized aggregators (or even run their own).

[–] [email protected] 10 points 1 day ago (1 children)

Sneakers is one where a remake might actually be welcomed. I adore the original but spycraft has changed so much. It’s a fascinating genre too. Probably my favorite.

[–] [email protected] 9 points 2 days ago

I’d absolutely adore those guitars if they weren’t so damned heavy. I can’t imagine building off-cut versions will alleviate that complaint.

[–] [email protected] 11 points 2 days ago

I do this too. I used to add it to the milk before steaming but that had obvious drawbacks.

 

cross-posted from: https://infosec.pub/post/17544659

In this keynote from Rooted in Research: Pushing the Boundaries of Blockchain Technology in Tokyo, Charles Hoskinson reflects on 10 years of groundbreaking research in blockchain and distributed systems. He discusses key achievements, ongoing challenges, and the future direction of research in the industry. After his keynote, Charles answers questions from the audience.

[–] [email protected] 8 points 6 days ago (1 children)

Pick any issue and both Trump and Kamala are on the wrong side of it.

[–] [email protected] 6 points 1 week ago (3 children)
 

cross-posted from: https://infosec.pub/post/17011376

Decentralized governance starts now for Cardano.

The first-ever fully decentralized governance system for use in upgrades and hard forks. THIS IS HUGE and it will only evolve in a community-controlled decentralized manner from here on out.

 

Decentralized governance starts now! First!

 

cross-posted from: https://infosec.pub/post/16852127

In this enlightening keynote session from #RareEvo24, Midnight CEO Eran Barak explores the critical role of advanced data protection solutions in accelerating the adoption of #Web3 technologies.

Discover how safeguarding privacy and enhancing security can remove barriers and unlock the full potential of decentralized applications and platforms.

Whether you're a developer, entrepreneur, or blockchain enthusiast, this session offers valuable insights into the future of Web3 and the pivotal role that data protection will play in its success.

Learn more about Midnight: https://midnight.network/

Are you a builder? 🛠️ Join the Midnight Network Discord: / discord
Follow Midnight on X: https://x.com/MidnightNtwrk Follow Midnight on Telegram: @Midnight_Network_Official

 

cross-posted from: https://infosec.pub/post/16504027

In this episode of #Unshielded: A Blockchain & Data Podcast by Midnight, host Anthony Day connects with Kevin Millikin, Principal Architect for Midnight.

Join them as they discuss:

👉 An under-the-hood look at Compact as a programming language 👉 Why Midnight needs its own language, and the importance of great developer experience. Kevin highlights the differences in working with Blockchain technology 👉 A live #demo of Compact language by showcasing the code for a bulletin board app 👉 Compact roadmap: Aligning more closely with TypeScript 👉 Why developers need to join the Midnight Discord channel 👉 The need to innovate in decentralized applications

Kevin Millikin is a seasoned software architect specializing in programming language design and implementation. Currently, at Midnight, he is instrumental in developing a cutting-edge data protection blockchain platform. This innovative platform leverages zero-knowledge (ZK) proofs to ensure secure computations while maintaining privacy. Kevin's work focuses on designing a domain-specific language (DSL) for smart contracts, creating a compiler targeting JavaScript, and developing a custom virtual machine runtime for on-chain computations. His expertise extends to building support libraries, developer tools, and the overall architecture that drives this privacy-focused blockchain solution.

Kevin has also worked at Google and Deep Mind and, while there, worked on an experimental Python optimizing JIT compiler using the CPython interpreter and runtime. This was open-sourced as S6 (https://github.com/google-deepmind/s6). He also worked on Alphabet-internal Python development tools, including Python static typing and static analysis of Python programs.

📲 Kevin on LinkedIn: www.linkedin.com/in/kevin-millikin-89a235/

⭐️ If you enjoyed this episode, make sure to subscribe, rate, and review it on Apple Podcasts, Spotify, and Google Podcasts. Instructions on how to do this are here: https://www.fame.so/follow-rate-review ⭐️

Episode Highlights: [00:00:00] An under-the-hood look at Compact as a programming language [00:01:13] Why Midnight needs its own language, and the importance of great developer experience [00:04:15] Kevin highlights the differences in working with Blockchain technology [00:07:42] A live demo of Compact language [00:12:25] Compact roadmap: aligning more closely with TypeScript [00:16:38] Kevin encourages developers to join the Midnight Community [00:19:10] The need to innovate in decentralized applications (DApps)

To learn more about the Midnight Network, visit the website at https://midnight.network/

 

cross-posted from: https://infosec.pub/post/16334087

Charles and company made a PGP-encrypted paper wallet. He is calling it the most secure paper wallet in the entire crypto space.

To put his money where his mouth is, anyone who hacks it can keep keep the cash ($1 million dollars worth of USDM) if you can hack it.

Good luck everyone!

 

Charles and company made a PGP-encrypted paper wallet. He is calling it the most secure paper wallet in the entire crypto space.

To put his money where his mouth is, anyone who hacks it can keep keep the cash ($1 million dollars worth of USDM) if you can hack it.

Good luck everyone!

 

Join us for a lively dicussion between Charles Hoskinson, J.J. Siler, Tim Harrison and more from the Cardano community.

 

A brief history of Megaupload and its controversial founder Kim Dotcom. Find out how a teenage hacker built one of the largest websites in the world, which was eventually seized by the FBI for piracy.

 

cross-posted from: https://zeal.center/users/wizard/statuses/112972902941879498

Elizabeth Warren continues to push Chokepoint 2.0

Great podcast with Caitlin Long, describing how the backroom pressure from Warren-ites keeps the federal regulators against the #crypto industry.

The hypocrisy of Warren pontificating against big banks while defending their hegemony behind close doors is appalling.

https://unchainedcrypto.com/caitlin-long-on-why-the-feds-rejections-of-custodia-bank-seem-politically-motivated/

@cryptocurrency

view more: next ›