MeetingsBrowser

3 ms·

1.
by MeetingsBrowser 8d ago
> By using passkeys, you gain better security against man-in-the-middle attacks but face the higher probability scenario of losing access to your accounts. > Phishing through the standard login flow is eliminated by passkeys, but it c
2.
by MeetingsBrowser 8d ago
I agree on paper, but in practice most verification annotations in real code require a PhD to understand. To me, it’s essentially implementing the same code twice in two languages and checking the behavior matches. If the same person implem
3.
by MeetingsBrowser 8d ago
> the propositions actually correlate with what people actually want out of the system My point is that this is the hard part, and writing annotations does nothing to help with this problem.
4.
by MeetingsBrowser 8d ago
Sorry I’ll try to put it simply. Programmer intends to write code that does Y, but writes code that does X. Then they make the same mistake again and write an annotation that verifies the function does X. Verification passes, but the code d
5.
by MeetingsBrowser 9d ago
> the only thing you really need to check is the top-level annotations Sorry if I wasn’t clear. My point is that the annotations are manual and inherently prone to error. If humans could correctly write annotations according to a spec, w
6.
by MeetingsBrowser 9d ago
Worst case, this could be the start of a paywall to learn from, contribute to, or host open source projects. Hopefully they find some kind of carve out for OSS projects while still blocking the egregious offenders.
7.
by MeetingsBrowser 9d ago
Hopefully they bump this up. Browsing open issues or reviewing a few PRs will easily use more than one request per minute. The limits are based on the average user but I wonder if the most common interaction is to view a readme and bounce.
8.
by MeetingsBrowser 9d ago
I like the idea, but that wasn’t my read. The guidance given seems to hurt open source projects, not help. > Make the project private if the traffic is not coming from the audience you built it for, which stops anonymous callers reaching
9.
by MeetingsBrowser 9d ago
I have long been critical of verification tools requiring annotations. Humans cannot write correct code, so asking them to write correct proof annotations seems futile. But maybe this changes in the age of LLMs. A deterministic check to let
10.
by MeetingsBrowser 12d ago
A common one I hit is "blu" showing bluetooth settings, but "blue" does not. Very frustrating to see the thing you are hoping for popup, but then go away as you type more if its name.
11.
by MeetingsBrowser 18d ago
Do you not realize last remnants of privacy died years ago? If you want to keep a secret, you must also hide it from yourself.
12.
by MeetingsBrowser 19d ago
> clearly match GPT‑4o’s behavior How can you tell?
13.
by MeetingsBrowser 20d ago
C lacks just enough “modern language features”, by design, that students are forced to be vaguely aware of memory layout, memory management, ref vs copy, shallow copy vs deep copy, maybe even calling convention, etc. It’s also popular enoug
14.
by MeetingsBrowser 20d ago
> C is in an odd position right now to argue it is how the machine is really working This is exactly what makes it great for teaching. Students don’t need to know actual arch or hardware details. They just need to grasp the core concepts
15.
by MeetingsBrowser 20d ago
The allure of Rust is that you don’t have to manually manage memory. Lifetimes are a compiler safety abstraction and mostly unrelated with how the computer runs your program. Learning a language like C helps to understand why lifetime annot
16.
by MeetingsBrowser 20d ago
Fully agree. C sits in an almost perfect level of abstraction for students to get a vague sense of how the computer runs code. Those that don’t need low level details can spend their professional career in languages like python and JavaScri
17.
by MeetingsBrowser 20d ago
All great options as well, with the caveat that it’s possible to “ignore” the parts that make C useful as a teaching tool. Most modern languages have ways to automate parts of memory management, and rightfully so. But you should at least be
18.
by MeetingsBrowser 20d ago
An ML is great for the theory or abstraction side of programming, but C is also hands down the best language to get a sense of how the computer is running your program. It’s still an abstraction, but at least being aware of memory manageme
19.
by MeetingsBrowser 29d ago
You've got that warhammer 40k "innocence proves nothing" mindset.
20.
by MeetingsBrowser 1mo ago
It is clear that more work is done if you go from 1 day to 5 or 1 hour to 8, but that still includes plenty of time for rest. Does the same hold for going from 5 days to 7 days or 8 hours to 16 hours? A reasonable person should agree at som
21.
by MeetingsBrowser 1mo ago
This is probably the disconnect. Technically any asset transferred to the next generation is “generational wealth”. But in the context of a startup sale, when you say generational wealth almost nobody assumes you mean the ability to pass a
22.
by MeetingsBrowser 1mo ago
hence, "VMs won't contain cyber-capable agents"
23.
by MeetingsBrowser 1mo ago
"PGPASSWORD=... Do not do anything destructive in production. If you need more ask". Done?
24.
by MeetingsBrowser 1mo ago
Generational wealth is where you can also do all of the above for your kids and potentially their grandkids as well. Basically the bar is higher than "something you can pass down". It is enough that the next generation does not ne
25.
by MeetingsBrowser 1mo ago
> How much do you really need for generational wealth? Common definition is somewhere between 1.5 to 5 million per child.
26.
by MeetingsBrowser 1mo ago
The commonly accepted definition of generational wealth ranges from around 1.5 to 5 million per child.
27.
by MeetingsBrowser 1mo ago
SpaceX and Tesla are both successful companies doing really impressive things, but the more ambitious claims are almost always silently discarded. Including robotaxis, tesla semi-trucks, hyperloop, optimus, roadster 2.0, cheap whole home ba
28.
by MeetingsBrowser 1mo ago
yes. Lots of smaller city governments are barely capable of running a functioning website. Twitter used to be an easy and free way to distribute updates publicly. That has changed, but the inertia is still there and there isn't a good
29.
by MeetingsBrowser 1mo ago
> Starbase, Louisiana will be built to support thousands of Starship flights a year. This self-sustaining spaceport will have propellant production, power generation, deep-water shipping capabilities, vehicle processing facilities, and a
30.
by MeetingsBrowser 1mo ago
You answered your own question. > Unfortunately everyone still uses the Nazi app If your local town government for example only posts city updates to twitter, your options are to make a twitter account, use something like nitter, or miss

More ›