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

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
0
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
0
1
1
0
1

うえのさんからそのような指摘があるのはうなずけるところではあります
それはそれとしていまの自分の文脈では「薄っぺらい」としてもそこは致命的な問題ではないなと思います

0
1

グレーバーとかネグリ=ハートとか、国家否定まではわかんだけど、その後は抽象的な人間概念でなんかもやーっと社会を作れるとするきらいがあるので、その点薄っぺらいなぁ、と感じています。

宗教家としては、文明の歴史というもは捨象してしまうのが、もったいないというか空想的というか。

0
0
0
1