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.

0
0
0

RE: mastodon.social/@Gargron/11609

This really is a good slogan, and I'm going to dissect that, in order to more fully appreciate it.

It's entirely because of the framing of the message. The whole perspective is centered on the relationships. It explicitly rejects that those relationships are transactional. But it then goes on to assume that those relationships bear some mutual duty to each other. I choose not to let my friendships be sold. And I infer from this that mastodon understands that mutual duty. They recognize they have some part in upholding it, and they choose to do so. Mastodon is a place where friendships are not for sale.

It's very good

hachyderm.io/@Gargron@mastodon

0
0
0

I was thinking about how unappealing the base human stats are in cyberpunky games.

Like, if your choices are-

1) Cool unique cyberware
2) Cool unique hacking
3) Cool unique magic
4) Being muscley

It really feels like someone that chooses "muscley" is actively abandoning the uniquenesses of the world.

To me it feels like every kind of build needs to connect to the world in unique ways that help explore it.

0

So, you want me to code in a language that has no formal specification, no test suite, that changes continuously, where builds are not reproducible, where results depend on a hidden state in a build cache that can't be backed up, where I have to pay for each compilation, where I have to continuously send a copy of my code to a third party, and that might disappear with no notice?

Geee, vibe coding looks FUN!

0
4
0
0
0
0
0
0
0
0

private repoで実装してて、自分で分かればいいやーと「ジャンプ後に直前の位置に戻る機能」とか言うタイトルのIssue立ててて、なんか見たことあるな?と思ったらあれだ、フリーレンのポンコツ魔法っぽいんだ。「赤いリンゴを青くする魔法」みたいなやつ。

0
0
0

i've been meaning to look into Typed Assembly Language! cs.cornell.edu/talc/overview.h

The goal of the TAL project is to extend the paradigm of type-directed compilation to its limit. We compile high-level languages that include features such as higher-order polymorphic functions, datatypes, modules, objects, and subtyping into a series of typed intermediate languages and finally into a Typed Assembly Language (TAL). Unlike any other compiler, we not only use typed intermediate languages but also typed target languages.

[...]

The type soundness of our assembly code implies many important security properties such as memory safety. As a result, our assembly code is a form of proof-carrying code.

0
0
1
0
0
1
0
0
0
0
2
0
0

ggml.ai, Hugging Face와 협력해 로컬 AI의 장기 발전 보장
------------------------------
- *로컬 AI 생태계* 의 지속적 발전을 위해
llama.cpp의 창립팀인 ggml.ai가 Hugging Face 에 합류함
-
ggmlllama.cpp는 계속해서 *오픈소스·커뮤니티 중심* 으로 운영되며, 팀은 전일제로 유지·지원 예정
- Hugging Face는 프로젝트의 *장기적 지속 가능성* 을 보장하고, 사용자 경험과 *transformer…
------------------------------
https://news.hada.io/topic?id=26861&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
0
0
0
0
0
0

Reposting a question for Ed Zitron, I'll forward responses. He asked on Bluesky and will get sub-Mastodon-tier answers:

"This is a serious question and I would be delighted if I only hear great things but, software engineers: both before and after LLMs, how often in your professional lives have you run into software engineers that seem completely useless or lacking in basic knowledge? I hope the answer is rarely"

0

... 내가 볼땐 AI 문제는 아니고 물론 문제이긴하겠지만 그냥 경제가 너무 안 좋아서 그런것 같긴한데 나도 정확히는 잘 모르겠음;; 한국의 경우 돈이 몰리긴할텐데 AI, 반도체, 국방 뭐 이런곳으로 가고 아닌곳은 안가는것 같기도하고... 미국은 더 심한것 같고 ㅎㅎ 그냥 제 주관적인 느낌...

0
0
0
0
0
0
2
0
0
0
0
0
0
0