mrkeen

24 ms·

481.
by mrkeen 1y ago
Australia still requires metadata collection and storage for all telcos and ISPs. Remember the phrase "metadata isn't data"? If it's your metadata, collection and storage is mandated. If it's their metadata, they s
482.
by mrkeen 1y ago
"The assumptions are wrong" is an unsatisfying "catch-all": compiler, hardware, environment, concurrency bugs. Here's one that's been bugging me lately: Dekker's algorithm (mutual exclusion / critical
483.
by mrkeen 1y ago
C. This is a great thread: https://mastodon.social/@regehr/113821964763012870 (That was one of my texts at uni)
484.
by mrkeen 1y ago
Nearly everything that goes wrong for me in prod is already a crash/stacktrace, which is what an assertion does. The point of proofs is to not get yourself (or the customer) into that point in the first place.
485.
by mrkeen 1y ago
The beautiful and essential technique of DI (dependency inversion) got namesquatted hard by DI (dependency injection). Before, you used to write "loosely coupled" software by decoupling your business logic from your IO to keep it
486.
by mrkeen 1y ago
Bitten hard by this one. I kept a set of Urls to scan. Not all my Urls made it into the set because of IP address equality.
487.
by mrkeen 1y ago
Fail to compile when you assign something which isn't an integer to an integer.
488.
by mrkeen 1y ago
Do Java problems go away? I thought the selling point was that your huge un-rewritable enterprise software will crash tomorrow like it crashed yesterday.
489.
by mrkeen 1y ago
https://web.archive.org/web/20251011063954/https://www.thegu...
490.
by mrkeen 1y ago
No need to speculate about this algorithm in particular. It's been a few years since every programmer has had access to LLMs (that's a huge sample size!). Some LLMs are even branded as 'Research'. Plus they never get
491.
by mrkeen 1y ago
I occasionally wonder what the best standard would be for passing code (as opposed to data) between systems. I keep coming back to System F or similar.
492.
by mrkeen 1y ago
> And I have no clue what is a functor, nor order. If you press the Prev button at the top of the page it takes you back to Functors. Twice more and it will take you back to Orders.
493.
by mrkeen 1y ago
This was a pre-existing problem, even if reliance on LLMs is making it worse. Naur ( https://gwern.net/doc/cs/algorithm/1985-naur.pdf ) called it "theory building": > The death of a program happens
494.
by mrkeen 1y ago
> Even the best actionable principles can be incorrect given a certain set of circumstances. If they are principles, the discussion around whether to apply them can at least be fruitful. "Taste" is bound to devolve into "
495.
by mrkeen 1y ago
"Good taste" is just advice or guidance that you haven't thought through enough to turn into actionable principles. Compare: * I apply the dependency inversion principle to keep my code testable * I minimise the scope and mut
496.
by mrkeen 1y ago
Yep. Built a crawler, an indexer/queryprocessor, and an engine responsible for merging/compacting indexes. Crawling was tricky. Something like stackoverflow will stop returning pages when it detects that you're crawling, mu
497.
by mrkeen 1y ago
Any tips on local/enterprise search? I like using ollama locally and I also index and query locally. I would love to know how to hook ollama up to a traditional full-text-search system rather than learning how to 'fine tune'
498.
by mrkeen 1y ago
> (Oh I forgot about monads.) This demands an equivalent article which takes the same form as TFA. A coworker complains about monads, so the manager insists all monads be taken out. So Brian gets to work on the codebase, removing all Lis
499.
by mrkeen 1y ago
For instance, C#: public static System.Collections.Generic.IEnumerable<TResult> SelectMany<TSource,TCollection,TResult>(this System.Collections.Generic.IEnumerable<TSource> source, Func<TSource,System.Collections.Ge
500.
by mrkeen 1y ago
> When did method chaining become 'functional programming'? As soon as you stop calling it "method chaining" and start calling it "function composition". If you chain together a bunch of methods ('.&#x2
501.
by mrkeen 1y ago
I've been there. One of the more functionally-minded devs wrote something to do with putting Keys and Values into some kind of json store, and a less functionally-minded dev complained about all the type variables - Ks and Vs I guess.
502.
by mrkeen 1y ago
No need to pull punches. He's been talking this way in public since before his first term.
503.
by mrkeen 1y ago
> The book has no exercises. This positions it awkwardly in the broader perspective of compiler study. It’s as if it’s a book that isn’t meant to be studied or understood, or perhaps it just doesn’t care. I bought it because it demonstra
504.
by mrkeen 1y ago
> 4. Be Clear About What Needs To Be Done This is where it all goes wrong. Your job is to make sure your team is clear about the task to be done. Yes, including the “what if…” questions. You don’t need to have the answer now, but you
505.
by mrkeen 1y ago
> The idea that there is no change in semantics, but only syntactic sugar is exactly backwards. > The syntactic sugar already exits before this change. That is to say, in a version f C# without the feature, you can write this: a.b
506.
by mrkeen 1y ago
Don't give them ideas you say? What if they develop an iconic fridge and dial up the brand recognition to 11 via an intensive and prolonged ad campaign. Introducing... The KAGE No embedded ads yet. Then they wait for the review
507.
by mrkeen 1y ago
Look at the ceiling. Now look at the floor. Did your head go forward or backward?
508.
by mrkeen 1y ago
This is syntactic sugar only. No change in semantics. So I don't buy into any argument about what this change 'means'. And we all get to choose what we find ridiculous: i = i + 1 ? No it does not. Never has, never will. Co
509.
by mrkeen 1y ago
any , extends , unknown and infer . What algebraic operations do they correspond to?
510.
by mrkeen 1y ago
Units also receive the add/multiply treatment.

More ›