#hax — Public Fediverse posts

New SIIP - Conversation with HAX tutorial is up 🎬

Written walkthrough with screenshots + embedded video:
https://siip-conversation-with-hax.surge.sh

Full video: https://www.youtube.com/watch?v=TNF0uzYi9Kk

#HAX #HAXTheWeb #WebComponents #EdTech #OER

New SIIP - Conversation with HAX tutorial is up 🎬

Written walkthrough with screenshots + embedded video:
https://siip-conversation-with-hax.surge.sh

Full video: https://www.youtube.com/watch?v=TNF0uzYi9Kk

#HAX #HAXTheWeb #WebComponents #EdTech #OER

#TIL #hax The best way to get rid of LibreOffice's vast indent on lists is <cntl><shft><tab> - twice.
I think the same applies to MSFT version too.

This delivers ~5em of space back to the text.

hax reurs
#kamloops #train #graffiti #art
#hax #reurs

hax reurs
#kamloops #train #graffiti #art
#hax #reurs

An error has occurred. Please try again later.

@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

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

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

#Proof #Hax #FStar #ProgrammingLanguage #OCaml #RustLang

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

#Proof #Hax #FStar #ProgrammingLanguage #OCaml #RustLang

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

https://sansec.io/research/polyfill-supply-chain-attack

#security #hax #Polyfill

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

https://sansec.io/research/polyfill-supply-chain-attack

#security #hax #Polyfill

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

was watching a documentation about Peter Falk, famous for his role as Columbo.. https://on.orf.at/video/14227918/dokfilm-peter-falk-versus-columbo

This german Film, "Wings of Desire" dt. "Himmel über Berlin" was mentioned.. shot in 1987, that fact is pretty interesting..(2 years before the "Mauerfall")

so i checked, this is what i got
🥱 #lazy #llm #hax :awesome:

https://archive.org/details/WingsOfDesireGermanMasterpieceFilm

..adding it to the watchlist.📺
#movietoot 🍿

was watching a documentation about Peter Falk, famous for his role as Columbo.. https://on.orf.at/video/14227918/dokfilm-peter-falk-versus-columbo

This german Film, "Wings of Desire" dt. "Himmel über Berlin" was mentioned.. shot in 1987, that fact is pretty interesting..(2 years before the "Mauerfall")

so i checked, this is what i got
🥱 #lazy #llm #hax :awesome:

https://archive.org/details/WingsOfDesireGermanMasterpieceFilm

..adding it to the watchlist.📺
#movietoot 🍿

was watching a documentation about Peter Falk, famous for his role as Columbo.. https://on.orf.at/video/14227918/dokfilm-peter-falk-versus-columbo

This german Film, "Wings of Desire" dt. "Himmel über Berlin" was mentioned.. shot in 1987, that fact is pretty interesting..(2 years before the "Mauerfall")

so i checked, this is what i got
🥱 #lazy #llm #hax :awesome:

https://archive.org/details/WingsOfDesireGermanMasterpieceFilm

..adding it to the watchlist.📺
#movietoot 🍿

was watching a documentation about Peter Falk, famous for his role as Columbo.. https://on.orf.at/video/14227918/dokfilm-peter-falk-versus-columbo

This german Film, "Wings of Desire" dt. "Himmel über Berlin" was mentioned.. shot in 1987, that fact is pretty interesting..(2 years before the "Mauerfall")

so i checked, this is what i got
🥱 #lazy #llm #hax :awesome:

https://archive.org/details/WingsOfDesireGermanMasterpieceFilm

..adding it to the watchlist.📺
#movietoot 🍿

I've been wanting to look into formally verifying #Rust code with #Hax for a while, but wasn't sure where to start.

Thankfully Lucas Franceschino from @cryspen has now a tutorial to get started!

https://hacspec.org/blog/posts/announcement-tutorial/

I've been wanting to look into formally verifying #Rust code with #Hax for a while, but wasn't sure where to start.

Thankfully Lucas Franceschino from @cryspen has now a tutorial to get started!

https://hacspec.org/blog/posts/announcement-tutorial/

to all the #smw #romhack fans best of 2023 list has just been posted! some real gems in there like 'mycelium'
https://www.smwcentral.net/?p=hall_of_fame&page=1632745-class-of-2023

#nintendopower #hax #hacking #romhacking #supermarioworld #sufami #snes #hacktheplanet

UP5IWJMANO2763ILSDCOXXPDWYBSTI6J.jpeg #hax #lol #noob

#anime #engineering #hell #hax

"hozuki no reitetsu" on the kind of people who work in japanese hell's engineering department. it seems about right!

(screenshots are from season 2, episode 7)

Useless Facts, Badly Drawn #306: The Snotbot.
.
.
#snotbot #drones #robots #robotics #tech #science #whales #cetaceans #biology #marinebiology #strangebuttrue #hax #wtf #webcomic #comic #uselessfacts #uselessfactsbadlydrawn

Useless Facts, Badly Drawn #306: The Snotbot.
.
.
#snotbot #drones #robots #robotics #tech #science #whales #cetaceans #biology #marinebiology #strangebuttrue #hax #wtf #webcomic #comic #uselessfacts #uselessfactsbadlydrawn

My 2.4GHz downconverter runs UNIX.

#surplus #13cm #soekris #hax #2400MHz

My 2.4GHz downconverter runs UNIX.

#surplus #13cm #soekris #hax #2400MHz

SOSV is building a New Jersey HAX facility for industrial, healthcare and climate startups - SOSV this morning announced work on a $50 million HAX facility in Newark, New Jers... - http://feedproxy.google.com/~r/Techcrunch/~3/tT9uaA4OTo0/ #logistics #hardware #health #newark #sosv #hax

Robomart launches its mobile convenience store in beta for West Hollywood residents - Nine months into the pandemic, one of the first states to institute a shut down is back at square on... - http://feedproxy.google.com/~r/Techcrunch/~3/mIeIDHqXb1A/ #transportation #wasabiventures #ecommerce #delivery #robomart #apps #sosv #hax

Accelerators embrace change forced by pandemic - Accelerators have become a major force in the startup world, but these teeming masses of potential ... - http://feedproxy.google.com/~r/Techcrunch/~3/gASAYHe7X2M/ #oceansolutionsaccelerator #venturecapital #accelerators #techstars #startups #hax #tc

https://boffosocko.com/2020/10/16/55779022/

@art #Hax

XRobotics is keeping the dream of pizza robots alive - Zume pulled the plug on its robotic pizza wing earlier this year. A lot goes into making a decision ... - http://feedproxy.google.com/~r/Techcrunch/~3/i15INGLOSRg/ #robotics #pizza #food #sosv #hax

Where top VCs are investing in manufacturing and warehouse robotics - Robotics and automation tools are now foundational parts of warehouses and manufacturing facilities ... more: http://feedproxy.google.com/~r/Techcrunch/~3/cTIBikjnTh8/ #baincapitalventures #cyrilebersweiler #comcastventures #fundings&exits #venturecapital #shahinfarshchi #manufacturing #trueventures #ajayagarwal #rohitsharma #automation #luxcapital #warehouses #factories #robotics #startups #funding #factory #sosv #hax

Intel & their upcoming dedicated GPU: Linux / Open Source highlighted.

It could be a candidate to replace Nvidia as a gaming GPU?

"Our journey toward a new visual computing experience is underway, and that includes a commitment to the #OpenSource community.

Local memory implementation is the first of many steps toward robust Linux support for our future discrete graphics solutions."

==> https://twitter.com/IntelGraphics/status/1096537915222642689?s=19
_
#Linux #Intel #GPU #IntelGraphics #SkullCanyon #HAX #2020