Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
davorak
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
13 ms
·
151.
▲
by
davorak
2y ago
> To whom? The presidents oath to his office for one, the constitution, the rule of law, the citizens of the United States. Easy to say whom/what/why. Let's separate that from enforcement mechanisms.
152.
▲
by
davorak
2y ago
Yeah it seems pretty cut and dry, that the laws is not being followed here and their could be consequences for the companies breaking it if either Trump changes his mind or a future DOJ decides to press the matter. Not clear what(edit) lega
153.
▲
by
davorak
2y ago
> The president can instruct (or basically ask) DOJ to delay enforcement That does not change if the law has been broken though or that those breaking can be punished for breaking the law though to my understanding. So in cases where a
154.
▲
by
davorak
2y ago
> free speech absolutist An unfortunately overloaded term. 1) free speech absolutist meaning the government should not be censor private citizens speech in any way, 2) or twitter/similar is breaking the law by censoring X speech, 3)
155.
▲
by
davorak
2y ago
> I'd actually just like to see more money put into public dental assistance. And education. I would want to see that in anti fluoride campaigns and laws as well, but have not see that happen in the laws and campaigns I have followe
156.
▲
by
davorak
2y ago
My understanding is that it is not that simple, pilot-wave theories, are not the traditional hidden-variable theories. While some setups look very simple in pilot-wave compared to say the schrodinger equation, other setups are as unintuitiv
157.
▲
by
davorak
2y ago
> As far as I can tell, it's failing in the first conditional because it considers the type of `aOrB` to be `B`... The playground hover type annotation says aOrB is `A | B` at declaration and if you hover over aOrB in `if (hasTypeNa
158.
▲
by
davorak
2y ago
Maybe I am doing something wrong but when I fill in a concrete value for `aOrB` I still get a type error in that example code: Playground Link: https://www.typescriptlang.org/play/?#code/C4TwDgpgBAglC8UDe... I tri
159.
▲
by
davorak
2y ago
> You can always cast your way around nominal typing, even with enums. So you can do: > doSomethingBar('No' as Bar); I think you can avoid that by not export type `Bar`. I think Bar then acts as an abstract type. On the o
160.
▲
by
davorak
2y ago
Penrose is claiming there is new physics which is not computable, but to my knowledge Penrose offers no experimental evidence for it. > 11:43 but new physics of a particular kind what I'm claiming from the girdle argument you see th
161.
▲
by
davorak
2y ago
I thought there were edge cases where sum types were not fully supported, nesting[1] is the example found first, but I thought there were others. [1] https://github.com/microsoft/TypeScript/issues/18758
162.
▲
by
davorak
2y ago
Unlike the enum solution this is not nominal to my understanding. const t = ('2' as '2' & {__brand: never}); doSomething(t); Does not trigger an error. So you can do something like const _Foo2 = {
163.
▲
by
davorak
2y ago
> He has been desperately seeking proof of quantum phenomenons in the brain, so he may have something to point to when asked how this mind, supposedly external to the physical realm, can pilot our bodies. I have never see anyone with thi
164.
▲
by
davorak
2y ago
> We can of course plug any holes we find by adding more rules but full coverage will always evade us. So if we assume that clever software can automate the process of plugging this holes. Is it then like the human mind? Are their still
165.
▲
by
davorak
2y ago
Hard problems like that can take a long time to solve, multiple phds and/or breakthroughs. Maybe a good longbet[1]. [1] https://longbets.org/
166.
▲
by
davorak
2y ago
I do not see the pattern you are seeing. What I would need to change my mind here are communities using the parlance correctly, understanding the meaning, and it not leading to misunderstandings to a reasonable percent of the community.
167.
▲
by
davorak
2y ago
I only see the hill article using that parlance. I looked at the articles the hill certainly says half the country voted for Trump. It is an opinion piece you linked to though not a news piece. The center for politics and global citizen art
168.
▲
by
davorak
2y ago
> When people say that half the country voted for X, it is implied they are referring to voters In this case it is a very large difference and it is important to keep it in mind, even if starting with 340 million is not the best place to
169.
▲
by
davorak
2y ago
Pretty close to half[1] of voters, but not quite half from the sources I have. [1] https://www.cnn.com/election/2024/results/president?election ... https://apnews.com/projects/election-res
170.
▲
by
davorak
2y ago
What is being objected to is: > But about half of America did vote for this So it is fair to include the full population of America. > By that logic, no democracy in the world elects their leaders with a 50%+ majority Leaders are ofte
171.
▲
by
davorak
2y ago
> I'd say, my own emotions aside, she made a pragmatic mistake here - first delivering a quite powerful bomb that she explicitly acknowledges we need to trust her about (as it's an excerpt of a private conversation, not possibl
172.
▲
by
davorak
2y ago
> You can find ways to dismiss opinions you don't like, but targeting individual contributors that use sponsorships to maintain or alleviate financial stability is an interesting attack. > Just a literal ad hominem? I do not read
173.
▲
by
davorak
2y ago
I did not see many people betting real money on twitter not running, did you? You have have to filter out the momentary hype. > The current US Presidential administration is in the process of throwing the entire bathroom out, tub and al
174.
▲
by
davorak
2y ago
> Not everyone who supports DEI programs wants explicit racial preferences. But in practice DEI programs turn into racial preferences and quotas because those people won’t stand up to the ones who want preferences. I see leadership wanti
175.
▲
by
davorak
2y ago
> Because in practice, it seems to me that DEI is almost always used to justify some kind of grift or other uselessness (renaming master to main, for example). I would never have thought of this as DEI. I normally only think of DEI in t
176.
▲
by
davorak
2y ago
> It’s all the same issue and has been since the 1970s. Many people believe you need explicit racial references in hiring, government programs. I draw a line between "need explicit racial references in hiring" and the "bio
177.
▲
by
davorak
2y ago
I agree with calling people out. > This was a racial equity policy. Like a lot of them, it was designed by idiots and/or racists. So a policy can be labeled an 'equity policy' and have nothing to do with equity in either i
178.
▲
by
davorak
2y ago
> Maybe we can acknowledge that there is a real problem that people were responding to. I am not seeped in all the cases you mention here. You have not drawn a picture for me though to see that all of these are the same issue and that s
179.
▲
by
davorak
2y ago
What part of: https://en.wikipedia.org/wiki/Google's_Ideological_Echo_Cham... serves the role of "pakistani child rape gangs"? Right now the analogy does not makes sense to me. "pakistani child rap
180.
▲
by
davorak
2y ago
> A lot of the English reporting I'm reading said "reinforce" which implies addition. Agree it implies addition, but if you promise to send 10k, then make another promise to send 10k, then send 10k you kept both promises t
More ›