surfmike

10 ms·

61.
by surfmike 4y ago
I haven’t, and interesting to know that C++ is used there! I’m referring to systems software (operating systems, browsers, runtimes, backends) where formal verification is not normally used.
62.
by surfmike 4y ago
Security / memory safety and preventing concurrency bugs Security is an especially big one for lots of systems
63.
by surfmike 4y ago
Over the last 12 months, San Francisco has seen the second-biggest worker population gain of any area in the United States, according to LinkedIn. https://www.vox.com/platform/amp/recode/2023/1/18&#x
64.
by surfmike 4y ago
From a technical perspective, here's a strategy I used in the past: In addition to having a simple activation check in the code, I actually created/identified some constants that are critical to the internal functioning of the cod
65.
by surfmike 4y ago
Spatial - VR+mobile+web metaverse for culture, art, events. Spatial is a venture-backed VR, web, and mobile platform for creating one-click galleries and meeting places that bring people together. As a metaverse for culture, we offer the mo
66.
by surfmike 4y ago
Reach out to me if you’d be interested in a contract or job (email in bio)
67.
by surfmike 4y ago
Interesting you had that experience, since KitKat had Project Svelte which was a big effort to cut memory usage. This made an enormous difference for low end phones.
68.
by surfmike 4y ago
NY Fed estimates about 40% was supply chain issues. 60% was demand side. https://www.marketplace.org/2022/08/25/what-was-the-main-dri...
69.
by surfmike 4y ago
Most home HVAC systems don’t bring in fresh air, right? Just recirculate air in the house.
70.
by surfmike 4y ago
Compared to ICE cars. A normal gas-powered car has a median 412 mile range. Source: https://www.energy.gov/eere/vehicles/fact-939-august-22-2016...
71.
by surfmike 4y ago
Graphite ( https://graphite.dev/ ) has been a good tool at our startup to manage stacked PRs, I recommend checking them out.
72.
by surfmike 4y ago
Costco entering Iceland also had a measurable effect on the country’s inflation rate. https://www.icelandreview.com/news/food-prices-drop-thanks-c...
73.
by surfmike 4y ago
Spatial - VR+mobile+web metaverse for culture, art, events. Spatial is a venture-backed VR and web platform for creating one-click NFT galleries and exhibitions that bring people together. As a metaverse for culture, we offer the most beaut
74.
by surfmike 4y ago
That’s because of FDIC. Nothing will save you if tether peg fails.
75.
by surfmike 4y ago
How much memory do you have? I’ve definitely seen this a lot on my 8GB MacBook Air and it coincides with running out of memory. Open Activity Monitor and see if your machine is under memory pressure.
76.
by surfmike 4y ago
I found it interesting also that the Recovery-Oriented Computing project at UC Berkeley/Stanford puts "design for restartability" as a research area. http://roc.cs.berkeley.edu/roc_overview.html
77.
by surfmike 4y ago
This sub stack has some great coverage of those questions: https://constructionphysics.substack.com/p/why-its-hard-to-i...
78.
by surfmike 4y ago
U. of Waterloo has an innovative model of alternating 4-month coops and then 4 months of school. By the time students graduate they've made some money and have a good amount of work experience. I really this was a model accessible to m
79.
by surfmike 4y ago
Spatial - VR+mobile+web metaverse for culture, art, events. Spatial is a venture-backed VR and web platform for creating one-click NFT galleries and exhibitions that bring people together. As a metaverse for culture, we offer the most beaut
80.
by surfmike 4y ago
There’s a deeper point, which is that land didn’t appreciate because of anything you did. (Unless you developed it, and LVT leaves developed value tax free).
81.
by surfmike 5y ago
+1 to not postponing having kids. Obviously, people should not do it if they're not ready. But people think they need to have everything figured out (degree, career, house) first. You don't. And the younger you have kids, the long
82.
by surfmike 5y ago
We could definitely use some people calling us to tell us about it :/
83.
by surfmike 5y ago
Right. Those all sound like great reform proposals. Particularly I feel like there is too little police training in this country. Parent comment was dismissing reform as a path forward though.
84.
by surfmike 5y ago
It is, I’m quite happy with mine and you can find leases dirt cheap. And actually their optional assistive driving system works quite well.
85.
by surfmike 5y ago
Any examples showing that’s possible? I don’t know of any society (aside from maybe some tiny islands) where you don’t have some police to maintain law and order.
86.
by surfmike 5y ago
I bought a similar card holder on Etsy for $20 and been a fan: https://www.etsy.com/listing/859030214/task-card-holder And these todo cards off Baron Fig for $10 (they have a dot pattern and a todo pattern): http
87.
by surfmike 5y ago
“In practice, it’s often politically difficult to argue for overt subsidies, and we resort to workarounds like net metering.“ The reason we have so many hidden subsidies (also: tax credits) is precisely the sentence above. It’s the differen
88.
by surfmike 5y ago
I’ve been to non-Tesla charging stations with three different port types (regular charging, then CCS and Chademo for high speed). So I wouldn’t blame Tesla entirely for that.
89.
by surfmike 5y ago
Arguing over coding standards is harmful, but consistency is a good thing. Best to adopt a standard style guide and limit any debate to deviations and even better to have a tool like Black make it automatic.
90.
by surfmike 5y ago
The passive house standard requires mechnical ventilation using heat exchangers to minimize energy loss. http://tepperarchitects.com/?p=522

More ›