Readit News logoReadit News
themulticaster commented on 40 percent of fMRI signals do not correspond to actual brain activity   tum.de/en/news-and-events... · Posted by u/geox
kspacewalk2 · 3 months ago
This study is validating a commonplace fMRI measure (change in blood-oxygenation-level-dependent or BOLD signal) by comparing it with a different MRI technique, one that uses a multiparametric quantitative BOLD model, a different model for BOLD derived from two separate MRI scans which measure two different kinds of signal (transverse relaxation rates), and then multiply/divide by a bunch of constants to get at a value.

I'm a software engineer in this field, and this is my layman-learns-a-bit-of-shop-talk understanding of it. Both of these techniques involve multiple layers of statistical assumptions, and multiple steps of "analysing" data, which in itself involves implicit assumptions, rules of thumb and other steps that have never sat well with me. A very basic example of this kind of multi-step data massaging is "does this signal look a bit rough? No worries, let's Gaussian-filter it".

A lot of my skepticism is due to ignorance, no doubt, and I'd probably be braver in making general claims from the image I get in the end if I was more educated in the actual biophysics of it. But my main point is that it is not at all obvious that you can simply claim "signal B shows that signal A doesn't correspond to actual brain activity", when it is quite arguable whether signal B really does measure the ground truth, or whether it is simply prone to different modelling errors.

In the paper itself, the authors say that it is limited by methodology, but because they don't have the device to get an independent measure of brain activation, they use quantitative MRI. They also say it's because of radiation exposure and blah blah, but the real reason is their uni can't afford a PET scanner for them to use.

"The gold standard for CBF and CMRO2 measurements is 15O PET; but this technique requires an on-site cyclotron, a sophisticated imaging setup and substantial experience in handling three different radiotracers (CBF, 15O-water; CBV, 15O-CO; OEF, 15O-gas) of short half-lives8,35. Furthermore, this invasive method poses certain risks to participants owing to the exposure to radioactivity and arterial sampling."

themulticaster · 3 months ago
> [...] but the real reason is their uni can't afford a PET scanner for them to use.

This is incorrect, TUM has a PET scanner (site in German): https://nuklearmedizin.mri.tum.de/de/Patienten-Zuweiser/Pet-... Can't comment regarding the other observations.

themulticaster commented on Bus Bunching   futilitycloset.com/2025/0... · Posted by u/surprisetalk
tialaramex · 8 months ago
Isn't Google just giving you timetables?

That's not useless but it's no substitute for real time information. Seeing "Your bus is six minutes away" is reassuring in a way that "Well, the bus isn't scheduled for another minute, and maybe it's running late" is not.

In that "Oops, it's diverted" case which annoyed me, my bus was, from that point of view, genuinely getting closer, I could see it on the map. And then I realised, with growing horror, that it's on a road which won't pass me. Maybe that's a glitch? Then I saw the bus itself, in the real world, too late it's actually not coming here.

themulticaster · 8 months ago
There's both: GTFS is a standard for the regular schedule, and GTFS-RT is a standard for realtime information.

Link: https://gtfs.org/documentation/realtime/reference/

themulticaster commented on No-Panic Rust: A Nice Technique for Systems Programming   blog.reverberate.org/2025... · Posted by u/chmaynard
wongarsu · a year ago
There is no-panic [1] to turn panics in a function into compile errors, or the older no-panics-whatsoever [2] to do the same for the entire binary

1: https://crates.io/crates/no-panic

2: https://crates.io/crates/no-panics-whatsoever

themulticaster · a year ago
no-panic uses link-time shenanigans to prevent panics in the compiled binary, but this isn't 100% reliable (as explained in the README, just pointing this out)
themulticaster commented on The long road to lazy preemption in the Linux CPU scheduler   lwn.net/SubscriberLink/99... · Posted by u/chmaynard
Someone · a year ago
> You need CPU time to evaluate the priority of the event.

Not necessarily. The CPU can do it in hardware. As a simple example, the 6502 had separate “interrupt request” (IRQ) and “non-maskable interrupts (NMI) pins, supporting two interrupt levels. The former could be disabled; the latter could not.

A programmable interrupt controller (https://en.wikipedia.org/wiki/Programmable_interrupt_control...) also could ‘know’ that it need not immediately handle some interrupts.

themulticaster · a year ago
The user you replied to likely means something different: The priority of the event often depends on the exact contents on the event and not the hardware event source. For example, say you receive a "read request completed" interrupt from a storage device. The kernel now needs to pass on the data to the process which originally requested it. In order to know how urgent the original request and thus the handling of the interrupt is, the kernel needs to check which sector was read and associate it with a process. Merely knowing that it came from a specific storage device is not sufficient.

By the way, NMI still exist on x86 to this day, but AFAIK they're only used for serious machine-level issues and watchdog timeouts.

themulticaster commented on iPhone 16 Pro and iPhone 16 Pro Max   apple.com/newsroom/2024/0... · Posted by u/mfiguiere
panarky · 2 years ago
Really thought they'd upgrade from 12MP to 48MP on the telephoto. iPhone 16 Pro matched the Pixel's 5x optical zoom, but weirdly it remains stuck at 12MP.
themulticaster · 2 years ago
When it comes to exchangeable lens cameras (DSLRs/DSLMs), as you increase the number of pixels you very quickly reach a point where you're limited by the optical performance of the lens instead of the sensor. Lots of systems offer a choice between a 24MP and a high pixel count camera (e.g. Nikon Z6/Z7), and you'll find that the high pixel count sibling requires very good lenses to actually achieve a meaningful improvement over 24MP. For these cameras, common wisdom says to stay with 24MP apart from certain niche use cases.

In other words, I wouldn't expect a improvement in capturing actual 48MP pictures in phone cameras, apart perhaps from pixel binning to a smaller size and similar techniques.

Disclaimer: I haven't followed camera tech very closely recently, and I'm not an expert. Take my opinion with a grain of salt.

themulticaster commented on Some notes on Rust, mutable aliasing and formal verification   graydon2.dreamwidth.org/3... · Posted by u/todsacerdoti
rtpg · 2 years ago
I think that Coq/Agda/Lean and friends are really going to be the winners in the proof space. Interactivity is a pretty good model for the feedback loop, and they're systems that exist and work, without a lost of asterisks.

The biggest thing I think these tools are missing out of the box is, basically, "run quickcheck on my proof for me". It's too easy to have some code, and try to prove some property that isn't true, and rip your hair out thinking "why can't I get the proof working!"

If halfway through your proof you end up in a thing that seems nonsensical, it would be nice for these tools to just have a "try to generate a counter-example from here" command that spits out a thing.

Proofs are so path-dependent, and it's not trivial to do in general. But I think they are all very close to greatness, and every time I've gone through the effort to formally verify a thing, it's been pretty illuminating. Just... if you're trying to prove some code, the process should take into account the idea that your code might be buggy.

themulticaster · 2 years ago
Isabelle/HOL has Quickcheck, which is precisely what you think it is. Although it only works if the free variables in the thesis you'd like to prove are sufficiently simple AFAIK (think integers or lists). The more powerful alternative to Quickcheck is Nitpick, which is a purpose-built counterexample finder.

The workflow you'd like already exists one to one in Isabelle: You can simply type "nitpick" halfway through a proof and it will try to generate a counterexample in that exact context.

themulticaster commented on Not knowing the /proc file system   admccartney.mur.at/progra... · Posted by u/adamcc
ahoka · 2 years ago
“The Linux kernel has no standard mechanism for delivering a variable-sized result from a system call.”

In NetBSD you can create XML serialized system calls for this. :-)

themulticaster · 2 years ago
Of all the BSDs, I'm only a little familiar with OpenBSD through its OpenSSH fame, so I'm a little surprised to hear that a (probably) somewhat related project would use XML in a system call. In other words, if an OpenSSH release introduced XML as a wire format I'd assume it to be an April fools's joke. [1] But I guess OpenBSD and NetBSD are less related than I thought.
themulticaster commented on Google has sent internet into 'spiral of decline', claims DeepMind co-founder   telegraph.co.uk/business/... · Posted by u/pg_1234
rendall · 2 years ago
Looking for the ultimate potato salad experience? When it comes to potato salad our potato salad is a game-changer in the world of potato salad. Made with farm-fresh ingredients, this potato salad recipe will elevate your potato salad picnic to a gourmet potato salad feast. Whether you're a potato salad novice or a potato salad connoisseur, our potato salad recipe is guaranteed to impress. Don't settle for ordinary potato salad, indulge in the best potato salad ever. Come explore the potato salad possibilities with us! Potato salad has never been this exciting, potato salad.
themulticaster · 2 years ago
When choosing a bowl for your potato salad, you need to keep some important properties of potato salad bowls in mind. Different bowls have different designs that make some better suited to storing potato salad than others. For example, a higher quality bowl might have been manufactured to a higher standard than a subpar bowl. You might also want to choose different bowls depending on the amount of potato salad you want to prepare. There are bigger bowls and smaller bowls, differing in size and thus in the amount of potato salad they can accommodate. A smaller bowl is great when you're aiming to cook for just a few people, while a larger bowl is ideal for bigger groups. Brand name bowls like the classic SALADBOWL(tm) are preferred by some potato salad fans, while others appreciate the great price offered by newer, less established brands. Keep in mind that while a cheaper bowl is more affordable, it can also break more easily, so it's not a bad idea to compare the warranty period offered by different manufacturers.

Disclaimer: Not a native speaker, I hope I got the annoying structure of those "what to look for when buying X" blog articles right...

themulticaster commented on Introduction to sysclean(8)   kapouay.eu.org/notes/sysc... · Posted by u/todsacerdoti
somat · 2 years ago
Related: mtree can be an amazing tool. very handy to help you maintain audits of your system.

I think there is a linux tool that does the same thing but I can't remember what it is. I just used mtree on my linux hosts and it worked fine.

http://man.openbsd.org/mtree

themulticaster · 2 years ago
Based on its name I think it's used in Arch Linux packages (at least makepkg says it is generating an mtree file at some point during the build process IIRC). However it appears mtree (the tool) isn't packages, so perhaps it's only using the mtree specification format?
themulticaster commented on Will Cyber Security Be Replaced by AI?   blog.edned.net/will-ai-re... · Posted by u/nonrandomstring
constantly · 2 years ago
Honestly I’m not sure I ever understand the content myself and am instead repeating patterns of what has worked in the past applied to new domains.
themulticaster · 2 years ago
Yeah, I think coming up with definitions of "understanding" or "reasoning" that GPT-4 and friends supposedly don't fulfill is moving goalposts.

To continue your line of thinking, when we add salt and pepper to a dish we've cooked, are we really doing it because we have a developed a thorough understanding of the human olfactory and gustatory systems [1] system, or because it tasted good previously when applied to similar recipes?

And when it comes to understanding basic math, perhaps the patterns are still a tad to complicated for LLMs. Maybe there are too many surprising rules that appear out of nowhere and break the learnt patterns. But children struggle with those rules as well when they first come across them. Think about division through zero - when coming across the rule for the first time, you might wonder why it exists, instead of e.g. defining the result to be infinity. The answer to that question (not just "because that's the way things work!") is not obvious at all, to be honest I wouldn't be confident enough to attempt giving an explanation here.

[1] I have to admit I had to look gustatory system up: it's the biological term for the system behind the sense of taste.

u/themulticaster

KarmaCake day390March 25, 2021View Original