Readit News logoReadit News
bionade24 commented on Comparing xeus-Haskell and ihaskell kernels   datahaskell.org/blog/2025... · Posted by u/mchav
bmacho · 18 days ago
When I was toying with Haskell I was unable to get GHCi to interpret multiline definitions (Haskell is declarative, which means you don't make commands, but you declare commands which then get executed).

Jupyter+conda/anaconda is almost always not installable and broken for most of its kernels (it was for Haskell), so I ended up piping GHCi to a websocket server that I found on GitHub and a minimal HTML/JS frontend to talk to it: a reorderable list of textareas.

Then I added some security in the form of passing and verifying long random strings (via files, URL arguments and the user, that one is annoying). GHCi is capable of shelling out, so letting every browser tab on my computer talking to it is not ideal.

AFAIK Jupyter does not have any advanced features like dependency tracking between cells, or tracking variables, data, etc. So if you want Haskell in the browser, I recommend my approach, it is small, fast, the UI is configurable, and the whole process is hackable with hooks and transformations at any place.

bionade24 · 18 days ago
It certainly can be inefficient depending on what you want to do, but loading files with functions into the scope of your GHCi session works quite well for quick debugging. When cabal repl all necessary deps for the project get loaded and it just works.
bionade24 commented on WebAssembly (WASM) arch support for the Linux kernel   github.com/joelseverin/li... · Posted by u/marcodiego
lalitmaganti · a month ago
Tried running:

  ~ # du -h 
  (...)
  [Runner sh (2390656)]: Wasm crash: RuntimeError: operation does not support unaligned accesses
  [Main]: Stopping CPU 0
  [Main]: Stopping CPU 1
  [Main]: Stopping CPU 2
  Kernel panic - not syncing: Aiee, killing interrupt handler!
  [Runner sh (2390656)]: Kernel panic: Aiee, killing interrupt handle
> Due to a bug in LLVM's build system, building LLVM a second time fails when building runtimes (complaining that clang fails to build a simple test program). A workaround is to build it yet again (it works each other time, i.e. the 1st, 3rd, 5th etc. time).

I'm incredibly curious what this bug might be!

bionade24 · a month ago
Unrelated to this issue but I've had a race condition with Automake which while run oin 2-4 threads occured exactly every 2nd run. With -j48 it was obvious it's a race condition. No idea how cache invalidation works in the automake stack, but that must have caused it to fail exactly 50% of the time.
bionade24 commented on Btrfs Allocator Hints   lwn.net/ml/all/cover.1747... · Posted by u/forza_user
bjoli · 5 months ago
I wonder if I can use a smaller SSD for this and make it avoid HDD wakeups due to some process reading metadata. That alone would make me love this feature.
bionade24 · 5 months ago
Most likely yes, but the also envisioned periodically repacking oft multiple small data extents into one big that gets written to the HDD would wake up the HDD. And if you'd make the SSD "metadata only", browser cache and logging will keep the HDD spinning.

This feature is for performance, not the case you described.

bionade24 commented on How reliable are MicroSD cards?   old.reddit.com/r/raspberr... · Posted by u/edent
amelius · 6 months ago
My experience: if you forget to unmount a microSD card after writing to it, then at least you can still use it. In many cases this cannot be said for USB thumbdrives.
bionade24 · 6 months ago
Write cache flushing is a Software behaviour thing, it's unrelated to reliability.
bionade24 commented on Unity’s Open-Source Double Standard: the ban of VLC   mfkl.github.io/2024/01/10... · Posted by u/cempaka
NoahKAndrews · 7 months ago
Edit: nevermind, they are in fact affiliated, and most of the core VLC devs work at VideoLabs. I've kept the original comment below.

This blog post links to the "VideoLab Store", hosted at https://videolabs.io, which prominently uses a logo extremely similar but not identical to the VLC (which stands for VideoLAN, not VideoLab) logo. Their homepage even goes as far as displaying "Hire the VLC team" as its headline.

As far as I'm aware, VideoLab has nothing to do with the VideoLAN non-profit, and it very much seems like they are intentionally trying to mislead people into thinking that they are the developers of VLC.

bionade24 · 7 months ago
Well, the author does have a link to the git forge of the VideoLAN project prominently displayed on the blog and also contributes to projects there: https://code.videolan.org/videolan/LibVLCSharp

Additionally, Videolabs is listed at https://www.videolan.org/videolan/partners.html

I guess the project is well-aware of the corporation.

bionade24 commented on Don't fear getting fired if you have ADHD   claimingattention.substac... · Posted by u/asoli
entropi · 8 months ago
As an employee with ADHD, I found this rather unhelpful. Some of us do have to work for a living, and getting fired can have very serious consequences on our lives.

For a lot of us, avoiding (or increasing the likelihood of avoiding) being perceived by our employers as "lazy, careless, unreliable, or defensive" is often worth the exhaustion of trying.

bionade24 · 8 months ago
I think you misinterpret the message of the article. I think the message is analogous to "don't feel guilty if you failed to obey the norms of behaviour", which does not mean at all that you should aim to break those norms and behave uncordial and inappropriate on purpose. You absolutely have to try your best, even for your own good. But for your own good, you have to have patience and empathy with yourself, too.

On another note, your perspective of trying to avoid being unemployed 3-12 months during job seeking is a rather US-American centered perspective. I get that HN is from the USA, but this view doesn't apply to every other region of the world.

bionade24 commented on Daily driving a Linux phone, but why?   thefoggiest.dev/2025/04/2... · Posted by u/ingve
d3Xt3r · 8 months ago
How is 4G calling (VoLTE) these days? Last I heard it needed quite a bit of a manual work to get it going.
bionade24 · 8 months ago
Sailfish(OS) supports VoLTE in newer, supported devices. For community ports and other mobile Linux distros it's afaik still rare. Closed drivers and obtaining configurations for carriers in other countries are the 2 big showstoppers.
bionade24 commented on SoftBank Group to Acquire Ampere Computing for 6.5B   group.softbank/en/news/pr... · Posted by u/geerlingguy
alberth · 9 months ago
Isn’t Ampere essentially the only company making server grade ARM chips.

And all the rest of ARM customers are making mobile/desktop.

So Ampere is going after a completely different segment that the rest of ARM customers aren’t addressing.

bionade24 · 9 months ago
Isn't Marvell/Cavium still in the ARM server business, too?
bionade24 commented on Falkon: A KDE Web Browser   falkon.org... · Posted by u/0x54MUR41
cosmic_cheese · 9 months ago
Not likely unfortunately thanks to Mozilla, which in all its wisdom, dropped embedding support from Gecko. This means it effectively cannot be hosted outside of Firefox/Seamonkey and forks thereof. This is contrasted by WebKit, which is largely UI toolkit agnostic and can be dropped in just about anywhere.

Funny thing, Epiphany (now known as GNOME Web) was originally built around Gecko, but when Mozilla axed embedding, the project had no choice except to switch web engines and so it’s now built around WebKit instead.

bionade24 · 9 months ago
Embedlite is still maintained, even though it's not a Mozilla project nor very active. Since it's the base for the Sailfish browser, it even does have Qt bindings.

Relevant repos:

https://github.com/sailfishos/qtmozembedhttps://github.com/sailfishos/embedlite-componentshttps://github.com/sailfishos/gecko-dev

bionade24 commented on Introducing ChatGPT Gov   openai.com/global-affairs... · Posted by u/keepit
fragmede · a year ago
I wonder if it's the exact same model as the public has access to, or if it comes pre-jailbroken so it's more willing to discuss certain angles on certain topics that the government may take.
bionade24 · a year ago
I really doubt that it is literally pre-jailbroken. More likely, OpenAI will configure a custom prompt to improve the usage scenario of a large customer anyway.

u/bionade24

KarmaCake day278December 7, 2020View Original