RossBencina

7 ms·

61.
by RossBencina 3mo ago
Fun fact: CSIRAC, Australia's first digital computer, used mercury delay line memory. It is on display at Scienceworks, Spotswood, Melbourne. https://en.wikipedia.org/wiki/CSIRAC
62.
by RossBencina 3mo ago
Suppose this is connected to a multiple-output RF transmitter (amplifier), what are the advantages/applications of shifting the phases of the signals passively with a Rotman Lens versus shifting the phases of the signals prior to feedi
63.
by RossBencina 3mo ago
You think mental instability is a necessary prerequisite for covert persuasion?
64.
by RossBencina 3mo ago
Lots of worthwhile observations in the article, but I think the framing is a bit off. It sounds transactional and by the numbers. I think it's fairly well understood that vocal users aren't necessarily representative. The bulk of
65.
by RossBencina 3mo ago
KVN AUST on YT hunts zero-view videos, sometimes entertaining.
66.
by RossBencina 4mo ago
I guess the downvotes signal disagreement, but I value the conversation in spite of disagreeing with you. I'm not sure idempotence is the only concept in play. If the operation is idempotent, well, clicking twice doesn't do anythi
67.
by RossBencina 4mo ago
> Sometimes this is used to intentionally give you a chance to cancel the action EDIT: sometimes UI elements with mouse-held interaction allow you to use the escape key to cancel an in-progress interaction (ESC: abort, mouse-up: commit)
68.
Sollya: An environment and library for safe floating-point code development(sollya.org)
2 points by RossBencina 4mo ago|1 comments
69.
by RossBencina 4mo ago
EDIT: I see that libbf implements faithful rounding of operations. Nice. TIL. See also: Jean-Michel Muller's books: "Handbook of Floating Point Arithmetic," and "Elementary Functions." https://www.sollya.
70.
by RossBencina 4mo ago
I agree that it depends on whether you want humans to interact/interpret the software at all, but I'd push back on "mostly human preferences." Do you think that how something feels is mostly a matter of human preference?
71.
by RossBencina 4mo ago
Curious that they are pitching Lean 4 for formal verification. I thought that this was more the domain of Isabelle/HOL and TLA+. At least I would have expected a model trained at using all three. Maybe also Isabell/Isar, which see
72.
by RossBencina 4mo ago
Agree that the code examples look like communicating sequential processes (CSP) and/or async/await-style concurrency (i.e. co-routines in C++). To me this is not "Actors" at all. Actors don't "wait", they
73.
by RossBencina 4mo ago
> prevents the compiler from deciding this itself. Interesting. I understand why it does that, but it makes me realise that I usually think "the compiler will reuse the loaded value/perform CSE" without considering the cas
74.
by RossBencina 4mo ago
I'm not familiar with parser combinators. The parser generators that I'm familiar with (YACC, ANTLR3,5) parse a stream of lexemes/tokens, not characters. Is there a reason why combinators don't operate on lexemes?
75.
by RossBencina 4mo ago
Now all it needs is a parser in 'examples/' that parses EBNF grammars and emits a parser in terms of these combinators.
76.
by RossBencina 4mo ago
Except it wasn't.
77.
by RossBencina 4mo ago
From where you're standing, what does the path to improving mainline support of core features look like? Aside from sheer volume of work are there other major challenges or opportunities? In the past I've hacked around adding stuf
78.
by RossBencina 4mo ago
I'll try to answer as accurately as I can. The narrative that I read into the media that I consume is that (1) the US has ineffective gun control laws, and (2) that there is widespread availability of a variety of guns and ammunition t
79.
by RossBencina 4mo ago
Right. Combination of poor choice of words, ignorance and laziness not educating myself before posting. But yes, I am Australian, came of age around the time of Port Arthur, I cross Hoddle St a number of times every week. I remember the amn
80.
by RossBencina 4mo ago
> Can different iterations of this loop run independently? I'm not a compiler guy, but vectorisation algorithms typically analyze loop-carried dependencies and can vectorise loops that are not trivially data parallel as is the case
81.
by RossBencina 4mo ago
Let me get this straight. The USA has no gun control laws but legislators want to prevent people from making guns with 3D printers?
82.
by RossBencina 4mo ago
Abseil Swiss Tables carefully avoids intermediate allocations/copy constructor calls.[1] I'd be wary about inferring underlying algorithm performance from benchmarks that don't explicitly control for these optimisations. (O
83.
by RossBencina 4mo ago
Doing things via the CLI and editing config files doesn't automatically give you reproducability or audit trail. Last time I check etckeeper doesn't work with proxmox either (due to the proxmox FUSE mount in /etc).
84.
by RossBencina 4mo ago
But pattern languages don't encode taste they encode known working solutions. Making invalid state unrepresentable is not a matter of taste it's a best practice.
85.
by RossBencina 4mo ago
> This project uses CNLohr's mini-rv32ima RISC-V emulator core I wonder why not use the Pico's RISC-V cores.
86.
by RossBencina 4mo ago
Indeed, I only learned this recently. There was a time when AES digital library access required an extra fee.
87.
by RossBencina 4mo ago
Obligatory link to PID without a PhD: https://www.wescottdesign.com/articles/pid/pidWithoutAPhd.pd...
88.
by RossBencina 4mo ago
I guess it depends on your definition of "allowed" vs "required". I believe that in commercial aerospace applications a device change (e.g. change of manufacturing process or process parameters, let alone different masks
89.
by RossBencina 4mo ago
IBM mainframes were for a very long time built and sold on the premise of providing reliable emulation of previous generations weren't they.
90.
by RossBencina 4mo ago
I have read that skilled mindfulness practitioners maintain constant awareness of their breathing pattern throughout all other waking activities. Something to aspire to perhaps.

More ›