4chan remains unsurpassed for shitposts, dead or alive.
#4chan #hax
#hax
@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.
🚀 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
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
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
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 🍿
Sometimes I forget who I have bumped into over the years.
At CPP'24 I was impressed with some work using #hax / #hacspec to do cool stuff with verified implementations.
Finally reading up on hacspec (i have ideas) and one of its originators was someone I met long long ago (social media followers).
Anyway, I should reach out properly...
The #harmonic series is neat. Pluck a string, divide it in half, pluck that string, and they're an octave apart. Divide it by 3 and you are a fifth above the octave. Divide by 4 and it's a fourth above the fifth. What's interesting is if you go up a fifth, and then a fourth interval, you get to a second octave, once again returning to the pitch you started at. Every fraction of 1/N where N is some power of 2 will play the same pitch, some octaves above the pitch of the string itself. So you end up with something like this:
1 1/2 - octave
1/2 1/3 1/4 - octave
1/4 1/5 1/6 1/7 1/8 - octave
What's super cool is the fourth time you do it, going from 8 to 16, you get a sequence of 8 distinct notes from one octave to the next.
1/8 1/9 1/10 1/11 1/12 1/13 1/14 1/15 1/16 - octave
It's super cool because our piano scale has 7 notes and goes from octave to octave. But this here has 8! That means the scales are really close together, with the 8 note scale sounding eerily off by someone used to a 7 note scale. Yet the 8 note scale emerges naturally from the physics and mathematics of the harmonic series. The 7 note scale was just... "unga bunga, me tune string. 7 note? why not?" So as eerie as the 8 note scale sounds, it's a less dissonant than the fairly arbitrary 7 note scale, since each note is the next harmonic in the series.
So I uh... remade my program that plays around with the 8 note scale. Sounds kind of neat.
https://fedicy.us.to/libmake/source/harmonic_scale%401/src/main.c
#music #hax
1 1/2 - octave
1/2 1/3 1/4 - octave
1/4 1/5 1/6 1/7 1/8 - octave
What's super cool is the fourth time you do it, going from 8 to 16, you get a sequence of 8 distinct notes from one octave to the next.
1/8 1/9 1/10 1/11 1/12 1/13 1/14 1/15 1/16 - octave
It's super cool because our piano scale has 7 notes and goes from octave to octave. But this here has 8! That means the scales are really close together, with the 8 note scale sounding eerily off by someone used to a 7 note scale. Yet the 8 note scale emerges naturally from the physics and mathematics of the harmonic series. The 7 note scale was just... "unga bunga, me tune string. 7 note? why not?" So as eerie as the 8 note scale sounds, it's a less dissonant than the fairly arbitrary 7 note scale, since each note is the next harmonic in the series.
So I uh... remade my program that plays around with the 8 note scale. Sounds kind of neat.
https://fedicy.us.to/libmake/source/harmonic_scale%401/src/main.c
#music #hax
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
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst