mdnahas

6 ms·

31.
by mdnahas 5mo ago
Legal Eagle does legal analysis on YouTube. They looked at the recent “settlement” between Trump and the IRS. They determined that it is not legal, is not limited to $1.776 (as a press release stated), and does not require disclosure of
32.
by mdnahas 5mo ago
Right, you should use Lean or Coq. They are cleaner mathematically, which means AI has a better chance with them. And you can have the AI write proofs about their correctness. The proof-checker can verify the proofs and give you more t
33.
by mdnahas 5mo ago
We created databases to keep track of reality. It fascinates me when the database is taken for reality.
34.
by mdnahas 6mo ago
Should YC HackerNews put together an offer to buy GitHub from Microsoft?
35.
by mdnahas 6mo ago
One throughline of history is database-ization. Some of our older writings are records of ownership and tax liabilities. We keep moving information from the real world into a database. We have done it so much that the database is somet
36.
by mdnahas 7mo ago
Economist here. The more likely short-term replacement is gold. Not as the reserve currency, but as the currency for denominating trade. The US has raised tariffs erraticly. Traders seek out a good that can be traded anywhere with predic
37.
by mdnahas 7mo ago
I don’t know if they do it, but it allows proving properties of the law. For example, that the tax increases with income or that an exception doesn’t accidentally increase the tax paid.
38.
by mdnahas 7mo ago
This is a bad idea. I spent a lot of time thinking about git’s snapshot system vs. merge-based system that were promoted by functional programming fans. Auto merging systems are bad for a good reason: because we care about features, whi
39.
by mdnahas 7mo ago
I don’t know what caused this, but I’m sure it’s painful. You have my sympathy. I’ve come to a belief that emotions are a result of evolution. We have evolved drives to avoid death. And since humans get sick and injured, we can avoid dea
40.
by mdnahas 7mo ago
I lived in NYC for a decade. This is very true on the street, but less true waiting in a subway station, and even less true in a neighborhood bar. The more public, there is a “market for lemons” effect in conversation. The more it resemb
41.
by mdnahas 7mo ago
> How do you know what to say?, usually I can start the conversation but I don’t know where to take it after. Some ideas: Ask what they’re passionate about. Talk about what you’re passionate about. Say you’re trying to improve yoursel
42.
by mdnahas 8mo ago
https://en.wikipedia.org/wiki/Don%27t_be_evil
43.
by mdnahas 8mo ago
I just installed Arch (EndeavourOS) and LLM did not help. The problems were new and the LLM’s answers were out-of-date. I wasted about 5 hours. Arch’s wiki and EndeavourOS’s forums were much better. YMMV
44.
by mdnahas 8mo ago
Related: My grad school had a shared bin/ directory with common local tools. Of course, that directory was after /bin and /usr/bin in the PATH so that no one could override “ls” or “more”. So… one grad student added s
45.
by mdnahas 9mo ago
I still have an antenna to watch football and the Olympics live. Everything else is streamed.
46.
Ask HN: Is Gaussian Splattering useful for analyzing Pretti's death?
5 points by mdnahas 9mo ago|4 comments
47.
by mdnahas 9mo ago
It is a recurring phenomenon. Venice, Netherlands, and today Singapore. Small countries without resources and, hence, needing trade. They become open trading hubs and grow. Sadly, countries with a single easy-to-harvest resource —- lik
48.
by mdnahas 9mo ago
I started following him after he headed the UK central bank after running Canada’s central bank!
49.
by mdnahas 9mo ago
Economist here. (Started as programmer, worked in finance, got Masters in Econ.) Econ is a big field. I think it knows a lot at the microeconomics level. There are impressive mathematical tools and economists have found “natural experim
50.
by mdnahas 9mo ago
Same happened in Texas.
51.
by mdnahas 9mo ago
For Americans, many foreigners use the word “government” where we would say “administration”. So, a “new government” or “the government falls”, would be a “new administration” or “the administration’s party loses the next election”.
52.
by mdnahas 9mo ago
Examples, please.
53.
by mdnahas 9mo ago
I’m not hearing any sound. Safari iPhone 11 Pro iOS 18.6.2
54.
by mdnahas 9mo ago
Agreed. Since sharing input between multiple applications (and the OS services) is its primary role, you would think that UI designers would have “thou shalt not steal focus” as a commandment, but that is not the case. My latest version of
55.
by mdnahas 9mo ago
For those that don’t know, the Quakers are like Zen Buddhism met radical Protestant Christians in the 1600s. There is no creed, no minister/priest/leader. We sit together quietly for 60 minutes. If someone feels inspired, they
56.
by mdnahas 10mo ago
They’ve done it twice now. I’d argue in court that this is a pattern, not a one-off event and the damages need to be large enough to prevent this repeating. Also, service providers are not identical. They chose Cloudflare because it was t
57.
by mdnahas 10mo ago
I’m the author of a tutorial on Rocq. I’m surprised at the negativity on HN. We all want bug-free code and this is a way to not just reduce bugs, but eliminate whole classes of bugs. Moreover, with proven code, we can have rock-solid libra
58.
by mdnahas 10mo ago
Yes, you’re right, it is turtles all the way down. But, a huge part of the prover can be untrusted or proven correct by a smaller part of the prover! That leaves a small part that cannot prove itself correct. That is called the “kernel
59.
by mdnahas 10mo ago
Also missing: Austin, TX
60.
by mdnahas 10mo ago
The banned websites have negatives, but they also have positives too. I hate to think of the young geeks banned from YouTube’s Kahn Academy, Veritasium, Smarter Everyday, …, and all the DIY tutorials.

More ›