cross-posted from: https://infosec.pub/post/17741187
demesisx 6 hours ago • 100%
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.
demesisx 8 hours ago • 100%
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.
This guy is absolutely **incredible**. He does a great job at breaking down advanced concepts into understandable and even entertaining content; an absolutely brilliant engineer undoubtedly but also great at making videos.
demesisx 15 hours ago • 83%
I think it’s because you’re an actual leftist trapped in a place that has two Republican parties.
demesisx 16 hours ago • 100%
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).
demesisx 1 day ago • 100%
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.
cross-posted from: https://infosec.pub/post/17682746 > > In this episode of Unshielded: A Blockchain & Data Podcast by Midnight, a team of experts introduces the groundbreaking Midnight network. > > > > Join them as they cover: > > - The challenges in current data management and blockchain adoption > > - Midnight's innovative approach to data protection and blockchain utility > > - The architecture and design of the Midnight network > > - The Compact programming language and its benefits > > - Real-world use cases for Midnight > > - Midnight's unique token system with NIGHT and DUST > > - The roadmap from Devnet to beyond Mainnet > > - Ecosystem development and support for various participants > > - And much more! > > > > If you enjoyed this episode, make sure to subscribe, rate and review on Apple Podcasts, Spotify and Google Podcasts, instructions on how to do this are here. > > > > Episode Highlights: > > [00:00:10] Introduction to Midnight and the data management challenge > > [00:02:31] Midnight's key features and improvements over existing blockchain technologies > > [00:06:45] The Compact language and its role in Midnight's architecture > > [00:08:18] Midnight's architecture and lightweight design > > [00:10:00] Use cases for Midnight, including digital identity and asset tokenization > > [00:11:56] Token utility: Night and Dust > > [00:14:39] Midnight's roadmap: from Devnet to beyond Mainnet > > [00:17:01] Ecosystem development and support for developers and app operators > > > > Episode Resources: > > - Eran Barak on LinkedIn: / eranbarak > > - Ben Beckmann on LinkedIn: / benjamin-beckmann-ph-d-a19b0520 > > - Thomas Kerber on LinkedIn: / semihonest > > - Mauricio Magaldi on LinkedIn: / magaldi > > - Anthony Day on LinkedIn: / anthonyjjday > > > > To learn more about the Midnight Network, visit us: > > https://midnight.network/ > > docs.midnight.network > > midnight.network/whitepaper >
> In this episode of Unshielded: A Blockchain & Data Podcast by Midnight, a team of experts introduces the groundbreaking Midnight network. > > Join them as they cover: > - The challenges in current data management and blockchain adoption > - Midnight's innovative approach to data protection and blockchain utility > - The architecture and design of the Midnight network > - The Compact programming language and its benefits > - Real-world use cases for Midnight > - Midnight's unique token system with NIGHT and DUST > - The roadmap from Devnet to beyond Mainnet > - Ecosystem development and support for various participants > - And much more! > > If you enjoyed this episode, make sure to subscribe, rate and review on Apple Podcasts, Spotify and Google Podcasts, instructions on how to do this are here. > > Episode Highlights: > [00:00:10] Introduction to Midnight and the data management challenge > [00:02:31] Midnight's key features and improvements over existing blockchain technologies > [00:06:45] The Compact language and its role in Midnight's architecture > [00:08:18] Midnight's architecture and lightweight design > [00:10:00] Use cases for Midnight, including digital identity and asset tokenization > [00:11:56] Token utility: Night and Dust > [00:14:39] Midnight's roadmap: from Devnet to beyond Mainnet > [00:17:01] Ecosystem development and support for developers and app operators > > Episode Resources: > - Eran Barak on LinkedIn: / eranbarak > - Ben Beckmann on LinkedIn: / benjamin-beckmann-ph-d-a19b0520 > - Thomas Kerber on LinkedIn: / semihonest > - Mauricio Magaldi on LinkedIn: / magaldi > - Anthony Day on LinkedIn: / anthonyjjday > > To learn more about the Midnight Network, visit us: > https://midnight.network/ > docs.midnight.network > midnight.network/whitepaper
demesisx 1 day ago • 100%
demesisx 1 day ago • 16%
demesisx 1 day ago • 20%
demesisx 1 day ago • 20%
demesisx 1 day ago • 14%
demesisx 1 day ago • 14%
demesisx 1 day ago • 12%
demesisx 1 day ago • 46%
demesisx 1 day ago • 53%
demesisx 1 day ago • 50%
demesisx 1 day ago • 53%
demesisx 1 day ago • 53%
demesisx 1 day ago • 72%
I read somewhere that he wrote it. It was a reliable news article actually…aaaaaand it disappeared.
Anyway, he certainly was instrumental in helping write it. I think you’re trying to downplay his role in it. He was THE champion of the bill and Hunter got $250,000 paycheck from MBNA the following year. Explain that for us.
Here’s some quotes from an article on this subject:
But it passed anyway, with 18 Democratic senators breaking ranks and casting their vote in favor of the bill. Of those 18, one politician stood out as an especially enthusiastic champion of the credit companies who, as it happens, had given him hundreds of thousands of dollars in campaign contributions – Joe Biden.
Despite his protestations, it is indisputable that Biden was an avid supporter of the 2005 bill as a whole and of its overall thrust of tightening up the bankruptcy code largely to the benefit of lenders at the expense of distressed families who would find it harder to file for bankruptcy.
“Biden was one of the most powerful people who could have said no, who could have changed this. Instead he used his leadership role to limit the ability of other Democrats who had concerns and who wanted the bill softened,” said Melissa Jacoby, a law professor at the University of North Carolina at Chapel Hill specialising in bankruptcy.
https://jacobin.com/2022/04/joe-biden-student-loan-debt-bankruptcy-democrats
https://www.cbsnews.com/news/mbna-paid-bidens-son-as-biden-backed-bill/
https://www.nytimes.com/2008/08/25/us/politics/25biden.html
https://oversight.house.gov/release/comer-releases-evidence-of-direct-payment-to-joe-biden/
https://www.propublica.org/article/bidens-cozy-relations-with-bank-industry-825
https://www.nationalreview.com/2008/08/senator-mbna-byron-york/amp/
Ps. But he’s a decent man™️©️
demesisx 1 day ago • 28%
demesisx 1 day ago • 36%
demesisx 1 day ago • 50%
The BILL WAS
WRITTEN BY BIDEN HIMSELF.
edit: This is an unsubstantiated statement (though I previously read this in an article which has now disappeared from the web).
demesisx 1 day ago • 47%
demesisx 1 day ago • 90%
demesisx 2 days ago • 83%
Identity politics might be causing you to blame the wrong person for the student loan crisis. Reagan certainly made everything he touched awful. I wont even argue that. He was objectively awful. But Biden’s legislation brought it into hyperdrive. Source: me (a person with $100,000 of inescapable student loan debt thanks to Joseph Biden.)
https://www.theguardian.com/us-news/2019/dec/02/joe-biden-student-loan-debt-2005-act-2020
You know the country is lurching FAR rightward when Reagan is aligned with everyone in the Congress right now including the corporate Democrat in office. They ALL (both GOP and DNC corporatists) are on a mission to commodify every single basic human right in exchange for massive bribes.
demesisx 2 days ago • 100%
It feels like magic. I think of it as the glue that makes almost all of my software work together seamlessly. I can’t wait to use it for one-click deployments of my software on a server or high-availability cluster.
demesisx 2 days ago • 92%
demesisx 2 days ago • 100%
This is why I decided to learn Nix. I built dev environment flakes that provision the devshell for any language I intend to use. I actually won’t even bother unless I can get something working reliably with Nix. ;)
For example, here’s a flake that I use for my Python dev environment to provide all needed wiring and setup for an interactive Python web scraper I built:
{
description = "Interactive Web Scraper";
inputs = {
nixpkgs.url = "github:NixOS/nixpkgs?ref=nixpkgs-unstable";
utils.url = "github:numtide/flake-utils";
};
outputs = { self, nixpkgs, utils }: utils.lib.eachSystem ["x86_64-linux"] (system: let
pkgs = import nixpkgs { system = system; };
in rec {
packages = {
pyinputplus = pkgs.python3Packages.buildPythonPackage rec {
pname = "pyinputplus";
version = "0.2.12";
src = pkgs.fetchPypi {
inherit pname version;
sha256 = "sha256-YOUR_SHA256_HASH_HERE";
};
};
pythonEnv =
pkgs.python3.withPackages (ps: with ps; [ webdriver-manager openpyxl pandas requests beautifulsoup4 websocket-client selenium packages.pyinputplus ]);
};
devShell = pkgs.mkShell {
buildInputs = [
pkgs.chromium
pkgs.undetected-chromedriver
packages.pythonEnv
];
shellHook = ''
export PATH=${pkgs.chromium}/bin:${pkgs.undetected-chromedriver}/bin:$PATH
'';
};
});
}
demesisx 2 days ago • 83%
demesisx 3 days ago • 100%
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.
demesisx 3 days ago • 100%
I do this too. I used to add it to the milk before steaming but that had obvious drawbacks.
demesisx 3 days ago • 95%
Y Tu Mama Tambien with my sister and her new boyfriend.
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.
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.
> 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.
demesisx 5 days ago • 100%
Threads used to bewilder me until I started using Haskell. Holy shit that felt like magic, turning an app parallel with two lines of code.
Now, I just have to worry about memory limits….
demesisx 6 days ago • 100%
Not sure what this sensationalist headline is about. Zum has been pretty damned good in my experience since last Thursday. There were tons of kinks that needed to be ironed out and clearly there were situations where bus drivers screwed up bad. But honestly, I’ve been impressed with the app and IMO the kinks will be ironed out. It has brought the BPS bussing system to a whole new level of transparency. I can tell down the SECOND where my child and my child’s bus are. Before, you’d get a phone call saying the bus is running late or they couldn’t find a bus driver.
demesisx 6 days ago • 100%
demesisx 6 days ago • 92%
demesisx 6 days ago • 100%
Nothing but love for Rashida. The only person I’d vote for in all of Congress. 🇵🇸✊🏾
demesisx 1 week ago • 100%
Pick any issue and both Trump and Kamala are on the wrong side of it.
cross-posted from: https://infosec.pub/post/17408639 > > Since it was founded in 2015, Input Output | Global has been at the forefront of blockchain innovation, delivering groundbreaking solutions firmly rooted in peer-reviewed academic research. By collaborating with the brightest minds from the world's leading research institutes, Input | Output has made it its ongoing mission to develop robust, real-world solutions built upon the most solidly researched academic foundations. > > > > In celebration of our longstanding research partnership with the world-renowned Tokyo Institute of Technology, IO is hosting a symposium of leading minds from across the blockchain and academic spaces to unlock the future of research in our industry. >
> Since it was founded in 2015, Input Output | Global has been at the forefront of blockchain innovation, delivering groundbreaking solutions firmly rooted in peer-reviewed academic research. By collaborating with the brightest minds from the world's leading research institutes, Input | Output has made it its ongoing mission to develop robust, real-world solutions built upon the most solidly researched academic foundations. > > In celebration of our longstanding research partnership with the world-renowned Tokyo Institute of Technology, IO is hosting a symposium of leading minds from across the blockchain and academic spaces to unlock the future of research in our industry. skip to 19:00 and miss nothing
demesisx 1 week ago • 100%
I’m guessing they didn’t do Unison. I’d be interested to see what they think of that one, since all code exists in a global store of hashes.
demesisx 1 week ago • 50%
> Anxu is a carpenter in a mountain village. He likes to use his carpentry skills to make some things for his family and villagers in this small mountain village.
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.
cross-posted from: https://infosec.pub/post/17011376 Decentralized governance starts now! First!
cross-posted from: https://infosec.pub/post/17011376 Decentralized governance starts now! First!
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/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 >
> 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
> The empire has weaponized the insight that the only thing necessary for evil to triumph is for good people to do nothing, so spreading awareness of the reality that the Democrats are not good people and are not doing good things helps take away that weapon. > “[The only thing necessary for the triumph of evil is for good men to do nothing](https://quoteinvestigator.com/2010/12/04/good-men-do/?amp=1).”
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/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/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/ >
> 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!
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](https://zeal.center/tags/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/](https://unchainedcrypto.com/caitlin-long-on-why-the-feds-rejections-of-custodia-bank-seem-politically-motivated/) [@cryptocurrency](https://lemmy.ml/c/cryptocurrency)
cross-posted from: https://infosec.pub/post/16248347 > > Midnight is headed to Rare Evo and you’re invited to tune in live to the upcoming keynote on The Dawn of a New Era for Web3. 🎲♠️ > > > > Join Midnight CEO, Eran Barak, for an insightful session on how advanced data protection solutions can help drive the widespread adoption and unblocking of Web3. > > > > This live stream will take place at Rare Evo in Las Vegas. >
> Midnight is headed to Rare Evo and you’re invited to tune in live to the upcoming keynote on The Dawn of a New Era for Web3. 🎲♠️ > > Join Midnight CEO, Eran Barak, for an insightful session on how advanced data protection solutions can help drive the widespread adoption and unblocking of Web3. > > This live stream will take place at Rare Evo in Las Vegas.
cross-posted from: https://infosec.pub/post/16199574 > > Check our project to create the Cardano Documentary!: https://cardano.ideascale.com/c/idea/... > > > > Highlight from the ALBA (AdaLabs for Blockchain Applications) Graduation Ceremony, featured in the ongoing documentary that tells the story of Cardano and its impact on the #Cardano developer ecosystem. This documentary connects the stories of the community and shares them with the world. > > > > If you want to support this content, you can purchase a collectible NFT of the original music from this video: https://recordstore.newm.io/collectio... > > > > Or sending $ADA: addr1qyvlsz0fh839ufeu4373jg5d9tnpk660dj8qjzdrtqyrvgpff9wwzrqxuzxvymdw0w9askvs00nvqe9j8geq5sqy3uss8pqc62 > > > > https://cardanofoundation.org/blog/ca... > > https://x.com/ADALABS_ > > > > #iog #cardanofoundation #utnba #elcardumen > > > > The Cardano community through his developers is transforming the world and yet the world is still largely unaware. Much of the work we are doing is still unseen outside of the Cardano community. > > > > La comunidad de Cardano, a través de sus desarrolladores, está transformando el mundo y, sin embargo, el mundo todavía no es consciente de ello. Gran parte del trabajo que estamos haciendo todavía no se ve fuera de la comunidad de Cardano. > > > > Pool: [CHIL] Chile_Stake_po > > www.chilestakepo.cl > > #Chil > > > > Twitter: > > / indi_gital > > > > Facebook: > > / individuodigital > > > > Instagram: > > / individuodigital > > > > Twitch: > > / individuodigital > > > > Telegram: > > https://t.me/chilestakepo > > > > E-Mail: individuodigital@protonmail.com >
> Check our project to create the Cardano Documentary!: https://cardano.ideascale.com/c/idea/... > > Highlight from the ALBA (AdaLabs for Blockchain Applications) Graduation Ceremony, featured in the ongoing documentary that tells the story of Cardano and its impact on the #Cardano developer ecosystem. This documentary connects the stories of the community and shares them with the world. > > If you want to support this content, you can purchase a collectible NFT of the original music from this video: https://recordstore.newm.io/collectio... > > Or sending $ADA: addr1qyvlsz0fh839ufeu4373jg5d9tnpk660dj8qjzdrtqyrvgpff9wwzrqxuzxvymdw0w9askvs00nvqe9j8geq5sqy3uss8pqc62 > > https://cardanofoundation.org/blog/ca... > https://x.com/ADALABS_ > > #iog #cardanofoundation #utnba #elcardumen > > The Cardano community through his developers is transforming the world and yet the world is still largely unaware. Much of the work we are doing is still unseen outside of the Cardano community. > > La comunidad de Cardano, a través de sus desarrolladores, está transformando el mundo y, sin embargo, el mundo todavía no es consciente de ello. Gran parte del trabajo que estamos haciendo todavía no se ve fuera de la comunidad de Cardano. > > Pool: [CHIL] Chile_Stake_po > www.chilestakepo.cl > #Chil > > Twitter: > / indi_gital > > Facebook: > / individuodigital > > Instagram: > / individuodigital > > Twitch: > / individuodigital > > Telegram: > https://t.me/chilestakepo > > E-Mail: individuodigital@protonmail.com
This guy could fart on the strings and it would be art that I’d immediately post here. 😂😂 Enjoy.
> Don't worry about being alone. Be happy with Bill Evans and His music. Stay healthy
> The digging works have started. Some sad news around the chicken coop. Thijmen en Rick help out for a few days and I'm polishing up an old oak table. > > Support the renovation project: > Paypal: https://www.paypal.com/donate/?hosted... > Patreon: / martijndoolaard > > Instagram: / martijndoolaard > > Music in this video: Changing by Sarah Watson > > 0:00 Cleaning up > 3:58 Chopping firewood > 8:23 First big rock > 11:56 Sad news > 14:45 Cleaning chicken coop > 18:47 Cleaning up > 19:50 Drawing up cabin 2 > 21:50 Breakfast > 22:35 Binding up greenhouse > 24:25 Chicken coop > 25:31 Work chat > 27:11 Taking out the manger > 28:06 Storm > 28:58 Digging hole under the wall > 31:19 Digging basement > 32:18 Some help > 33:42 Dinner > 35:50 Concrete > 36:45 Taking door out > 37:26 Horsefly > 39:26 More digging > 40:38 Coffee > 45:20 Polishing table > 47:55 Outro monologue
> Keith Williams sent this in to be made as good as possible. In this first video I go through the amp and see what works needs doing. > > If you don't know Keith and his excellent channel... > > / @fivewattworld > > — — — — — — — — — — — — — — — — — > > These are things I get asked about a lot : > > Amp Tech Gear Used : > > Hakko FX-951 soldering station > Weller SPG 80L soldering iron (chassis work) > Rigol DS1054Z digital oscilloscope > Thsinde 18B+ digital multimeters > Kester 60/40 solder > Techspray #4 No-Clean Desoldering Braid > > Below are things that make this channel possible that people don’t usually think about. If any of these companies want to send me new and wonderful toys, I’m open to that. I can’t take free stuff when it comes to the amps I review, etc, but for the stuff below, bribe away! > > Microphones/Audio Equipment : > > Guitar Amps : Royer R-10 Hot Rod and/or Shure SM57 (noted in videos) > Voiceover Bench : sE Audio sE8 (small diaphragm condenser) > Voiceover Streaming : Shure SM57 with shockmount and windscreen > Voiceover Mic Arms : Elgato Wave Mic arms > Guitar Mic Stand : Gator Frameworks short weighted base stand with boom > Mic Cables and Guitar Cables : Mogami/Neutrik > Mic pre : MOTU M2 > DAW : Logic Pro II on MacBook Pro 16 running Sonoma 14.5 > Plugins : No effects other than level matching/normalization unless a recording > specifically has reverb etc added in post (rare, various Waves plugins) > Monitors : Yamaha HS7s > Monitor Stands : Gator Frameworks Desktop Clamp-On Stands > Monitor Isolation Mounts : IsoAcoustics Iso-Puck Minis > Headphones : Beyerdynamic DT 770 Pro (main) > Headphones : Sony MDR-7506 (alternate) > > Video Equipment : > > Camera : Sony ZVE-10 with SmallRig Cage (main) > Lens : Sigma f2.8 18-50mm (main) > Lens : Sony ZVE10 kit lens (rarely used) > B Camera : Apple iPhone 13 Pro (rarely used) > Tripod : SmallRig 71” with SmallRig Fluid Video Head > Streaming Mount : Elgato Master Mount S with SmallRig Ballhead > Bench Light : SmallRig RC 120D > Bench Light Diffusor : SmallRig Lantern Softbox > Bench C-Stands (light and overhead camera) : Neewer Pro SS Heavy Duty > Streaming Light : SmallRig RC 120B > Streaming Diffusor : SmallRig Parabolic Softbox > Streaming Light Mount : SmallRig 148CM Wall Mount Boom with Triangle Base > Various Other Lights : Neewer LED Panels with Neewer Softboxes > > Video Software : > > Davinci Resolve 19 > Inkscape > GIMP > Because seriously, screw Adobe > Ecamm Live (streaming software)