#hax — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #hax, aggregated by home.social.
-
-
-
@rival_elf Unfortunately, I've read from many different sources now that Lean4 seams to be struggling a lot, and that the community is still at Lean3 (without having used it myself yet, all of this is third hand hear-say). That's the main reason why I am looking more into Rocq and F# (in particular through the lens of #hax) these days.
-
@rival_elf Unfortunately, I've read from many different sources now that Lean4 seams to be struggling a lot, and that the community is still at Lean3 (without having used it myself yet, all of this is third hand hear-say). That's the main reason why I am looking more into Rocq and F# (in particular through the lens of #hax) these days.
-
@rival_elf Unfortunately, I've read from many different sources now that Lean4 seams to be struggling a lot, and that the community is still at Lean3 (without having used it myself yet, all of this is third hand hear-say). That's the main reason why I am looking more into Rocq and F# (in particular through the lens of #hax) these days.
-
@rival_elf Unfortunately, I've read from many different sources now that Lean4 seams to be struggling a lot, and that the community is still at Lean3 (without having used it myself yet, all of this is third hand hear-say). That's the main reason why I am looking more into Rocq and F# (in particular through the lens of #hax) these days.
-
@rival_elf Unfortunately, I've read from many different sources now that Lean4 seams to be struggling a lot, and that the community is still at Lean3 (without having used it myself yet, all of this is third hand hear-say). That's the main reason why I am looking more into Rocq and F# (in particular through the lens of #hax) these days.
-
#young #digital #artists You can make a career from your phone with free shit. Learn how. Watch me. LOL. #og first then #chopz & #hax #MissKittyArt #VJ #artInstallations #artcommissions #art #fineart #abstractart #digitalart #digitalartist #artistforhire #REMIX #8K-ART #gLUMPaRT #GGTart #640CLUB
-
#young #digital #artists You can make a career from your phone with free shit. Learn how. Watch me. LOL. #og first then #chopz & #hax #MissKittyArt #VJ #artInstallations #artcommissions #art #fineart #abstractart #digitalart #digitalartist #artistforhire #REMIX #8K-ART #gLUMPaRT #GGTart #640CLUB
-
#young #digital #artists You can make a career from your phone with free shit. Learn how. Watch me. LOL. #og first then #chopz & #hax #MissKittyArt #VJ #artInstallations #artcommissions #art #fineart #abstractart #digitalart #digitalartist #artistforhire #REMIX #8K-ART #gLUMPaRT #GGTart #640CLUB
-
#young #digital #artists You can make a career from your phone with free shit. Learn how. Watch me. LOL. #og first then #chopz & #hax #MissKittyArt #VJ #artInstallations #artcommissions #art #fineart #abstractart #digitalart #digitalartist #artistforhire #REMIX #8K-ART #gLUMPaRT #GGTart #640CLUB
-
#young #digital #artists You can make a career from your phone with free shit. Learn how. Watch me. LOL. #og first then #chopz & #hax #MissKittyArt #VJ #artInstallations #artcommissions #art #fineart #abstractart #digitalart #digitalartist #artistforhire #REMIX #8K-ART #gLUMPaRT #GGTart #640CLUB
-
Lakers, an implementation of #EDHOC, i.e., lightweight security for #IoT, now uses formal verification to continuously check a first small part of its code using #hax and F*, proving our buffers won't reach out of their bounds and panic. Thanks @cryspen for making that tool rather straightforward to learn.
-
Lakers, an implementation of #EDHOC, i.e., lightweight security for #IoT, now uses formal verification to continuously check a first small part of its code using #hax and F*, proving our buffers won't reach out of their bounds and panic. Thanks @cryspen for making that tool rather straightforward to learn.
-
Lakers, an implementation of #EDHOC, i.e., lightweight security for #IoT, now uses formal verification to continuously check a first small part of its code using #hax and F*, proving our buffers won't reach out of their bounds and panic. Thanks @cryspen for making that tool rather straightforward to learn.
-
Lakers, an implementation of #EDHOC, i.e., lightweight security for #IoT, now uses formal verification to continuously check a first small part of its code using #hax and F*, proving our buffers won't reach out of their bounds and panic. Thanks @cryspen for making that tool rather straightforward to learn.
-
Lakers, an implementation of #EDHOC, i.e., lightweight security for #IoT, now uses formal verification to continuously check a first small part of its code using #hax and F*, proving our buffers won't reach out of their bounds and panic. Thanks @cryspen for making that tool rather straightforward to learn.
-
-
-
🚀 hax is entering a new era! 🚀
We're excited to announce the launch of our new website, a fresh start at Cryspen, and our first official release, v0.1.0!
Check out our latest blog post to learn more about this exciting new chapter and how you can get involved.
🔗 https://hax.cryspen.com/blog/2025/01/21/a-new-chapter.html
#opensource #hax -
🚀 hax is entering a new era! 🚀
We're excited to announce the launch of our new website, a fresh start at Cryspen, and our first official release, v0.1.0!
Check out our latest blog post to learn more about this exciting new chapter and how you can get involved.
🔗 https://hax.cryspen.com/blog/2025/01/21/a-new-chapter.html
#opensource #hax -
🚀 hax is entering a new era! 🚀
We're excited to announce the launch of our new website, a fresh start at Cryspen, and our first official release, v0.1.0!
Check out our latest blog post to learn more about this exciting new chapter and how you can get involved.
🔗 https://hax.cryspen.com/blog/2025/01/21/a-new-chapter.html
#opensource #hax -
🚀 hax is entering a new era! 🚀
We're excited to announce the launch of our new website, a fresh start at Cryspen, and our first official release, v0.1.0!
Check out our latest blog post to learn more about this exciting new chapter and how you can get involved.
🔗 https://hax.cryspen.com/blog/2025/01/21/a-new-chapter.html
#opensource #hax -
🚀 hax is entering a new era! 🚀
We're excited to announce the launch of our new website, a fresh start at Cryspen, and our first official release, v0.1.0!
Check out our latest blog post to learn more about this exciting new chapter and how you can get involved.
🔗 https://hax.cryspen.com/blog/2025/01/21/a-new-chapter.html
#opensource #hax -
Office of Digital Learning creates platform to simplify website content creation
https://www.psu.edu/news/arts-and-architecture/story/office-digital-learning-creates-platform-simplify-website-content#pennstate #psu #innovation #webdev #edu #education #edtech #cms #web #hax
-
Office of Digital Learning creates platform to simplify website content creation
https://www.psu.edu/news/arts-and-architecture/story/office-digital-learning-creates-platform-simplify-website-content#pennstate #psu #innovation #webdev #edu #education #edtech #cms #web #hax
-
Office of Digital Learning creates platform to simplify website content creation
https://www.psu.edu/news/arts-and-architecture/story/office-digital-learning-creates-platform-simplify-website-content#pennstate #psu #innovation #webdev #edu #education #edtech #cms #web #hax
-
hax - A #Rust #verification tool
https://github.com/hacspec/hax
hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.
1/2
-
hax - A #Rust #verification tool
https://github.com/hacspec/hax
hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.
1/2
-
hax - A #Rust #verification tool
https://github.com/hacspec/hax
hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.
1/2
-
hax - A #Rust #verification tool
https://github.com/hacspec/hax
hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.
1/2
-
hax - A #Rust #verification tool
https://github.com/hacspec/hax
hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.
1/2
-
Did you know that there's a JavaScript editor within Music Blocks?
Here's a short video of Bryan Ollendyke of HAX hacking on JS in the editor: https://www.youtube.com/shorts/zILYVsSi1zA #HAX #MusicBlocks #JavaScript
-
Did you know that there's a JavaScript editor within Music Blocks?
Here's a short video of Bryan Ollendyke of HAX hacking on JS in the editor: https://www.youtube.com/shorts/zILYVsSi1zA #HAX #MusicBlocks #JavaScript
-
Did you know that there's a JavaScript editor within Music Blocks?
Here's a short video of Bryan Ollendyke of HAX hacking on JS in the editor: https://www.youtube.com/shorts/zILYVsSi1zA #HAX #MusicBlocks #JavaScript
-
Did you know that there's a JavaScript editor within Music Blocks?
Here's a short video of Bryan Ollendyke of HAX hacking on JS in the editor: https://www.youtube.com/shorts/zILYVsSi1zA #HAX #MusicBlocks #JavaScript
-
Did you know that there's a JavaScript editor within Music Blocks?
Here's a short video of Bryan Ollendyke of HAX hacking on JS in the editor: https://www.youtube.com/shorts/zILYVsSi1zA #HAX #MusicBlocks #JavaScript
-
Dear #web developers: Please stop including #JavaScript code from sites you don't control. Because if any of those external sites gets taken over by malicious actors, all hell breaks lose for your users.
Have all JavaScript code served by your own server. In case this is not technically possible, find a different way to reach your goals. Your convenience is not worth putting users at risk.
Latest example: Polyfill.io
-
Dear #web developers: Please stop including #JavaScript code from sites you don't control. Because if any of those external sites gets taken over by malicious actors, all hell breaks lose for your users.
Have all JavaScript code served by your own server. In case this is not technically possible, find a different way to reach your goals. Your convenience is not worth putting users at risk.
Latest example: Polyfill.io
-
Dear #web developers: Please stop including #JavaScript code from sites you don't control. Because if any of those external sites gets taken over by malicious actors, all hell breaks lose for your users.
Have all JavaScript code served by your own server. In case this is not technically possible, find a different way to reach your goals. Your convenience is not worth putting users at risk.
Latest example: Polyfill.io
-
Dear #web developers: Please stop including #JavaScript code from sites you don't control. Because if any of those external sites gets taken over by malicious actors, all hell breaks lose for your users.
Have all JavaScript code served by your own server. In case this is not technically possible, find a different way to reach your goals. Your convenience is not worth putting users at risk.
Latest example: Polyfill.io
-
Dear #web developers: Please stop including #JavaScript code from sites you don't control. Because if any of those external sites gets taken over by malicious actors, all hell breaks lose for your users.
Have all JavaScript code served by your own server. In case this is not technically possible, find a different way to reach your goals. Your convenience is not worth putting users at risk.
Latest example: Polyfill.io
-
New on the Cryspen blog: Cryptographic protocol verification with hax!
We're excited to share our latest blog post, which dives into using our powerful hax toolchain for security verification on cryptographic protocols. ️
This post takes you through a practical example of verifying a protocol using hax and ProVerif. Learn how to leverage hax to ensure the robustness of your cryptographic implementations and identify potential vulnerabilities.
Check out the full post here: https://cryspen.com/post/hax-pv/
#hax #formalverification #Cryptography #TLS #Security #Engineering
-
New on the Cryspen blog: Cryptographic protocol verification with hax!
We're excited to share our latest blog post, which dives into using our powerful hax toolchain for security verification on cryptographic protocols. ️
This post takes you through a practical example of verifying a protocol using hax and ProVerif. Learn how to leverage hax to ensure the robustness of your cryptographic implementations and identify potential vulnerabilities.
Check out the full post here: https://cryspen.com/post/hax-pv/
#hax #formalverification #Cryptography #TLS #Security #Engineering
-
New on the Cryspen blog: Cryptographic protocol verification with hax!
We're excited to share our latest blog post, which dives into using our powerful hax toolchain for security verification on cryptographic protocols. ️
This post takes you through a practical example of verifying a protocol using hax and ProVerif. Learn how to leverage hax to ensure the robustness of your cryptographic implementations and identify potential vulnerabilities.
Check out the full post here: https://cryspen.com/post/hax-pv/
#hax #formalverification #Cryptography #TLS #Security #Engineering
