slyborg
The Graffiti Expresshax reurs
#kamloops #train #graffiti #art
#hax #reurs
GlennMagusHarvey
Renรฉ Mayrhofer 
๐บ๐ฆ@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.
Miss Kitty ๐๐๐#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
chrysnLakers, 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.
KhosumiMany of you problem don't care about this, but it is important to me.
Hax$ was a figure in the super smash bros community that has had his name besmirched and tainted, and no matter what he did to try and salvage his name, people at every turn sullied his name more.
Everyone needs to remember that you are talking to a very real human being behind the screen.
Stop being edgy and unnecessarily harsh to everyone around, it only brings us all down.
Hax$ had attempted suicide by jumping in front of a train, which he survived, although losing a leg. He sadly passed away later on due to complications.
Be kind, y'all.
Yo Waddup: Hax$
Narf (Fran Regen Period)
Cryspen๐ 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
BryanOffice 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 | Penn State University
Developed by a team in the College of Arts and Architecture's Office of Digital Learning, HAX, or Headless Authoring eXperience, is a content management system that structures content in a ubiquitous format for simple web publishing.