HNHacker News
TopNewBestAskShowJobs

divs1210

703 karma · joined June 4, 2014

submissionscomments
divs1210··on Show HN: CSP Benchmarks – Go vs. core.async (Clojure) vs. libgoc (C)
Hi, Alex!

Happy you find it cool!

I will update the Clojure and core.async versions to latest.

You're right I forgot to mention the JVM version in the benchmarks.

I'll be running fresh benchmarks once the current task I'm working on is done.

I will have to look into io-thread, not familiar with it.

Although my aim with the benchmarks is to have nearly identical code for all platforms without any platform-specific optimizations - I'm not sure yet how io-thread plays into that.

Will definitely add the JVM version and update Clojure dependencies and let you know when I have fresh benchmarks.

divs1210··on Libgoc: A Go-style CSP concurrency runtime for C
Libgoc is a Go-style CSP concurrency runtime for C: threadpools, stackful coroutines, channels, select, async I/O, and garbage collection in one coherent API.
divs1210··on Importance of context management in AI NPCs
I have a feeling that Half Life 3 will have groundbreaking AI NPCs.
divs1210··on Half-Life
Half Life is my favorite game franchise of all time.

Played all the canon games and SO MANY mods.

Still obsessed with it.

divs1210··on Show HN: Tramway SDK – An unholy union between Half-Life and Morrowind engines
Neat project!

By the way, to see a great example of how a modern game can be made using the classic Half Life engine, look at the fan made game Half Life: Echoes [1].

It actually looks pretty decent, and the gameplay is top notch.

[1] https://www.youtube.com/watch?v=fBQKi6vGX8U

divs1210··on A Minecraft server written in COBOL
Same as dynamically typed vs statically typed languages.
divs1210··on Four limitations of Rust's borrow checker
Easy to write bugs in unsafe languages like C / C++.

Rust makes memory management explicit, hence eliminating those bugs. But it also shows how hard memory management actually is.

Systems programming languages like this should be used sparingly, only for stuff like device drivers, OSs and VMs.

Any general purpose programming language should be garbage collected.

divs1210··on World conker champion found with steel chestnut, cleared of cheating
Pinewood Derby vibes
divs1210··on John Carmack on inlined code (2014)
A person of culture, I see.

Electric Monks were made for a reason.

Surprisingly pertinent to the current discussion.

divs1210··on Rewriting Rust: A Response
This discussion is seriously lacking in references to Koka language[0].

Koka is memory safe without using traditional GC, has effects, and is pretty cool over all.

[0] https://koka-lang.github.io/koka/doc/index.html

divs1210··on What Is a Particle? (2020)
Particle spin explained:

Imagine a ball that’s rotating,

Except it’s not a ball, and

It’s not rotating.

(popular particle physics meme)

From what I understand of QFT, the Universe is made of fields of different types, and a “fundamental particle” is just an excitation (wave) in the corresponding field.

For example, a photon is a wave in the universal electromagnetic field, A charm quark is a wave in the universal charm quark field, etc.

I’m not a trained physicist, so I might be wildly wrong.

divs1210··on Physicists create elusive particles that remember their pasts
Thanks for the explanation.

That quote is extremely terse and would have taken a considerable amount of time to understand.

divs1210··on Show HN: Conway's Game of Life in TypeScript's type system
Yes! I have played with Shen before.

IIRC the type checker is literally a Prolog.

divs1210··on Show HN: Conway's Game of Life in TypeScript's type system
commenting for future reference.

that's a great quote.

divs1210··on Grayscale was unreasonably denied its Bitcoin ETF, court rules
The SEC chief is Gary Gensler who used to teach a Cryptocurrency course at Harvard...
divs1210··on Where do fonts come from? Monotype, mostly
what about linux?
divs1210··on A History of Clojure (2020) [pdf]
Luminus has a successor called Kit.
divs1210··on (next Rich)
Are you complaining he used a word you weren't familiar with?
divs1210··on The Dome: A simple violation of determinism in Newtonian mechanics (2005)
> merely shining a light on the object would give it a nudge

so you're saying you would change the outcome by measuring the system?

divs1210··on Successful room temperature ambient-pressure magnetic levitation of LK-99
Hao Wu is an immunologist.

I hope he isn't connected to Stanford's Nolan.

LK-99 is weirdly connected to UFO lore, so I'd want to be cautious.

divs1210··on Remembering Benares
What balderdash.
divs1210··on TypeScript 5.0
I didn't know Java had a `function` keyword.

That is TS, not Java. Not sure why the gp is calling it Java.

divs1210··on Diff Models – A New Way to Edit Code
Good point!

Maybe a future AI could generate machine code that could be "disasssembled" into higher level languages.

Not sure if that would be better.

divs1210··on Why Go and Not Rust? (2019)
> No shared mutability. This is an unrealistic constraint;

Hard disagree.

It is impossible to safely use shared mutable state b/w parallel processes.

See how DB isolation levels work - serializable is the only safe way to go if your processes do anything conditional on the current state. To parallelize, you have to partition the DB which is kind of a cheap way to split one physical DB into separate logical DBs.

So even DBs - the largest shared mutable states we have - are also not really shared mutable states. They need to be broken down into unshared mutable states to be useful.

Shared mutable state is a smell both at the code level and system level.

divs1210··on Erlang's not about lightweight processes and message passing
Without those lightweight processes that process messages sequentially from their inbox these behaviors won't give the same concurrency guarantees.

I don't know why the author is turning this into a competition of whether processes are more important or behaviors - they both are parts of a well designed system that work well together.

GenServers etc can't be written equivalently in Go/Java since goroutines and Java threads (even the new virtual threads) are not pre-emptive, whereas Erlang processes are truly independent.

divs1210··on Bflat – a single ahead-of-time crosscompiler and runtime for C#
Interesting.

Why do you say so?

divs1210··on Carp – a statically typed, non-GC Lisp language
So you see someone's

- open source project on the internet

- that clearly states it's a research project

and instead of commenting on the project, you complain that it doesn't have the libraries you need for your job.

Brilliant!

divs1210··on Valve is paying open-source developers to work on Proton, Mesa, and more
One of the reasons I love Valve.
divs1210··on The Chaostron: An Important Advance in Learning Machines (1961)
The paper is surreal.

An AI paper that starts with experiments on drowning cats and religious chimpanzees.

Then it talks about making the system by cutting up a large wire mesh and assembling it back randomly.

Then it talks about simulating the system on a computer, and coding it in a programming language called YAWN that is like English.

Then it says that they could not obtain the machine that runs YAWN programs, so they emulated that machine on another computer (IBM 704).

Then it says (excitedly) that the machine printed gibberish when presented with a certain input and on another run ejected the input punched card twice.

I'm not sure if this is real or a joke.

I'm not sure if the experiment itself was designed as a joke to waste US military's computer time.

I'm not sure if this has some deep lessons.

To me, it felt like when Dumbledore set the chicken on fire in HPMOR.

divs1210··on React I love you, but you're bringing me down
I think someone should make a Reagent for JS.
Page 1 of 12Next →