codebje

21 ms·

421.
by codebje 6y ago
Wouldn't that only show \exists x: A(x)? Or perhaps by free variable you mean one whose value isn't decidable - but that contradicts having chosen values in the origin comment.
422.
by codebje 6y ago
Could you explain that a little for me? Do you mean substituting a term to show a counter-example?
423.
by codebje 6y ago
The incorrect reading is that x and y are free. They're universally quantified, as you've said in your comment.
424.
by codebje 6y ago
How else could you combine infinite streams?
425.
by codebje 6y ago
Are you referring to the argument that Haskell's IO type is insufficiently granular to distinguish between something like erasing a disk and something like catching an async exception, or that the language's first-class feature se
426.
by codebje 6y ago
Nice read. I'm not familiar with Lucid, so invocations of "fby" and so forth went over my head, but finding that there's an abstraction available to encapsulate and explain a lot of behaviour in a consistent way is alway
427.
by codebje 6y ago
I blog about my electronics project. It's public in that it's online and accessible but it is for me, both to ensure I think things through well enough to write them down coherently and to have a reference for decisions. I blog my
428.
by codebje 6y ago
"… or otherwise invent some other way to ensure the new refresh token is correctly received at the client before revoking the old." These sorts of details will typically wind up in an implementation report document. It's rare
429.
by codebje 7y ago
The halting problem is that there is no algorithm possible that can answer, for all programs and all inputs, whether that program with that input will halt. Here is my program: def fool(input): while input: pass
430.
by codebje 7y ago
I'll try to remember the attribution as well as the aphorism in future, thanks :-)
431.
by codebje 7y ago
Why not just have "a" return something containing "b"? In Python 3.8 for the brief syntax afforded by assignment expressions: def foo(o): if (b := o.a()) is not None: b() Because the original
432.
by codebje 7y ago
It also has silent type coercion, so it will happily promote your _Bool to an int, neatly voiding any benefits the type might have had to offer.
433.
by codebje 7y ago
I heard an aphorism once I've tried to live by since: It is twice as hard to debug code as it is to write it. If you write code as clever as you can make it, you will never be able to debug it.
434.
by codebje 7y ago
... "will be used to offset costs for pensioners." Our carbon tax worked at reducing emissions, and at being low economic impact. It was removed because we are a corrupt banana republic, not because it's unworkable.
435.
by codebje 7y ago
The existence of these bodies reduces the scope of the problem to merely one of first identifying an appropriate organisation that certifies the product type in question, and then ensuring the organisation is legitimate. Do you think it&#x2
436.
by codebje 7y ago
Thanks for the reply and the feedback. Do you mean that my comment is worded in a way that describes the situation as hopeless, or that it's worded in a way that discourages discussing the ideas presented - or something else entirely?
437.
by codebje 7y ago
It's practically speaking impossible for consumers to discover and act on this information. We buy our toothbrushes from a retail store, many transactions removed from the manufacture of the toothbrush, and every organisation in that c
438.
by codebje 7y ago
My Magic Trackpad's haptic feedback has died, so now my trackpad has no feedback. Sometimes I'm absentmindedly staring at the screen trying to click the desk, because it feels almost the same as the trackpad now. Tactile feedback
439.
by codebje 7y ago
Lately I've simply been keeping the slow activity visible on screen, it's been enough that the flicker of motion when it finishes can pull me away from the distractions.
440.
by codebje 7y ago
Net neutrality doesn't apply to content providers differentiating service, because they're not common carriers.
441.
by codebje 7y ago
Unless it's a dead project, failing to perform maintenance will add to the cost of change, ultimately quite sharply.
442.
by codebje 7y ago
There's a good series of articles on the restoration and maintenance of a pinball machine, which has many of the same characteristics as video games, plus a few more mechanical issues. https://blondihacks.com/johnny&#x2
443.
by codebje 7y ago
Phytoplankton are also responsible for 50-80% of atmospheric oxygen, so in the parent poster's scenario I think the loss of a breathable atmosphere is the most likely nail in our species' coffin. Probably won't happen, probab
444.
by codebje 7y ago
It does if you want research done so compilers can implement results in this space and optimise away unnecessary copies without introducing errors.
445.
by codebje 7y ago
The second notion, where it's clear that the memory space can safely be used, is why there's interest in linear and affine type systems. These systems describe types whose value can only be read one time, and for linear types, whi
446.
by codebje 7y ago
Get an STM32 "pill" board, platform.io in VSCode or any way you like to write C using CubeMX to generate a project structure, then Make to build and flash. STM HAL isn't exactly great either, but Arduino is best placed IMO as
447.
by codebje 7y ago
I picked this up for Switch out of nostalgia. Plays well on that platform. Well, the game does, I'm still terrible at it.
448.
by codebje 7y ago
It happened long ago. We had a decentralised Internet, with end-to-end communications the norm. Money is more easily made with centralised control of users, though, so money is more readily spent on centralisation of services. Ultimately, D
449.
by codebje 7y ago
The buffer you're thinking of is a packet-level queue to allow mismatches between physical transmission rates and processing rates, and is separate from the protocol. The buffer the original comment is talking about is likely the TCP r
450.
by codebje 7y ago
Your event log should IMO be nominally immutable rather than actually immutable. You should feel free to take actions such as expunging private or sensitive data as appropriate. Keep the events, but rewrite them to contain only the desired

More ›