HackerTrans
トップ新着トレンドコメント過去質問紹介求人

redbar0n

no profile record

投稿

Jam – Programming Language (C-like, safe, no lifetime syntax)

rapha.land
12 ポイント·投稿者 redbar0n·先月·1 コメント

The Case Against the Nuclear Atom

unbekoming.substack.com
2 ポイント·投稿者 redbar0n·7 か月前·0 コメント

The One-Step Trap (In AI Research), by Richard Sutton

incompleteideas.net
2 ポイント·投稿者 redbar0n·9 か月前·0 コメント

コメント

redbar0n
·先月·議論
What’s unique about Jam is that it tries to keep the ergonomics of a C-like language while enforcing safety without a garbage collector or lifetime annotations. Its main differentiators are owned bindings with automatic drop, no undefined or implicit zero-initialization, no first-class references, and a C-ABI-friendly design that aims to make safe code the default even at FFI boundaries.

Jam is trying to be a safe systems language with C-like immediacy, RAII-style cleanup, no lifetime syntax, no undefined, and low-friction C interop.
redbar0n
·3 か月前·議論
It's a bit ironic that the "Good fit" for "When High Level Rust Makes Sense" lists all the use cases where someone would typically _not_ reach for Rust, and "Not a fit" lists all the use cases for when people _would typically_ consider Rust.
redbar0n
·3 か月前·議論
I think it's because majority of people using Rust come from C++ where the devx is way worse. But I think what pulls down the devx is the perceived steep learning curve, plus lifetimes.
redbar0n
·3 か月前·議論
Crystal's issues list 785 open issues tagged as bugs, as of today, 16. april 2026: https://github.com/crystal-lang/crystal/issues?q=state%3Aope...

Is that normal? Or does someone just really need to close some stale bugs?
redbar0n
·4 か月前·議論
Just remember Rob Pike's 1st rule: don't assume where bottlenecks will occur, but verify it.
redbar0n
·7 か月前·議論
How could CSS (or any language) have been designed so that these mistakes could have easily been corrected today in any case?

If the mentioned mistakes or similar language design mistakes were made. Because mistakes will always be made.

(Unison lang comes to mind but it’s refactor failsafe seems narrow. How about: Antifragile language design? Self-correcting language?)
redbar0n
·7 か月前·議論
x = x + 1

always annoyed me as a syntax for binding, when first learning programming, coming from using = in equational reasoning in mathematics.

x: x + 1

would have been more natural as assignment/binding, imho.
redbar0n
·7 か月前·議論
In two concepts: syntactic sugar vs syntactic vinegar.
redbar0n
·9 か月前·議論
I did not dismiss speech’s potential to cause hurt feelings, I acknowledged and affirmed it. It is not to be taken lightly. Yet, we need an effective demarcation between speech and physical action, where resorting to physical action is deemed even more severe than words. So which one do you propose?
redbar0n
·9 か月前·議論
I am not arguing that terms cannot be used in broader or more expansive or even metaphorical meaning. But I am arguing that the accuracy/essence of the term «violence» ought to be respected. Especially because diluting it (i.e. washing out the border of it) can have such disastrous consequences.

There should be a very clear line between saying something and using physical force. So if you think the term «violence» isn’t a part of defining that line (or even the terms «attack», «aggression», «force», «assault» etc. which you seem willing to use to describe speech), then I am eager to hear what term(s) you propose to uphold that distinction?
redbar0n
·9 か月前·議論
The fact that the Wikipedia page on «verbal abuse» has to use «verbal» as a prefix term to the terms «abuse», «violence», «assault» etc. actually underscores the point: If those terms were obviously verbal in nature, then «verbal» wouldn’t have been needed as a prefix to them.
redbar0n
·10 か月前·議論
Why would you even need to say «call for violence» if speech were violence in itself?

No one is opposing the fact that speech can be used to call for violence, but that doesn’t make the speech itself violence. The speech part of it is the «call for» or «incitement to» or even «lead to». But we must not mix up cause and effect.
redbar0n
·10 か月前·議論
Distinguishing speech from violence is not to dismiss the potential for speech to cause hurt feelings.
redbar0n
·10 か月前·議論
From each except the first: - «force, assault» - «action» - «an act of aggression»

Which stands in contrast to «speech».

Though any expression can be used in a broader sense than what it essentially/accurately signifies. Some such examples are of course included in dictionaries, without taking away from the point (what they list first and their general primary agreement: that violence is physical force).

I hope we can agree how dangerous it is to wash out the meaning of the word «violence», and conflate it with «speech». Especially all the while people are being killed (subject to violence) for their speech by other people who justify it by saying that they were responding in kind (eye for an eye) because they deemed their mere words to be actual violence (physical harm) too.
redbar0n
·10 か月前·議論
The post could have been called «The Unexpected Woes of Scalability: Few in-betweens».
redbar0n
·10 か月前·議論
You should look up the definitions of the word «violence».

You seem to be using violence figuratively (synonymously with ‘injustice’), but ignoring it’s essential and accurate definition.

Both Britannica, Wikipedia, Wiktionary, and Merriam-Webster dictionaries, as well as the etymology of the word agree that «violence» means the use of «physical force».