HackerLangs
TopNewTrendsCommentsPastAskShowJobs

mdnahas

246 karmajoined 6 lat temu
Masters in CS and Econ Designer of par2 file format Employee #7 in successful fintech startup Quantitative trader

https://michaeldnahas.com

Submissions

Trump's IRS "settlement" is not limited to $1.776B [video]

youtube.com
6 points·by mdnahas·2 miesiące temu·1 comments

Ask HN: Is Gaussian Splattering useful for analyzing Pretti's death?

5 points·by mdnahas·6 miesięcy temu·4 comments

comments

mdnahas
·7 dni temu·discuss
Economist and former trader here. I did a quick skim and this market is badly structured. According to Claude, the method use to compute the prices for large sales is based on experts who use the activity on a small spot market, the details of some larger off market transactions that they find out about, and don’t publish their method. The wholesaler buyers using that price for their large contracts are … stupid. I’m not surprised that egg producers placed lots of non-trading bid - it is a common manipulation in markets. I’m shocked that wholesaler buyers accepted a system where it could have a large effect.

I would expect a small settlement because it is hard to compute the fraud’s effect on prices. The “experts” at Urner Barry who set the price don’t publish their method. Thus, prosecutors would have to be conservative about what they could prove in court.
mdnahas
·9 dni temu·discuss
My definition of a cult is a group where members don’t trust people outside the group. We have a lot of news sources saying that we should not trust other news sources. Especially statements like “that other news source lied once, so you should never trust them.” I think this promoted mistrust has created a lot of cults.

When members of a cult don’t trust outsiders, it allows their beliefs to drift away from reality. They’re not getting the feedback necessary to keep information grounded. And reality is a great mechanism for keeping beliefs unified. The creation of cults has splintered the USA.

I think the Internet has helped foster this. It made it cheaper and easier to create a new news source. It is cheaper and easier to fund that news source through ads or direct payments from customers. And the resulting market incentivizes news sources to keep customers by denigrating the competition, which creates cults.

We need to redesign the market for news sources, to disincentivize that behavior.
mdnahas
·14 dni temu·discuss
I read “Enlightenment Now” and it is full of beautiful graphs of quality of life over time improving. More GDP, less hunger, longer life spans.

There was one odd graph. It showed that rising GDP lead to more happiness in every country except one: the USA.
mdnahas
·15 dni temu·discuss
My father designed processors. He says all electronics are analog. Some just pretends to act digital.
mdnahas
·18 dni temu·discuss
Another suggestion: update an estimate of words known after every word. E.g. start out with a range of 0 to 170,000. Then after the first word, show 100 to 170,000. Etc.

Users get drops of information and can stop whenever they feel. I stopped well before 100.
mdnahas
·21 dni temu·discuss
My father worked at Bell Labs. He said the rules of the monopoly signed with the US govt drove innovation. AT&T, which operated Bell Labs, could charge cost plus a fixed percentage, but it was based on costs from N years earlier. I believe N=3. Anyway, if AT&T improved costs, it became more profitable.

The profits of the company depended on innovation. The employees knew that. And it innovated.
mdnahas
·25 dni temu·discuss
I live in Austin and, in 2018, I could go west and pass through 4 districts in a few miles. My own one you would exit and re-enter and exit again!

I actually made jigsaw puzzles to advocate against gerrymandering. They were difficult to solve! michaeldnahas.com/doc/jigsaw_puzzle/index.html
mdnahas
·26 dni temu·discuss
I have warm memories of splitting wood at my uncle’s with a sledge hammer and wedge. It is that right mix of physical activity (but not too much) and a little brain work. Great to do early while my aunt is making breakfast.

Advice: WEAR STEEL-TIPPED BOOTS! It saved my toes.
mdnahas
·29 dni temu·discuss
I am interested in your opinion of Southwest Airlines. It had a very specific culture and acted differently than most USA-based airlines. But it was recently bought and changed to behave like all the other airlines. Was that a good thing?
mdnahas
·w zeszłym miesiącu·discuss
To be pedantic, the S&P 500 is a large portion of the stock market, not the economy. Its value is about 75% of the value in stocks. But stocks are only 25% of all stores value. Real estate is twice the size of the stock market. The rest is mostly corporate and govt bonds.

This is why the real estate crash of 2008 caused the Great Recession, while the Internet Bubble bursting was a small recession.
mdnahas
·w zeszłym miesiącu·discuss
Vanguard’s VTI uses an index designed by CRSP. I read the rules and, best I can tell, CRSP indices will add the stocks at the next rebalancing in September.

(FWIW, CRSP was run by U of Chicago, but they recently sold it to Morningstar.)
mdnahas
·w zeszłym miesiącu·discuss
Vanguard doesn’t use S&P, because they wanted low fees and the license was expensive. They use CRSP’s index rules.

I checked and it looks like new stocks get added to the CRSP index at the next rebalancing, which is September. So, even the knockoff S&P adds it quickly.

BTW, CRSP was run by University of Chicago, but got sold recently to Morningstar, a mutual fund company.
mdnahas
·2 miesiące temu·discuss
I tried to send an SD card loaded with free data (Wikipedia, dictionaries, books, etc.) to a refugee camp in Bangladesh that had no good internet connection. Tried twice with USPS. Neither letter was received.
mdnahas
·2 miesiące temu·discuss
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 who got paid and how much.
mdnahas
·2 miesiące temu·discuss
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 trust in the AI’s work.

This isn’t foolproof - you still have to understand what was proved. And it may take some work to understand the unproven parts of the code. But I believe this is the path forward.
mdnahas
·2 miesiące temu·discuss
We created databases to keep track of reality. It fascinates me when the database is taken for reality.
mdnahas
·2 miesiące temu·discuss
Should YC HackerNews put together an offer to buy GitHub from Microsoft?
mdnahas
·3 miesiące temu·discuss
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 sometimes more important than the real world. Someone marked “dead” in a database can have a hard time living!
mdnahas
·3 miesiące temu·discuss
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 predictable low costs and that is gold. So, demand is rising and, if it continues, trades may be denominated in gold.
mdnahas
·3 miesiące temu·discuss
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.