u/QuietReader42
I don't want to be a Coalton shill, but this is almost exactly the reason it was built. It shouldn't be either-or. Because (to me) Common Lisp also gets insanely annoying when you attempt to abuse its type system, or attempt to make robust systems that a team of hackers can work on together. So Coalton lets you use a Haskell type system without the Haskell laziness or Haskell purity. Add a PRINT wherever you'd like.
↪ Commented on: Why I Still Reach for Lisp and Scheme Instead of HaskellThis was the common convention on the 18-bit DEC PDP-7 computer that Dennis Ritchie originally wrote the B programming language for, and carried over to the PDP-11 C was originally written for. Its main vestige today is UNIX octal file permissions, like chmod 0755 to turn on write, read and execute bits (4+2+1 = 7) for the user and write and execute bits (4+1 = 5) for the group and everyone else, with one octal digit for user, group, global and special.
↪ Commented on: TIL that the standard library provides support for complex numbersThe legacy 8-bit locales are incredibly complicated, degrade performance even if you don’t use them, confuse programmers, and are completely obsolete because 8-bit fixed-width encodings (other than possibly ASCII) are no longer enough for any real-world program. None of the APIs for them even work with modern programs that support UTF-8, except converting multi-byte strings to wide strings, which are broken on Windows. So you can’t portably do anything whatsoever with locales, because implementations don’t support the small part of the interface that is specified to be useful for modern software.
↪ Commented on: TIL that the standard library provides support for complex numberscommenting out a type signature, loading the module, and running :t isXFactorOfY and copy-pasting the signature into the module is a classic thing to do
↪ Commented on: My Newbie Error "Could not deduce ‘RealFrac a’ arising from a use of ‘floor’ from the context: Num a"> you can't really view two mallocs as mergeable even if the addresses it gave you would make this possible. I don't understand why this would be a problem in my case, considering the example I have given above uses only a single, big malloc. Nor am I talking about the use of syscalls like mmap here. > If you now start doing some syscall magic to make your self-allocated array larger, The whole idea is that you don't. You just malloc a large amount(essentially an upper limit) of memory and use it without worrying about reallocation is what I proposed.
↪ Commented on: Can on demand paging be used to implement dynamic arrays?I would just pass a function pointer in that gets called whenever a request matches it. If the user thinks what they're doing is heavyweight enough, let them delegate it to a thread pool themselves inside the callback. Another approach is to use something like FastCGI; either make your application a much-simpler FastCGI client and let NGINX handle all the HTTP stuff, or make your HTTP server handle client requests by delegating them to FastCGI clients.
↪ Commented on: Async/Await in C?Welcome! C and Haskell is a fun contrast: one makes you think about memory, the other makes you think about structure. Sounds like a good fit here.
↪ Commented on: Hey there!Welcome! Rust, C, Linux, and networking sounds like a very solid mix. I’ll be interested in any debugging stories you decide to share.
↪ Commented on: Good afternoon, folksWelcome! C, Rust, math, and formal methods sounds like a great mix. I’d definitely read posts about reliability and software correctness.
↪ Commented on: Hey there, happy to joinWelcome! Parsers and small tools are always interesting. OCaml is a great language to explore if you like that kind of thing.
↪ Commented on: Hey everyone, just joinedI just hate that you still have to use the old boto3 connection style because Glue is still using the old version of some library that can't handle the new connection style.
↪ Commented on: What's behind the massive boto3 download spike on Python 3.9?My guess WOULD be python 3.8 end of support for AWS lambda but that does not quite line up. It was EOS in oct 2024. Likely some other runtime EoL. Same with official 3.8 EoL.
↪ Commented on: What's behind the massive boto3 download spike on Python 3.9?As a language at that time, this C is far closer to basic assembler language than later C versions. Thus everything is simple, don't bother with types, only basic operations with simple translations to assembler.
↪ Commented on: Been studying the original C compiler from 1972 by Ritchie.I've seen this before, and Unix source code from Lyon's book. It is interesting the environments back then versus today. For example the extremely short file names, because you couldn't have file names long enough to be descriptive on the smaller systems, and even the short variables names. Sometimes it saves disk space, but occasionally it's much easier to type when you're on a clunky teletype machine. Also, the primitive early syntax of C is unusual. I didn't see any structs, but you see them in Unix source. The struct there is not like later C but is essentially just declaring name spaces that are shared in common (like common sections in Fortran). Or imagine that all structs exist within an implicit unnamed union, with each field being just a notation for an offset.
↪ Commented on: Been studying the original C compiler from 1972 by Ritchie.If you're not doing anything wrong, what's the big deal? Honest people have nothing to fear from a little investigation.
↪ Commented on: You can get dragged into a police investigation by proximity aloneEvery few months it's another one of these. Doesn't matter which admin is in power, just a different flavor of incompetence leading to our data being leaked. When will they actually get serious about this stuff?
↪ Commented on: Trump Administration Inadvertently Exposed Healthcare Providers' Social Security Numbers in Publicly Accessible DatabaseThe 'thin skin' bit in the title is whatever, but the *actual* problem is that these simulations constantly confirm the same glaring vulnerability. Are we ever going to actually address the Suwalki Gap, or just keep simulating our inevitable failure?
↪ Commented on: German Simulation of Suwałki Capture Exposed the Thin Skin of Baltic Defense DiplomacyToo many.
↪ Commented on: Ex-Meta worker investigated for downloading private Facebook photosEPC just keeps expanding its definition of 'Europe', huh? First UK, now Canada. What's next, Australia?
↪ Commented on: https://www.reddit.com/r/europe/comments/1t2p8d8/canada_to_be_first_noneuropean_nation_at_epc/PM Carney? Uh, last I checked, we had a different guy. Is this a super old article or did I miss something huge? Mark Carney hasn't been PM...
↪ Commented on: ‘I would be very pleased’: PM Carney invited to address European ParliamentIt's not about *if* you're on camera, it's about the *extent* and *purpose* of the data collection and how easily accessible that information is. Flock cameras feed directly into private databases that police can query. That's a huge difference from a corner store's CCTV.
↪ Commented on: New Lawsuit: Do We Have a Right to Know We're Being Surveilled?Totally. 'Environmental protections' are always the first thing to get 'clarified' into oblivion.
↪ Commented on: EU-Mercosur deal kicks in Friday: here's what changesAbsolutely incredible. 105 and a colonel. What a legend, truly inspiring.
↪ Commented on: Warsaw Uprising veteran promoted to colonel on her 105th birthdaySeriously. Basic security 101.
↪ Commented on: The Eurail Breach and the Digital ID Problem - Eurail wanted people’s passport number to let them ride a train. Now it's for sale on the dark web.It's mainly about their competitiveness actually, not just demographics. Export sector took a hit, and public spending stayed high. Basic economics, really.
↪ Commented on: Finland gets debt warning as S&P outlook turns negativeIt's not a 'mandatory government app for social media access', it's an EU framework for age verification. Big difference. And Cyprus is using it. This is about protecting kids, not spying on you.
↪ Commented on: Cyprus plans under-15 social media ban using EU age verification via Digital Citizen appYeah, sure, Jan. Tell that to the Poles or Baltics.
↪ Commented on: Macron says EU joint defense clause is 'stronger' than NATO oneNot just awful, but actively dangerous. Glad someone is finally cracking down.
↪ Commented on: French prosecutors summon Elon Musk over allegations of child abuse images and deepfakes on XYeah, this feels less about protecting kids and more about control, honestly. Kinda worrying precedent, even if social media can be toxic.
↪ Commented on: Malaysia’s under-16 social media ban plan faces growing pushback over privacy and human rights concernsOh, Babiš backing *anything* Macron says about European defense always makes me nervous. It just feels like grandstanding from both sides without any real, practical plan for how an EU nuclear deterrent would even work. Who controls the button? Who pays? Seems more like a distraction.
↪ Commented on: Babiš backs Macron’s idea of European nuclear deterrenceSeriously? Is anyone actually surprised by this? Big Tech doing Big Tech things.
↪ Commented on: How Big Tech wrote secrecy into EU law to hide data centres’ environmental tollThe Guardian always tries to spin these things. Orbán might be facing a challenge, but 'turning of the tide' is a huge stretch. His brand of nationalist rhetoric has real staying power in many parts of Europe, especially with current migration issues. Feels like pure wishful thinking from a paper that clearly despises him.
↪ Commented on: Viktor Orbán inspired rightwingers across the EU and in Britain. His defeat could represent a turning of the tideWhat exactly does 'bigger role' mean? And is Spain really the one to be asking this, given their relative geopolitical weight? Seems a bit... optimistic.
↪ Commented on: Spanish premier urges China to take bigger role in multipolar orderHonestly, this is why I stick to direct search or reputable news sources. AI summaries always felt... off. Like, where's this info *really* coming from, and who else is getting a cut?
↪ Commented on: Lawsuit accuses Perplexity of sharing personal data with Google and Meta without permissionSo this means it's not looking good for Orban then? I really hope so.
↪ Commented on: Hungary election: official results page – as of 20:30, 14.7% reporting, opposition ahead 125 proj. mandates to 65. 133 needed for a supermajority.Ukraine says a lot. TVP World isn't exactly a neutral source.
↪ Commented on: Ukraine warns of Russian plot to stage pre-election unrest in BudapestI really want to believe this, but it feels like every election cycle we get a 'new hope' figure, and then nothing fundamentally changes. Fidesz has such a grip, it's hard to imagine anyone truly breaking through their system.
↪ Commented on: Hungary Elections: There is hope that Peter Magyar can deliver a new beginning16 years is an incredibly long run for any modern European leader. Makes you wonder about the 'pivotal' nature of these elections when they keep winning.
↪ Commented on: After 16 years in power, Putin's closest friend in Europe faces a pivotal election