HNHacker News
TopNewBestAskShowJobs

kreelman

321 karma · joined March 23, 2017

submissionscomments
kreelman··on A kernel bug froze my machine: Debugging an async-profiler deadlock
:-) LOL !
kreelman··on A kernel bug froze my machine: Debugging an async-profiler deadlock
That was a neat article.

Great that you had the time to be curious and dig into what was going on. QEMU is quite an amazing tool.

I'm kind of surprised there isn't a fairly robust kernel test around this issue, since it locks the machine down and I think the fix was to prevent a stuck CPU last time as well?

It's also vaguely surprising that this hasn't been encountered more often, particularly by the https://news.ycombinator.com/user?id=everlier talking in links to this HN post about "20-30 containers" running simultaneously and occasionally locking up the machine.

If you're still thinking about the bug a little, you could look over how other kernel tests work and implement a failing test around it....?

I imagine the tests have some way of detecting a locked up kernel... I don't know exactly how they'd do it, but they probably have a technique. Most likely since the kernel is literally in a loop it won't respond to anything.. so starting any process, something as simple as creating any process, even one as simple as printing "Hello World!!" would fail and indicate the machine is locked.

Perhaps this is one of those cases where something like UserModeLinux would allow a test to be easily put together, rather than spawning complete VMs via some kind of VM software. Again, would be interesting to know what Linux does with this kind of test.

kreelman··on Size of Life
So wonderful. Thanks for making this so open. I'll show it to my kids. The artwork is very good and the soundtrack too.
kreelman··on A supersonic engine core makes the perfect power turbine
It could be a good, relatively portable gas peaker. Though I would have thought batteries might be a better step for peak load management?

This might sit somewhere between peak load and base load?

Since the CO/CO2 exhaust from this turbine should be able to be captured fairly well, would it be possible to capture it on the spot into tanks of some kind? There are most probably some large thermal issues to deal with here.. I also wonder about the MIT COF-99 (https://www.scientificamerican.com/article/exotic-powder-pul...) that eats up CO2 very efficiently.

If simply CH4 is being passed to the turbine, is the water generated from the combustion being captured anywhere?

What about the sound characteristics of this beasty? There are cases in the US of people noticing the new AI data centre fans whining at all hours.

There'll be an engineer/physicist out there somewhere who'll come up with a generally efficient way to move heat around (Graphene ?) and he'll start a multi-billion dollar business.

kreelman··on Macro Splats 2025
I agree. The fine detail on the insects skin/shell is amazing.

I'd love to know the compute hardware he used and the time it took to produce.

kreelman··on A Global Mining Dataset
Neat. Thanks!
kreelman··on Scm2wasm: A Scheme to WASM compiler in 600 lines of C, making use of WASM GC
Thanks for including this.

Hoot looks fantastic. There's a side project, Goblins https://spritely.institute/goblins/ that does distributed development too.

Great to see that people are still supporting Scheme tools. There's a lot of utility here, even if people (and job adds) go for the "latest" tools.

kreelman··on Scm2wasm: A Scheme to WASM compiler in 600 lines of C, making use of WASM GC
I couldn't find evidence of an interpreter on the scm2wasm github page, but I only did a shallow look.

Hoot (uses Guile Scheme), mentioned above, has a working interpreter, to quote...

   "The toolchain is self-contained and even features a Wasm interpreter for testing Hoot binaries without leaving the Guile REPL."
kreelman··on The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf]
Thanks for that link. Good to have an (another?) embed-able Scheme interpreter.
kreelman··on Analog optical computer for AI inference and combinatorial optimization
This is important work. I'd wondered whether optics could do maths, this looks to show it can.
kreelman··on Benchmarks for Golang SQLite Drivers
That's an interesting thought. I wonder.

I wonder if the following things make the C driven version slower...

- prepare the send buffers (sqlite side)

- prepare the receive buffers (go side)

- do the call

- get the received data into go buffers of some kind

- free up the send buffers (happens automatically)

- free up the receive buffers (semi automatically in Go).

When using stdin/stdout, the system looks after send/receive buffers. It's simply reading/writing them. No allocation is needed. The stream can be as big or as little as wanted/needed. The OS will look after the integrity of the streams and these are probably fairly well tested subsystems on most operating systems.

stdin/stdout becomes a "library" for "fast data transfer".

Pretty neat.

kreelman··on Benchmarks for Golang SQLite Drivers
You could do the edit for him and create a pull request. I did that for a really small mistake in the README.md of sqinn.

I see what you mean, there are some categories there (cGO based or not) that lend themselves to quick understanding via a table.

kreelman··on Litestar is worth a look
I'm starting out with API style apps. This post was great since it covered several architectural and tool points I'd not thought of.

I think I'll use LiteStar for my app now too.

Thanks for your good comment and I 2nd your thanks to the author.

kreelman··on The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
Ah, the "Kindly Old Gentleman"...

Though a very difficult man to get on with... He did champion the correct building of the first nuclear subs.

kreelman··on SIOF (Scheme in One File) – A Minimal R7RS Scheme System
Nice. Thanks for putting this together!!
kreelman··on Show HN: Reviving a 20 year old OS X App
I love the early web feel of the site. The points around DuoLingo not working are informative. This could be turned into a PWA so it can run anywhere?
kreelman··on I made a chair
Thanks for that! I like that hardware is getting covered on HN :-)
kreelman··on Writing that changed how I think about programming languages
Neat. Thanks.
kreelman··on Preparing for when the machine stops
I'm reminded of "The Feeling of Power" by Isaac Asimov.

In this story, everyone relies on automation so much that they forget how to do mathematics. A lone, nerdy operator re-learns the skill of 2 digit multiplication in the process of working through automated weapons targeting issues, astounding his superiors.

The concept of forgotten arts seems like a common thread here.

This is a PDF of the text. https://ia600806.us.archive.org/20/items/TheFeelingOfPower/T...

This is the Wikipedia overview. https://en.wikipedia.org/wiki/The_Feeling_of_Power

First heard this one at school.

kreelman··on Show HN: A pure WebGL image editor with filters, crop and perspective correction
This does useful things easily. How hard would it be to use it as a batch process?
kreelman··on Icônes
These look great. Thanks for sharing.
kreelman··on Show HN: Dia, an open-weights TTS model for generating realistic dialogue
This is amazing. Is it possible to build in a chosen voice, a bit like Eleven Labs does? ...This may be on the git summary, being lazy and asking anyway :=) Thanks for your work.
kreelman··on 101 BASIC Computer Games
Similar for me in my early teens. I used an Australian machine called the Microbee, https://www.microbeetechnology.com.au/classic-plus-kit-compu...

A clever friend of mine wrote BASIC games that he sold back then. I think they had a bit of Z80 assembler built into it too.... Can't remember what names of them were though.

The 'hires' graphics mode (511*255, monochrome) were encoded into sprites. There were only 128 characters from memory. There were all sorts of tricks to try and get around that issue.

The best games used the sprites plonked into char positions.

kreelman··on Search My Site – open-source search engine for personal and independent websites
Thanks for putting this together. I wonder, is Postgres a bit of a large DB if it's just a personal website search tool? I'll have to give it a go. We need more tools like this.
kreelman··on If it is worth keeping, save it in Markdown
Hmmm. I see the use in this...

For me, everything swirls in an enjoyable vortex towards org-mode.

- Literate Programming, tangle/weave

- Export to DocX, PDF, HTML

- Org-Roam

- Time Management.

Several things mentioned above are day to day. I think spectacular things are often made up of collections of useful everyday things.

kreelman··on If it is worth keeping, save it in Markdown
Hmmm. I see the use in this...

For me, everything swirls in a lovely vortex towards org-mode. - Literate Programming, tangel/weave - Export to DocX, PDF, HTML - Org-Roam - Time Management.

kreelman··on Write the post you wish you'd found
Well done. Great you've got time for that. Thanks.
kreelman··on OpenLDK: A Java JIT compiler and runtime in Common Lisp
Haha... It would be strange to run this inside https://abcl.org/...

A Java runtime... running on a Java runtime... Hmm, maybe not. But could be possible.

kreelman··on Roc rewrites the compiler in Zig
The ROC webpage talks about ROC doing web servers via Rust libs...

   Behind the scenes, it uses Rust's high-performance hyper and tokio libraries to 
   execute your Roc function on incoming requests.
Will these be replaced with Zig networking libs?
kreelman··on You could have invented Fenwick trees
...So, could someone try putting one of these trees in place in... SQLite3 and see if it's any faster than it's use of B-Trees?.... Assuming this concept will work in C...
← PreviousPage 3 of 6Next →