dgacmu

51 ms·

631.
by dgacmu 3y ago
We had our first kid when I was about 37, and our second when I was about 43. The part that's harder is that particularly with #2, I'm just a bit more tired, and he needs a lot of energy. It's not drastic, but I notice it. Th
632.
by dgacmu 3y ago
I'm a professor, and I wish more people would read your comment - and then take more advantage of tutoring, be it peer tutoring, office hours, or other resources. Tutoring is awesome and very time-efficient for the student. But also ve
633.
by dgacmu 3y ago
Not really. Cbmc is really cool but it doesn't lead to the kind of high level proof refinement that lets you say things like "this low level code correctly implements the paxos protocol". Cmbc is -useful- and lets you check s
634.
by dgacmu 3y ago
A point they're implicitly making is: it's harder to apply formal methods retrospectively. The state of the art in formal verification involves writing the proofs jointly with the code in a language designed for verification, such
635.
by dgacmu 3y ago
Thank you for recommending this! I hadn't read it, and it was delightful. It's online: https://www.ida.liu.se/~tompe44/lsff-book/Vernor%20Vinge%20-...
636.
by dgacmu 3y ago
Yes, because we're (hospitals, 911) not (schools) dependent (roads) on (water) each (trash service) other (fire and police services) other (airports) to (finance) start (research) with. We live in a complex modern world with a lot of d
637.
by dgacmu 3y ago
Um. To a fifteen year old. Who distinctly did not want to receive such. Notably, the guy was already a registered sex offender. Sure this is the hill for you?
638.
by dgacmu 3y ago
The 900Mhz ISM band, specifically: (dump from rtlamr output) 07:12:02.921590 decode.go:45: CenterFreq: 912380000 07:12:02.921659 decode.go:46: SampleRate: 2359296 07:12:02.921663 decode.go:47: DataRate: 32768 07:12:02.921666 decode.go:48: C
639.
by dgacmu 3y ago
Yeah, it was power substations. Probably this one? https://en.m.wikipedia.org/wiki/Metcalf_sniper_attack And there was a still unsolved one in North Carolina two years ago: https://en.m.wikipedia.org/wi
640.
by dgacmu 3y ago
SDR is great. I'm using an RTL-SDR dongle together with the rtlamr software to read my gas meter. It provides measurements about every 30 seconds, and my gas company doesn't give any real-time data. Quite handy. (and I run an adsb
641.
by dgacmu 3y ago
Sure. I was simply observing that this phrasing: > but you certainly can't get a good fix without an external party. is not true. You can get a great fix without a third party. You just have to be more patient for your TTFF. * Unles
642.
by dgacmu 3y ago
I run a modest fleet of mostly-offline data collection devices that rely on GPS; we pay a lot of attention to how long it takes before they can sync. With a good sky view, the GPS chip often has a 3D position lock before Linux has finished
643.
by dgacmu 3y ago
Not really. Accidents are a function of driver and environment. You can't control the other drivers. If you think of the primary purpose of insurance as to make sure that the party not at fault is made whole, then perfectly priced insu
644.
by dgacmu 3y ago
If you want some curricular additions to this, you might try CMU's CS academy: https://academy.cs.cmu.edu/parents You have to request a 'mentor' account (or if they're homeschooled you can request a teac
645.
The Pi Search Page(angio.net)
1 points by dgacmu 3y ago|0 comments
646.
by dgacmu 3y ago
Interesting! Wonder if it's also due to ease / lower risk of containment. And sand doesn't expand if you accidentally let it freeze, which is again nice from an "it won't rupture" perspective. As to cost, the a
647.
by dgacmu 3y ago
See the recommendations on /r/SolarDIY or just look at EG4 or Victron as a starting point. The prices for EG4 are very decent.
648.
by dgacmu 3y ago
We would have broken some fundamental laws, because to multiply two n x n matrices, it takes n^2 time to write down the answer. So the better question to ask is: What happens if we find a practical algorithm (and a theoretical approach) tha
649.
by dgacmu 3y ago
That's not really "at best" - at best, this represents a mix of new demand plus some compute being moved from customers' on-prem / small and inefficient datacenters. I'm not sure how much of AWS's growth i
650.
by dgacmu 3y ago
Even in not refined software: the other day I asked it to, in js, create a table taking (hour, power produced) data from a json response. It managed to come up with an n^2 way of doing what should have been a linear traversal through the js
651.
by dgacmu 3y ago
I disagree with your reading; I don't disagree that there are good things out there that require reading the manual and reading the "how to use this manual" section. But I think your reading is the most uncharitable possible
652.
by dgacmu 3y ago
I absolutely am, because the thought it inspires is: "can I make this easier to use / harder to use wrong?" UI/UX/HCI matters, and sometimes the people who build the tools know them so well they can't even see
653.
by dgacmu 3y ago
They're probably wiser than I, now that I think about it. :-) Showdead certainly makes you appreciate the moderation that happens.
654.
by dgacmu 3y ago
Sorry, huh? Who's paying academia to shill? This is conspiracy thinking. Changing cryptographic algorithms takes a long time - there are a lot of systems with this stuff embedded in them. Taking some modestly low-cost efforts _now_ to
655.
by dgacmu 3y ago
Quantum is absolutely over-hyped. But so are many "really exciting but far off" projects. And so is AI (he says, having gotten a lot of funding to work in machine learning systems). But that doesn't mean that it's bad to
656.
by dgacmu 3y ago
Either: (1) sometimes, the purpose of art is to make us think, not to be a completely precise description of the world. Or: (2) someone woke up on the wrong side of the bed today. ;) Not to mention it hasn't sunk - this comic was 10 ye
657.
by dgacmu 3y ago
psnehanshu's comment literally begins with "TL;DR by Gemini"
658.
by dgacmu 3y ago
To be perhaps overly detailed: Hbase is an open source approximation of bigtable. Bigtable _uses_ leveldb as its per-shard local storage mechanism; Rocks is a clone+extension of leveldb. Bigtable and hbase are higher level and provide funct
659.
by dgacmu 3y ago
Oh, I don't think it's a general principal, it's very processor architecture specific. But here's one example from earlier avx-supporting CPUs: http://0x80.pl/articles/sse-popcount.html
660.
by dgacmu 3y ago
In Pittsburgh, as with many older US cities, we have a combined storm water / sewer system. Stormwater runoff from impervious surfaces joins the sewer system; under normal conditions, this means we have to pay to clean it, and under hi

More ›