In response to the general sentiment of comments here:
In an ideal world, there would be no need for Joon.
Parents would be having meaningful and deep conversations with their children. They'd be spending a lot of time building up their kids’ intrinsic sense of responsibility. They'd be consistently spending quality time with their children, forming a deeper relationship with them, built on trust, mutual respect and love.
However, after talking to so many parents, many of them are trying to "survive" first, before they can "thrive." They're working full-time jobs. They experience constant guilt that they aren't doing good enough. They read articles everyday about parenting, but struggle to implement what they're learning. They watch their kids addicted to their screens, playing games and watching TikToks, but they feel powerless to manage it.
And we are conscious of the harms technology can have on kids. From the get-go we’ve been working with pediatricians + child psychologists to hopefully eliminate these externalities.
We're not trying to replace effective parenting. We're trying to be a better choice than the current options -- TikTok, Youtube, Roblox/Minecraft/any pure game -- that their kids are spending hours on every day. We're trying to make parents' lives easier so that they can go from "surviving" to "thriving."
We appreciate everybody taking the time to read our post and comment here.
That's what it is intended for. But pledge has nice properties beyond that, such as defining easy to understand syscall groups maintained by the kernel as new syscalls are introduced. If linux had that we could for example grant stdio+rpath and not worry about the kernel introducing preadv3 and programs compiled with that getting broken or suboptimal performance when isolated and it would automatically apply to equivalent io_uring implementations block equivalent SQEs too.
If you never make changes, that will work once it's set up.
But if you ever decide to change your mail provider, you'll have to remember to correctly update your MTA-STS policy. If your change to Cloudflare Pages doesn't propagate through the Cloudflare CDN right away, you could end up in the situation described in the blog post, with the TXT file updated before the blog post, and other mail servers unable to send you email.
I think the parent company misunderstood the process as being required to move to a new Google account. That's not the case as far as I can tell from the support document. The account remains the same, just have to pay for the service.
There is the Bank ID formula to work around that, at least for the nation state checks: "The Identity Card belongs to the Union, and each Citizen of the Union is obligated to use it as the Union instructs, as enforced by each Subject State of the Union."
I've been ranting about this for a while tbh. Network interfaces used to be one of the fastest interfaces on a computer. Now they're one of if not the slowest save for USB2 or bluetooth.
1GbE networking is one of the slowest interfaces on modern computers.
- The slowest USB3 spec is 5Gbps. USB3 is a mess, but you can easily exceed 1Gbps with it
- The current fastest USB spec is USB4, and is at least 20Gbps, and sometimes 40Gbps
- Thunderbolt/Lightning both push 10's of gigabits depending on spec
- 802.11ac ("Wifi 5"/"Wave 2") is capable of Gigabit speed, and 802.11ax ("Wifi 6") easily exceeds 1Gbps
- Even Cellular connections can exceed 1Gbps these days with 5G, though admittedly realistically you're looking at 100Mbs-1000Gbps
- Individual SAS/SATA SSD's often push 3Gbps, and SATA itself supports up to 6Gbps, with SAS up to 12Gbps.
- PCIe NVMe in it's slowest spec (Gen3 at 2 lanes) is still 16Gbps, most typically running at up to 32Gbps at Gen3 x4
- PCIe5 consumer devices have launched (Gen5x4 lane NVMe is 128Gbps)
- PCIe6 is around the corner for enterprise
To add insult to injury, in the consumer space they're trying to tout 2.5GbE as some sort of premium new NIC, despite it replacing 10GbE in the premium NIC space from several years ago (eg Asus X99-E-10G-WS). It's maddening. 10Gbase-T, 10Gbe, and Cat6a has been around for well over a decade (to say nothing of SFP+ 10G).
TL;DR: 1GbE is the limiting factor to speeds these days. Even cheap external SATA SSD's and a common usb3 cable can greatly exceed your 1GbE network speed. If you have multiple devices, and want to transfer data between them, a network cable is supposed to be the superior choice. Not Wifi, Not USB, but a network cable over the local network. But it's actually much faster to plug a drive into one device with USB, transfer the data, unplug, plug into the other device, transfer again, than to use a standard 1GbE network interface. Shameful.
> But I have no idea what the migration of a decade of email across 5 inboxes will look like; not to mention Calendar and contacts.
Contacts and Email seems to be the easy part: you can download the emails via IMAP to a client like Thunderbird, and the re-upload them on a new account. Years ago I did this transferring from one G Suite account to another for a friend, worked very well. Contacts can be exported in CSV and then imported bia CSV, no big deal too. I have routinely transferred loads of contacts between different systems this way, including Gmail. With calendar, I never had a necessity to transfer data, but I imagine that there are ways, given that it uses a standard iCalendar format.
Fascination with type systems does not seem to be all that useful in practice. Go has a minimal type system, and is able to do much of Google's internal server side work.
Most of the problems that cause non-trivial bugs come from invariant violations. At point A, there's some assumption, and way over there at point B, that assumption is violated. That's an invariant violation.
Type systems prevent some invariant violations. Because that works, there are ongoing attempts to extend type systems to prevent still more invariant violations. That creates another layer of confusing abstraction. Some invariants are not well represented as types, and trying makes for a bad fit. What you're really trying to do is to substitute manual specification of attributes for global analysis.
The Rust borrow checker is an invariant enforcer. It explicitly does automatic global analysis, and reports explicitly that what's going on at point B is inconsistent with what point A needs.
This is real progress in programming language design, and is Rust's main contribution.
That's the direction to go. Other things might be dealt with by global analysis, Deadlock detection is a good example. If P is locked before Q on one path, P must be locked before Q on all paths. There must be no path that leads to P being locked twice. That sort of thing. Rust has a related problem with borrows of reference counted items, which are checked at run time and work a lot like locks.
Those potentially have a double-borrow problem related to program flow. I've heard that someone is working on that for Rust.
It’s not one person on a throne making decisions for the entire industry. Many different organizations are all making tv shows and movies, so you tend to get a mix even if the large companies focus on bad content
The things in decline imho are due to studios taking their best people off the project to kick start new ones
I’ve used time blocking for years, and it’s worked precisely to the extent that I actually used it, and the world assuredly adapted. I wasn’t suffering from a delusion that I could control how every minute of every day was utilized, however.
I try automating as much as I can at my current job. Probably out of laziness, but also because it leads to less room for error, and I feel much more mentally stimulating when trying to figure out how to automate something
Yes, that's the first sentence. Reading more of the article, here is the "Naval Blockade" section:
> The Israeli Navy enforces a maritime blockade of the Port of Gaza and the coastline.
and the "Control of Gazan airspace" section:
> The Oslo Accords interim peace agreements expressly give Israel security control over Gazan airspace and coastal waters.
Also, Egypt being complicit in depriving Gaza of resources (to a MUCH lesser extent than Israel, to be fair) does in no way prove that Hamas is the problem, or has a "HUGE NEGATIVE" effect on Gaza. I will let the people of Gaza who keep electing Hamas in free elections (despite brutal Israeli reprisals for their wrong vote) decide how bad Hamas is for them.
Aristotle was part of the incredible flowering of math and philosophy in Ancient Greece between 600 and 300 BC or so. There was a similar flowering in western Asia between 750 AD and 1050 AD or so. The one doesn't contradict the other. When Western doctors were treating patients in 1400 AD they were working from ibn Sina's (Avicenna's) Canon of Medicine rather than Hippocrates (though ibn Sina owed a lot of Hippocrates). When Colubus was trying to persuade everyone the Earth was small he was arguing mostly about al-Biruni's book on the topic (though al-Biruni owed a huge debt to Eratosthenes). Again, this is more about science than philosophy which in Europe did tend to go directly from the Ancient world to the Renaissance as far as I can tell.
> The whole point of a lot of code is to have side effects.
Depends on the domain. For domains that have to interact with the outside world, there's no choice to have side-effects, but it can be contained.
It's well known the Monad Tutorials don't do a good job explaining what they are--doesn't mean they're not useful in specific contexts. If you find them lacking, try looking into linear types, algebraic effects, or hexagonal architecture. They're all different approaches to the same problem.
> One suggestion would be to have the pronunciation listed in addition to the kanji and audio (at least when I searched I didn't see it, so the only way to learn to pronounce is to use audio).
Sorry, I'm a little confused? The pronunciation is listed for every word; that's the hiragana next/on top of the words. (:
> Do you know of something similar for Chinese by any chance?
Alas, I do not. Maybe I'll make something like that in, like, 20 years if I'll ever be able to make a living off of this. (:
If your provider offers 10 Gbit/s, you only need to change the fiber optics modules at either end of the connection. The same lines can be used, no need to run anything extra.
Your provider is on the hook for properly configuring TLS on their mail server, but you still need to publish an MTA-STS policy saying who your provider is.
Unless your provider provides MTA-STS endpoints that you can CNAME your _mta-sts and mta-sts subdomains to. I haven't seen anyone do this yet.
A lot of people in this thread find the story unbelievable. Having done IT consulting for law firms, I absolutely believe this story.
IT for law is 30 years behind in some cases. They still use Wordperfect because that's what all the templates are written in. Most lawyers have no clue about IT and are happy to pay people to keep things running. Most likely the law firm wouldn't even care if OP told them what they were doing as long as it worked.
Also, I know someone who was in a similar situation. He was a VAX admin in the 90s, when that tech was already 20 years old. He worked for a trading firm and all of their software was built on VAX. They made $1M a day from their software, as long as the machine was up during trading hours.
His only job was to sit at the terminal one hour before trading hours until trading closed for the day, and make sure the machine is running, and perform maintenance after the trading day ended. He got what in today's dollars would be about $500K a year to basically just sit there and teach himself modern programming languages while he waited for trading to end.
His boss was well aware of this, and straight up told him, as long as that machine is running during trading hours, the money we pay you is more than worth it. It was literally 1/2 a day's profits.
The more I read and experience such things along with the healthcare scam and sudden bills from hospitals and haggling with insurance, the more I wonder why I immigrated to the US when I could have taken my software skills and education to anywhere else like Europe or Canada. This country is for hustlers and grifters and the cunning.
I must confess to copypasta for this approach. Yes, stack traces are incredibly valuable. The upx compression itself does seem to be a no-brainer with the exception of any situation where that 150ms time actually matters.
I guess he is wearing them because of rules that are in place in his country instead of throwing a hissy fit every time he goes shopping because of fReEdOm.
In an ideal world, there would be no need for Joon.
Parents would be having meaningful and deep conversations with their children. They'd be spending a lot of time building up their kids’ intrinsic sense of responsibility. They'd be consistently spending quality time with their children, forming a deeper relationship with them, built on trust, mutual respect and love.
However, after talking to so many parents, many of them are trying to "survive" first, before they can "thrive." They're working full-time jobs. They experience constant guilt that they aren't doing good enough. They read articles everyday about parenting, but struggle to implement what they're learning. They watch their kids addicted to their screens, playing games and watching TikToks, but they feel powerless to manage it.
And we are conscious of the harms technology can have on kids. From the get-go we’ve been working with pediatricians + child psychologists to hopefully eliminate these externalities.
We're not trying to replace effective parenting. We're trying to be a better choice than the current options -- TikTok, Youtube, Roblox/Minecraft/any pure game -- that their kids are spending hours on every day. We're trying to make parents' lives easier so that they can go from "surviving" to "thriving."
We appreciate everybody taking the time to read our post and comment here.