dualogy

16 ms·

151.
by dualogy 6y ago
> aimed at programmers rather than mathematicians and computer scientists Do it! There's a dearth of such a format for the more "hi-falutin" topics out there. Doesn't need polish or total precision either, "us pr
152.
by dualogy 7y ago
To anyone trying to search online for that "Schutt's Kernel language", the spelling turns out to be Shutt. At least according to the only match I got that wasn't pointing back to this thread, at https://web.wp
153.
by dualogy 7y ago
Even C itself has unions since forever. Optionals, enums, bools, err-or-result constructs are (highly ergonomic) sugars atop of unions.
154.
by dualogy 7y ago
> The idea being that we could write code in the human-readable imperative style and let the computer distill it down to its pure functional equivalent Here we are, folks pulling their hairs for decades wrt how to most efficiently tran
155.
by dualogy 7y ago
Ah didn't even expect such anymore on HN as of recent years :D
156.
by dualogy 7y ago
"I will believe that it is rational as oppose to religion therefore enabling me to put trust into it and follow it blindly ." The irony..
157.
by dualogy 7y ago
I see some ~100 products at https://www.cadence.com/en_US/home/tools/tools-a-z.html -- which one(s) did you have in mind?
158.
by dualogy 7y ago
Any others around today that do ?
159.
by dualogy 7y ago
https://github.com/VSCodium/vscodium/ is being actively kept up-to-date with VSCode's rolling releases and takes care to remove "the corporate/privacy nasties" while still retaining the (rather
160.
by dualogy 7y ago
Probably means the 3 irreducable primitives in LC: applications, abstractions, and "variables" (ie. attribute identifiers)
161.
by dualogy 7y ago
Agriculture is another good example. Ice-age hunters (and their guts) could never fathom musli or noodles (or even just gruel / paste of pounded seeds).
162.
by dualogy 7y ago
Good stuff for reminding me that `x/sys/unix` exists and the terminal-raw-mode it allows. Should inspire someone out there eventually to plumb everything in pure Go that people would otherwise seek from ncurses, GNU readline lib e
163.
by dualogy 7y ago
> at-least-once systems with idempotency to get the appearance of exactly-once What baffles me even more is why the above is apparently not generally considered good-enough, elegant-enough --- and as a bonus, not violating the laws of ph
164.
Language Design: Unified Condition Syntax(soc.github.io)
3 points by dualogy 8y ago|0 comments
165.
by dualogy 8y ago
> The bleeding edge is discovering how to express good ways to control the non-von Neumann hardware whose computational capacity completely overwhelms the pile of cores we are handed Namely? What non-von-Neumann hardware are you thinki
166.
by dualogy 8y ago
> Rule #1 of Kanban is that it is a "pull" system. By design e-mail is push. Mine isn't though.. emails just sit there (on the server or in the mbox) until I 'pull' (handle) them. =)
167.
by dualogy 8y ago
> Because doing something new is much more fun that doing something effective Trouble is, "fun" for the enthusiast / self-perceived-non-workdrone does align with "productive". =)
168.
by dualogy 8y ago
> "You make some amazing claims that I have seen no evidence of" I'm just relaying what I hear from real teams out there, not intending to sell the architecture. So these are the beliefs I find on the ground, how honest
169.
by dualogy 8y ago
"Need to" and "sane" are among my favourite subjective terms! (Further below, I'll go into in which contexts I'd agree with your assessment and why. But for now the other side of the coin.) In the real world, c
170.
by dualogy 8y ago
> "You can just hang outside in the sun all day tossing a ball around. Or you can sit at your computer and do something that matters" Or, you can sit at your computer and do the things that are currently collectively imagined
171.
by dualogy 8y ago
> There might be ugly intermediate states In the general case: absolutely! In the above very specific setup as I outlined it (one bool, a single writer, a simple-waiting-for-that-single-write-loop) --- not. (Hence my point that another e
172.
by dualogy 8y ago
But there are no concurrent writers to the bool, the `true` setting should thus "eventually succeed" and reading the bool must resolve to either false or true at every point. Sure: maybe the first read happening concurrently with
173.
by dualogy 8y ago
"The journey is the destination" isn't the worst of motivations and/or inadvertent side-effects =)
174.
by dualogy 8y ago
> You can't even read about the history of Haskell because it is only published through the ACM for a steep fee Not so! http://haskell.cs.yale.edu/wp-content/uploads/2011/02/histor... I haven&#
175.
by dualogy 9y ago
What's Xi? Not the most websearch-able name, care to drop a url?
176.
by dualogy 9y ago
VSC has been on the case lately too though FWIW: https://code.visualstudio.com/updates/v1_21#_folding
177.
by dualogy 9y ago
> I was 24 years old and dumb as a brick. Oh sure, I’d had lots of book learning and was quick with ideas, but I knew shockingly little Take note, fledglings! That was him, me, and with any luck, future you speaking.
178.
by dualogy 9y ago
Jump-to-arbitrary-address / labels-as-values isn't made available to Go devs by Go-the-language, but seems required by Go-the-runtime+compiler, such as for compiling Goroutines.
179.
by dualogy 9y ago
Niice, thank you!
180.
by dualogy 9y ago
I read it a fair bit. Can you or anyone here invite me there? Been here for 10 years, largely reading/talking dev topics for the most part, but just never known anyone personally with an account there to get me in there. Thx =)

More ›