Readit News logoReadit News
digibeet commented on Recursion kills: The story behind CVE-2024-8176 in libexpat   blog.hartwork.org/posts/e... · Posted by u/spyc
mhitza · 6 months ago
> Any recursive function can be transformed into a tail recursive form, exchanging stack allocation for heap allocation.

You know, I got spoiled by Haskell, doing recursion everywhere without a care, and all I had to think was the evaluation order (when things blew up). Now that I'm doing some OCaml, I have to stop and think "am I writing a tail recursive function". It's easy to write multiple levels of recursion and lose track if you're writing a tail recursive function that the compiler will optimize.

I think recursions are really easy to make unbounded by mistake. Maybe not so much as for loops and off by ones.

digibeet · 6 months ago
Ah, I find myself in similar waters. In your experience does the [@@tailcal] annotation not cover enough of the cases?
digibeet commented on Ask HN: What are you working on? (February 2025)    · Posted by u/david927
mavamaarten · 6 months ago
I live next to a school, so there's a low speed limit (30 km/h). Still, people drive like race drivers and the city hasn't ever responded to the residents' hopes of introducing a speed camera.

I wanted to have some data on how many people speed, the max speed recorded, that sort of thing. Things the city should be doing after many complaints of dangerous driving and people being almost killed on zebra crossings.

I have a doorbell camera, and by analysing the footage using OpenCV and some code, I can track how fast people drive if you see how fast they move between two known points.

Average speed: 46 km/h :(

digibeet · 6 months ago
What about placing a fake speed camera? It might just get the job done
digibeet commented on Taxing unrealized gains has caused an entrepreneurial exodus in Norway   paragraph.xyz/@hagaetc/no... · Posted by u/koevet
digibeet · 9 months ago
Is this satirical? If it is, well done you could've fooled me with the whole Norwegian perspective. If it isn't, damn how much of a caricature can you be.
digibeet commented on The Proceedings of the Friesian School, Fourth Series   friesian.com... · Posted by u/drdee
digibeet · a year ago
I take personal offense to the name of this school. To create a school like this and smearing the names of those lovely horses .

On a more serious note, I found it quite difficult to get a feel for what philosophy you are promoting. To me this page looked like a well read libertarian writing some snide comments about whoever they don't like at the moment. It would also do well to stick a bit more to facts and truths in your arguments.

digibeet commented on NIH Researchers Identify Brain Connections Associated with ADHD in Youth   nimh.nih.gov/news/science... · Posted by u/bookofjoe
_fat_santa · a year ago
I've always been a cautious skeptic of ADHD in children. On the one hand I know ADHD is a thing and that it legitimately affects some children, but on the other hand I realize that alot of ADHD symptoms overlap with the general nature of children, especially boys.

My wonder is when does it to go from a kid just being a kid to a child actually affected by ADHD. Often times it's described as just not being able to pay attention but in my personal experience I remember finding it hard to focus as a child.

The drugs also scare me. I remember taking Adderall in college to help study for tests and crunch on projects but I distinctly remember anytime I took one I always wondered how people could take it every day, Adderall (and Vyvance) were amazing drugs for helping to stay focused, but wow did they f** me up, I remember it always felt great at first and by the end of the study session I couldn't imagine how people could take it every day because of the side effects (especially the lack of hunger). Adults taking the drug is one thing but the idea of giving something like that to a child profoundly scares me.

digibeet · a year ago
No need to be skeptical of children that are diagnosed. It is often (and I am speaking solely about boys, just as you do) quite obvious if you are trained in recognising those markers. This doesn't mean all are found and the current training is severely lacking in recognising symptoms for girls.

Regardless, yes it is often described by others and those who are not diagnosed with ADHD as " just not being able to focus". This simplification misses out on a whole scala of symptoms and experiences.

As for the medication, it is true that it is sometimes mis/abused by some students. One thing to realize is that for those who have ADHD drugs and the stuff may have completely different effects on the person. Uppers making some people sleepy for example. Lastly children are often not given those drugs you mention but alternative without those side effects.

digibeet commented on Bike lanes are good for business   businessinsider.com/bike-... · Posted by u/cainxinth
trgn · a year ago
You find it so obvious to be almost snarky about it. Almost no one in my city thinks like that, most see bikes only as recreational vehicle, or as the last resort for deviants and DUI-convicts. For these people, shopkeepers included, a bikelane is an assault on parking and therefore common sense.
digibeet · a year ago
Fascinating that your perspective and 'common sense' is to be the complete opposite to mine. It is high time americans see the great future that is non-car focused but people orientated.
digibeet commented on Plex announced to block instances on German hosting provider Hetzner   forums.plex.tv/t/not-allo... · Posted by u/chrkl
tombert · 2 years ago
I run Jellyfin on my home server, and this has been a problem for me as well. Even within my home network I'll have occasional stuttering while watching movies, despite the fact that I'm using a dedicated server with 128gb of RAM and 12 CPUs, with a 10 gigabit network card in a 10 gigabit switch, and I'll still get stuttering.

I've debated moving to Plex but I'm broadly against running proprietary software on a server (for reasons I cannot honestly articulate terribly well).

digibeet · 2 years ago
Honestly, that sounds quite weird to me. I've been remotely running my instance with only 100Mb/s connection and it hasn't even struggled running 4K film. All this on a budget i3 9100. And I'm quite sure it should be able to run on even slower hardware if need be.
digibeet commented on Removing garbage collection from the Rust language (2013)   pcwalton.github.io/_posts... · Posted by u/mattrighetti
raincole · 2 years ago
> Not trying to be cheeky, but why not c#?

C# is my main language. I consider it a very good all-round language.

Rust's type system has some advantages over C# tho, for example Sum Type, Option (C# has ? but it was added later so you need to be careful when interacting with old code, kinda like TypeScript <-> JavaScript to a lesser extent), exhaustive enum, etc.

Another thing I don't like about C# is the runtime startup time which prevents me from using it for command line tools (Yes I prefer static typed languages even for "scripting"). I think Go has proven that you can have both GC and extremely fast startup time.

digibeet · 2 years ago
Runtime startup might be a fixed issue soon for smaller CLI programs. Correct me if I'm wrong, but I believe they are working on (and it is already available with a compiler option) to compile your C# program ahead of time (C# AOT).

u/digibeet

KarmaCake day13September 11, 2023View Original