What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

1

@inthehandsPaul Cantrell @SoulshineJay 🇺🇦
Thank you for giving us hope right from the eye of the storm (Minneapolis these days). Today is Holocaust Remembrance Day, and here in Berlin, as elsewhere, the phrase "never again" is being emphasised once more. You have lived through it in recent weeks, and if there is anything good to be found in the situation, it is perhaps that we all finally understand how things could have come to this back then.

0
0
0
0
0
0
0
1
0
0
1
0

Hardware design should be SAFER!

Memory-safe software languages changed the world and allowed to us to build massively larger systems. At their heart, memory-safe languages eliminate a category of bugs that pointer-manipulating programs suffer from.

Hardware design needs its own safe programming models but instead of memory, the problem is time! Synchronous hardware design needs to deal with a clock signal which creates discrete time steps. Every hardware module needs to think about how time affects its own logic and everything it communicates with. Getting it wrong leads to all sorts of logical bugs: reading meaningless values and using resources that are unavailable.

Our work on Filament (filamentHDL.com) defined a criteria for safe hardware description languages (HDLs) and showed that you can enforce it using a type system and introduce no overheads. Safe HDLs have become an interesting area of research and this year's ASPLOS features two papers exploring different threads:

- Lilac (arxiv.org/abs/2401.02570): Builds upon Filament applies its safety guarantees to parameterized designs. A cool outcome of this work was to show that, in addition to helping with verification, safe HDLs enable the design of fundamentally new abstractions!
- Anvil (arxiv.org/abs/2503.19447): Explores how Filament's verification abstractions can be applied to a higher-level, message-passing HDL and enforce safety properties!

I'm really excited to see where this line of work goes and what we can build with it! If you're around at ASPLOS and interested in this kind of work, come say hi and go watch the talks!!

0
0
0

I'm and I use xkcd.com/color/rgb/ frequently.

Randall 'xkcd' Monroe did a survey of over 100,000 readers where he showed them random rgb colors and said "what would you call this?" and afterwards he did his best to sort the results into the most popular color names and the colors they refer to.

It's like a box of Crayola for the internet. Finally, my colorblind self can grab a sample of "dark magenta" that doesn't just look like "grape purple" to everyone else.

The data is freely available as a .txt file under CC0, which I've converted into a .css file here: git.hatspace.net/nycki/nycki.n

so now when I want a color on my website I can just write `color: var(--xkcd-off-white)` or so on. it's really convenient :)

edit: blog post discussing this data in more detail: blog.xkcd.com/2010/05/03/color

0
0
0

@glyph @tiotasram In the old days the deployment platform was a floppy disk: you turn the computer on, and it booted straight into the application.

Combine this with the ubiquity of the browser, and we have the obvious solution: amiga.oszx.co/ (requires Chrome looks like, and warning, strobing lights)

0

Meta Is Blocking Links To ICE List on Facebook, Instagram, and Threads.
Users of Meta’s social platforms can no longer share links to ICE List, a website listing what it claims are the names of thousands of DHS employees.
wired.com/story/meta-is-blocki

0
0
0
0
0
0
0
1
1
1
0
0
0
0
0
0

사람이 수치스러울 일을 애초에 저지르지 않는 것이 좋지만, 이미 저질렀다면 수치스럽지 않기 위해 도망치고 거짓말을 하는 것이 더 나쁘다. 수치스러울지언정 정직해야 한다. 최근 그걸 스스로 실천해야 할 상황에 놓여서 많이 괴롭다. 하지만 도망치지 않겠다. 부끄럽겠다. 그것이 온당하기에.

0
0

Great intro to and articles by @steveklabnik.comSteve Klabnik steveklabnik.com/writing/getti

I discovered many of things he discusses on my own (through trial and error) and having those articles early on would have been handy for me, so it's great that they exist today.

0
1
1
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
1
0
0
1