agnishom

20 ms·

331.
by agnishom 2y ago
Him assuming the office of the president is legal. But him trying to replace the law which has gone through due process using executive orders is unlawful. It is not a coup because he became president by force. It is a coup because he is co
332.
by agnishom 2y ago
"healthy people stay alive, sick people will die" that's a tautology. I do not know you, but I am willing to bet that there are some people who you know who'd have a far worse life if it was not for modern publicly funde
333.
by agnishom 2y ago
Duplicate? https://news.ycombinator.com/item?id=42925782 https://www.techdirt.com/2025/02/03/a-coup-is-in-progress-in...
334.
Quanta Magazine: Complexity of the VASS Reachability Problem [video](youtube.com)
3 points by agnishom 2y ago|0 comments
335.
Why Python and Not Haskell?(gist.github.com)
3 points by agnishom 2y ago|5 comments
336.
by agnishom 2y ago
Cory Doctorow's books "Chokepoint Capitalism" and "The Internet Con" discuss a good number of possible reforms, if anyone is interested
337.
by agnishom 2y ago
Leaving Tiktok and YouTube aside, viewing posters on Twitter as "content creators" would be dangerous. We don't want to judge tweets by the metric of whether they are the most engaging
338.
by agnishom 2y ago
This is the beauty of some of the best algorithms. It always feels like "I could have written that paper"
339.
by agnishom 2y ago
That reply was ironic, but also condescending and tone deaf
340.
by agnishom 2y ago
TLDR Summary: There is a genre of undergraduate polynomial divisibility problems which look like this: Show that f(n) is divisible by some integer k. These problems often appear to be (elementary) number theory problems. However, often ther
341.
by agnishom 2y ago
I also recommend Andrew Plotkin
342.
by agnishom 2y ago
Perhaps we are confusing what we mean by "people in tech". There are some people in tech who are inventing new algorithms, proving new theorems, developing new frameworks and moving technology further. There are the "people i
343.
by agnishom 2y ago
Perhaps https://www.reuters.com/technology/artificial-intelligence/t... is a better source
344.
by agnishom 2y ago
Just that it is ugly and strange
345.
by agnishom 2y ago
What is a counterexample? I cannot think of a single tool which is complex enough but does not show the makefile effect
346.
by agnishom 2y ago
> Q: How do I declare a Hashmap? > A: You use the command `declare -A HASHMAP_NAME` This is why I think Bash is a horrible language
347.
by agnishom 2y ago
Now you need to figure out how to federate this, and deploy a number of instances
348.
by agnishom 2y ago
Docker released solutions for how to fix this: https://docs.docker.com/desktop/cert-revoke-solution/ I do not like the way they have written their commands on this page sudo rm /Library/PrivilegedHelperT
349.
by agnishom 2y ago
I don't know if people are different these days, but we certainly have taken the concept "all relationships are voluntary" too far. If we had a society where people associated with each other only when there was personal gain
350.
by agnishom 2y ago
> when being both is a very real possibility. Another possibility is that being a good or bad are not inherent properties of people -- but only properties of actions. Bojack Horseman explains it well. > That's the thing. I don&#x
351.
by agnishom 2y ago
They shouldn't be "forced" to continue associating with someone; they should not change their position on whether or not they should associate with said person based on this situation. That sounds abstract, but such concepts
352.
by agnishom 2y ago
That's not really what I am talking about.
353.
by agnishom 2y ago
Of course, people, whether criminals or not, should be attributed for their intellectual contributions but there is a bigger point here which people do not say enough: The criminal justice system already wields the responsibility of punishi
354.
by agnishom 2y ago
I could feel my blood pressure going up...
355.
by agnishom 2y ago
https://news.ycombinator.com/item?id=42621627 https://about.fb.com/news/2025/01/meta-more-speech-fewer-mis...
356.
Lex Fridman Interviews Volodymyr Zelenskyy(lexfridman.com)
22 points by agnishom 2y ago|26 comments
357.
by agnishom 2y ago
I think Lean is another closely related language. It is very famous for its theorem proving capabilities, of course, but it seems that it can also express effectful computations (aka, real world programs). Somebody managed to solve Advent o
358.
by agnishom 2y ago
TLDR: The Good: [ease of refactoring programs], The Bad:[Broken Ecosystem]
359.
Real-World Haskell: Good, Bad, & Ugly (Talk Video)(youtube.com)
3 points by agnishom 2y ago|2 comments
360.
by agnishom 2y ago
> "all pieces are uniquely shaped" How is that possible? There are four sides, and each side is either v or ^. That is only 2^4 = 16 possibilities

More ›