lambdas

9 ms·

31.
by lambdas 1y ago
I don’t think it’s dumb - hasty and premature perhaps. Manufacturers have been shipping boards with flaky RVV support, a years old kernel and undocumented blobs on in house baked OS and calling it a day. Feels like a step towards strong arm
32.
by lambdas 1y ago
The only time a labour majority voted against this bill was when an amendment to make category 1 sites have optional controls for users (something that would have prevented this). I’m going to guess that our MP’s are tech illiterate enough
33.
by lambdas 1y ago
I’ve been using it for a year and can’t say it does anything I couldn’t do with dwm, xmonad, i3wm over my past 18 years of tiling WM experience.
34.
by lambdas 1y ago
That and the paragraph above: > What makes this powerful is that these aren’t just type definitions - they’re live, reactive objects that sync automatically. Is what twigged my AI radar too. LLM’s seem to really love that summarisation p
35.
by lambdas 1y ago
Actions compose, types (generally) don’t. So Monad X and Monad Y may not make a valid Monad Z, but Kleisi composition very much exists for actions within a monad.
36.
by lambdas 1y ago
To which implementation is the author referring, I wonder? I can’t say I recognise any of these issues from freer , polysemy , nor bluefin .
37.
by lambdas 1y ago
Yeah, the steam operators raised hell over having to follow the central locking for doors and sealing of windows passengers could stick their head out of. Wasn’t even prospective, preventative action. There was pretty rash series of decapit
38.
by lambdas 1y ago
I’m a dynamics/kinematics engineer who gets consulted by steam locomotive companies often, and they’re very much worth doing financially speaking. They certainly wouldn’t be your only venture, more “you have a lot of money and love tra
39.
by lambdas 1y ago
Glad I’m not alone in this; I’ve seen niche roles up for 16 months. Do these roles even exist? Are they waiting on the most golden of geese?
40.
by lambdas 2y ago
> Is that so? Sounds very wrong to me. If we want to go the monad joke way, monads have to have an operation (a -> m b) that composes, but those are just normal functions, and there’s nothing curried about it. It’s a statement that on
41.
by lambdas 2y ago
we aim to tackle the challenges of scalability, usability, and proof automation in the Lean proof assistant https://lean-lang.org/ Yep. Truly a mystery.
42.
by lambdas 2y ago
As primarily an engineer doing maths, with code on the side, I feel the exact same. It’s been way more of use to me in pulling together parts of topology, linear algebra, geometric algebra, homology et al than discovering furtive programmin
43.
by lambdas 2y ago
I couldn’t disagree more. I went to the doctors at 20 for suspect ADHD, I loved Maths more than anything but my degree was going terribly. I couldn’t focus on the correct things to get the work done, I had no sense of time or organisation,
44.
by lambdas 2y ago
I’d rather have to wait a while for shiny new feature, than dive head first into the unknown. We made that mistake with social media, not taking it seriously enough. I can wait a hot minute for my iPhone to summarise paragraphs whilst we tr
45.
by lambdas 2y ago
Well, at risk of causing you ire, I won’t regale anecdotally how that one course of mushrooms was somehow better than 15 years of boner weakening, orgasm preventing, suicide ideating, hunger spiking, ever rotating slurry of anti-depressants
46.
by lambdas 2y ago
I would also like the people of Frome to stop being churlish and admit that’s not how you pronounce that combination of letters
47.
by lambdas 2y ago
Shame. Purchased a V2 suite licence despite being perfectly happy with V1 because I wanted to support them, I don’t see anything good coming from merging with Canva.
48.
by lambdas 2y ago
Looks like it isn’t routing it correctly without the `www.` https://www.glidermag.com/ <- this works. Off topic, and if I may be so bold, check out Whitelands. They’re my friends band and they just toured with Slowdive,
49.
by lambdas 2y ago
>thousands to millions of writers/producers are going to use this to rapidly block out pop songs I’d never considered how the inevitable dystopia would sound, and it’s worse than I ever dared to fear
50.
by lambdas 3y ago
A lot get antiquated by instruction additions, like the infamous inverse square root
51.
by lambdas 3y ago
Huh? Nobody shared a mother, you set a limited amount of abilities in battle, one of which could be use item, but there was no restriction to your backpack out of battle. I’ve played it basically every year since release, it scratches an it
52.
by lambdas 3y ago
You wouldn’t say “my oldest child was born today” in reference to your family of six children born between 2008 and today though.
53.
by lambdas 3y ago
That’s ridiculous. It’s the antithesis of RTFA; you have to read an argument for yourself else you’re just parroting the opinions of others.
54.
by lambdas 3y ago
They use USB-C to the host, the TRRS simply communicates the two halves of the split between each other. You don't plug the keyboard into the 3.5mm jack on your PC!
55.
by lambdas 3y ago
Really? The sole feature/plugin I’ve noticed not available is git, but working copy fills that hole for me. Not noticed a single other thing, I’ve been super impressed with parity between the platforms in fact.
56.
by lambdas 3y ago
There were lots of devices called “Portable Computers” before x86 and there’ll be lots after.
57.
by lambdas 3y ago
Given the way things are going round here, I think we have much to complain about. We don’t put that complaining into action though. A nation of boiling frogs.
58.
by lambdas 3y ago
Eh? How? 15 quid for the congestion charge, (and potentially £12.50 for ULEZ if you don’t meet the requirements). And that’ll get you infinite journeys from zone 1-6, (£14.90 daily cap for that distance with oyster). That same journey by ca
59.
by lambdas 3y ago
Their opposition was that the motion was still in flux on the wording, and could have outright said “E2EE is illegal, we want either A) a backdoor into encryption if you use it B) on device monitoring for harmful content”. It came to pass t
60.
by lambdas 3y ago
Have packt got any better? I’ve always steered clear as they seem to publish anything, regardless of quality.

More ›