mgsouth

12 ms·

61.
by mgsouth 3y ago
If, like me, you didn't get the joke at first: Both of the first two logicians wanted a beer; otherwise they would know the answer was "no". The third logician recognizes this, and therefore knows the answer.
62.
by mgsouth 3y ago
Impressive demo. Runs on MacOS, Linux [edit: not Windows? edit3: yes, Windows] can also run on an emulated machine. Project link [1]; commits go back 10 years. [edit:] Plenty of unusual, sophisticated architecture. Multi-thread/-CPU&#x
63.
by mgsouth 3y ago
I think he's pointing out that value types and "does this language require/support explicit lifetime management" are actually unrelated. Fortran has value types but it doesn't have built-in memory management feature
64.
by mgsouth 3y ago
That's the essence of co-routines vs. sub-routines. If you've ever used a Unix pipe you've used a limited form of coroutines. "ps | grep foo" tells process A, the shell, to fire up processes B (ps) and C (grep), and
65.
by mgsouth 3y ago
SELECT x, random() FROM foo ORDER BY x; SELECT foo.x, bar.y FROM foo WHERE bar.z > random() ORDER BY foo.x; SELECT x FROM foo ORDER BY x; -- Meanwhile, concurrent updates are happening to foo, so re-running the query gets a different res
66.
by mgsouth 3y ago
No race condition. As long as the transaction is properly constructed (let the database retrieve the unit prices and calculate the extended cost) it will abort and roll back if there's a conflict, including if a source row (in this cas
67.
by mgsouth 3y ago
This method uses timestamps as version IDs. That's not very reliable when tying rows together, such as primary/foreign-key tables or multiple rows in a single transaction. (There's also a "history_id" column for eac
68.
by mgsouth 3y ago
Gentoo and Flatpak--there's an interesting combination. [1] Flatpak for GUI apps, Distrobox for CLI, and Portage for base system stuff. [1] https://wiki.xenialinux.com/en/latest/usage/installing-apps....
69.
by mgsouth 3y ago
Wow, what a rabbit hole... I started by searching for "turbine air impedance". Seems to be a common topic, but maybe just for design modeling? And maybe an outdated parameter to use? One of the front-page hits is a recent (2021) p
70.
by mgsouth 3y ago
Based on a quick search, it looks like air impedance (the mysterious air density x speed of sound calculation) affects turbine stability. So needed for engine control?
71.
Formula 1: One step forward, two steps back (Miniatur Wunderland) [video](youtube.com)
1 points by mgsouth 3y ago|1 comments
72.
by mgsouth 3y ago
"Sometimes you just sit in front of it for a week in despair, looking for the error." Miniatur Wunderland is a jaw-dropping, enourmous model rail/road/air layout in Hamburg [1]. For 10 years they've been working on
73.
by mgsouth 3y ago
In Palmdale California, at the corner of 25th St E & E Palmdale Ave [1], there's what is essentially a parking lot with a chain link fence around it. Sitting there are a SR-71, a A-12, a D-21 (supersonic recon drone originally laun
74.
by mgsouth 3y ago
As the other comments have noted, it's the "control plane" that tells all the Voice-over-IP parts how to set up and tear down a call. As for the complications... Yeah. The folks who invented VoIP had a dream. They saw the exi
75.
by mgsouth 3y ago
ipsec for the control plane (SIP) might be OK, but you'll probably run into jitter and latency issues with the media (RTP/RTCP). Also RTP has provisions for packet loss, but end-to-end encryption won't like that. SIP already
76.
by mgsouth 3y ago
I'm getting "connection reset by peer" for the Immix link. Wayback link instead: https://web.archive.org/web/20230313182036/https://users.cec...
77.
by mgsouth 3y ago
The levitation results from something called "diamagnetism" [1]. Diagmagnetism induces a magnetic field that opposes the original field; in this case it pushes the magnet away from the sample material. All superconductors are stro
78.
by mgsouth 3y ago
Sort of Token Ring meets Spinlocks. Claims significant performance boosts; LevelDB RON vs. Shiftlock: user-mode +20%, kernel-mode +80%, RON-plock +300% / +1900%. Paper discusses existing issues w/ multi-core atomic ops. For examp
79.
Multi-Tech Analysis of Materials from Blood Falls(frontiersin.org)
1 points by mgsouth 3y ago|1 comments
80.
by mgsouth 3y ago
Full title is "A Multi-Technique Analysis of Surface Materials From Blood Falls, Antartica". This is the study which has been, uh, "summarized" recently in various popular media. "Blood Falls" is a glacier with
81.
by mgsouth 3y ago
codemod is a syntax conversion tool, using regexes. Thread-safety isn't even semantic --it's an emergent behavior question, the same as "does this code halt?" There is no general solution. For example, is this code th
82.
by mgsouth 3y ago
The ants go marching methodically, hurrah, hurrah! The ants go marching methodically, hurrah, hurrah! Avoid they do, to a large degree Excessively creating entropy Amazing ent-mol-ogy As ants go marching methodically
83.
by mgsouth 3y ago
Marketing VP to CEO: "Hey boss, I spent $40 milion on a targeted ad campaign with this fancy new agency. They sent us a report showing 2.5% uplift, but I ran it by our in-house stat nerds and they say it's bogus." vs. "H
84.
by mgsouth 3y ago
Note: "Coiled is a Dask company".
85.
by mgsouth 3y ago
That's not surprising. Humans are much larger than weeds and should require many more joules, and thus more time, to kill. [Admit it, you all wanted to make this comment but didn't want the downvotes. I've heroically taken on
86.
by mgsouth 3y ago
* Turns out, folks are seeing the "buy" button just fine. They just aren't smitten with the product. Making "buy" more attention-grabbing gets them to the decision point sooner, so they close the window. * Turns out
87.
by mgsouth 3y ago
Disclaimer: not a kernel dev, opinion based upon very cursory inspection. The patch references the "scheduler clock," which is a high-speed, high-resolution monotonic clock used to schedule future events. For example, a network ca
88.
by mgsouth 3y ago
It would require some very careful system design and lots of trust of the third-party apps. (It's been a while since I was in the middle of this, so stuff may have changed a bit. But in general...) Ads are usually not served up by th
89.
by mgsouth 3y ago
??? I'm not seeing a ban; comments are visible to me. Perhaps mixing up with someone else?
90.
by mgsouth 3y ago
Its not the posts they care about, its user eyeballs. They don't want subscriptions, they want ads. It's been a while since I was in the adtech business, but at that time static banners were getting $1-$5+ per 1000 impressions

More ›