alphakilo

More efficient at what? A database would not provide the decentralization the farcaster protocol requires

Definitely recommend checking it out

Free with a US phone number

Also most of it is off the blockchain, just accounts are on chain

I think farcaster has a much more interesting future given client diversity and protocol extensions

Didn’t see it mentioned in the article surprisingly

Wallets that interact with mixers and then deposit to a central exchange can easily have there withdrawals blocked

The person they responded to was beyond dismissive but invalidating of their comment. The responder's message "I don't give a shit" was in poor taste and discourages community interaction

There's some crypto legislation. love crypto or hate it, it is defining the industry

do you have any actual thoughts against web3 or is it just your bête noire?

I think Cézanne's best works being of his older age + loss of early artwork make this an interesting find

He is one to have made their model sit for 150 days and not be content with the piece he produced

https://www.newyorker.com/magazine/2008/10/20/late-bloomers-...

Echoing others, I don't think this will have a huge impact as iPhone SOS is a last resort for those who are unprepared

Garmin inReach is a robust and rugged satellite communicator that out classes iPhone emergency SOS greatly

- inreach doesn't require "tracking" the satellite as it has a stronger antenna - inreach is more waterproof, dust proof atd shock resistant (no touch screen) - inreach has higher battery life, SOS can be activated while the device is off - ability to send messages, which can be critical if there are no cell towers that can be boosned/activated

That said, it is a great innovation; I think the Apple Watch Ultra will cut more into the diving watch market than the iPhone into the satellite communicator market

I definitely agree with you. Even my Garmin Phoenix 5x plus will last multiple days with GPS usage for Backcountry camping. Another factor I worry about is the durability of the screen. Although you should always travel with backup Maps nobody wants to lose their primary navigation tool because a touch screen is nicer than Sapphire glass displays.

That said the Apple watch is a nicer experience than the Phoenix which I don't tend to take out of the house too often outside of activities now. Indeed the Apple watch is claiming to be usable for recreational scuba for which the Phoenix is not and you would need to use an alternative Garmin watch

Perhaps the next iteration of the ultra watch will have features to extend battery life beyond the 60 hours in low battery mode it claims and hopefully towards 100 hours (14 hours * 7 days) of usage on low battery

This would definitely be a game changer. I have a Garmin Fenix and the only thing it locks is the ability to use it for diving to 40m. Although Garmin has a similar watch for diving it locks the features I would use for Backcountry camping. If I can switch to an Apple Watch Over a sunnto or similar it would be a big boon

Meetup was a great platform but has totally lost it in the user experience. Out of all popular consumer apps, I would argue Meetup has the highest friction for both organizers and participants

My problems meeting cyclists in Toronto led me to make a Toronto cycling discord of almost 1000 users

I actually took the solution and have just launched an app for many more hobbies and anyplace! https://radar.ac

We'lr be adding events/plans by end end of Q4. Zero friction to create or join an event!

One reason may be the deployment of Starlink to Ukraine

anecdotal evidence

by default they have it so S3 requests with wrong headers are still sent

I didn't know this and one day I changed the send header but not receive header

Turned out the cache-control was wrong when uploading an image to a presigned url, but this was never caught until it hit staging env since local tests and CI/CD tests showed a pass

Very cool Matthew, thanks for sharing

For what its worth, this seems to be a global occurrence -- there's been quite a lot of talk about Air Canada & Toronto's Pearson airport. Presumptively, people will continue to blame the federal government like they do for gasoline while failing to see it as part of a global trend.

FWIW the 1 week every 4 months is on top of your vacation, not "encouraged vacation", but rather a company wide recharge week

I agree those who started in the 6 months after IPO got the short end of a stick. The current packages are based on 90 day moving average IIRC. At least the grants being yearly helps in this case

I've wondered this myself. As far as I can tell: they will use conventional ballistic missile defense (with improved/modified operations); lazers; railguns; or hypersonic misses themself

The greatest threat is tracking since hypersonic can change course rapidly

Seems interesting, but I'm not too sure about what the product is

FWIW check out our community-based social platform we applied to S22 with at https://radar.ac

not my experience... is this a board/school policy or a specific teacher?

never seen teaches let exams be retaken

All Israelis have equal rights, why do you say Israel an apartheid state?

I'd take the Hammerhead Karoo 2 over the Elemnt or Bolt :) More consistent updates, built on android (sideloading for apps!), and upward trajectory

If Israel is a settler colony like you say, play tell what the host country is?

Sanctioned by who? If it is the USA, then in this "just world", the US should also sanction itself as a criminal enterprise

Noted that it's only required for W11 Home, not Pro or Enterprise

Ortholinear Dvorak is the key to my purchase

I'd also be happy with no keyboard and to use my own external keyboard

With vehicles such as the recently revealed electric F150, they can still have those cars to rip down the 401

In my school our Software Eng program is heavily focussed on formal verification. In my experience, the practical applications we learn are still too fat detracted from industry to be applicable.

Everything starts with two logic courses EECS/MATH 1028 which covers basics like induction and pigeon hole princele and MATH 1090 which covers first principles and axioms of logic.

Then, using the courses on logic that we did by hand, we have a system verification course (EECS 3342) with SMTs like Rodin which can solve on its up to a point where we need to manually input the proofs. Beyond this, we also cover proving preconditions and post conditions through design by contract in EECS 3311 - Software Design (which is usually tough in Eiffel, but finally being taught in Java after a year of lobbying the faculty).

Then our final courses are EECS 4312 and 4315 for requirements engineering and mission critical systems respectively. In 4312 we learn TLA+ and 4315 is focussed on tree and path logic for states. As well, we have EECS 4313 advanced software testing which is primarily about writing bug reports, creating tests (JUnit) and touches on distributed systems tests a bit.

The point is that we do learn the "practical" (quite impractical since our prof's are not in industry) only once we have had a lot of exposure to proving things by hand. But even once we have learned everything, they fail to connect material to realistic SDLCs and how to implement the tools in an agile methodology.

Just did it last week as the first assignment in my university level OS course (albeit a bit more complexity added)