fn-mote

56 ms·

961.
by fn-mote 2y ago
This would be a lot more powerful with a citation. I did read the article but didn’t find this story you are referring to.
962.
by fn-mote 2y ago
That was the point…
963.
by fn-mote 2y ago
Can you say more about this? On the face of it this comment seems ridiculous to me. Z3 is fabulously successful in other domains. Perhaps the problem fit is not there, or the problem encoding chosen was not appropriate.
964.
by fn-mote 2y ago
Wasn’t this exact route taken? Government got cases dismissed for lack of standing - plaintiff could not prove they were being spied on… because the government wouldn’t reveal anything.
965.
by fn-mote 2y ago
> There is plenty of money sunk into all corners of the field but progress is slow … because of mismanagement, just like other large software rewrites that you are probably familiar with. It’s the same problem - updating a complex system
966.
by fn-mote 2y ago
> this type of reductionism doesn't really do justice to ADHD Sure, but the poster lives that life (has adhd) so you should give some credence to that as well. They want others to have an easier road.
967.
by fn-mote 2y ago
I want to echo some of my sibling comments… none of us believe that GOOD software engineering is going anywhere soon. If you can pass a fizz-buzz interview screen, that’s a different story. I would also suggest creating content about to int
968.
by fn-mote 2y ago
Not really. In the US the apprenticeship programs are pretty guarded. You would be better off saving your money wisely.
969.
by fn-mote 2y ago
> in fact, I am interested on too many things at once which doesn't help. Be careful of "surface level work". Your Ph.D. is not going to come from surface level work. It will come from picking something and developing a de
970.
by fn-mote 2y ago
This is not a very good link to post - it's a manpage. A better link (from the developer's git repository): https://mupdf.readthedocs.io/en/latest/mupdf-command-line.ht... Source for mutool: https:&#x2F
971.
by fn-mote 2y ago
That comment you linked to is yours, and flagged. It reads to me like you are still carrying a grudge about one rude interaction. I read that whole thread and I don't want to see it repeated here.
972.
by fn-mote 2y ago
(2013) but I will give it a try.
973.
by fn-mote 2y ago
Please be specific about what you think is dishonest. It sounds like you are conflating a planned information removal with some unspecified amount of upgrade time? Those aren’t equivalent to me.
974.
by fn-mote 2y ago
> 'grassroots movements' directed by adversaries is what got us here This is too pessimistic. Consider successful grass-roots movements: civil rights and maybe anti-war (Vietnam). > and is overwhelmingly unlikely to get us o
975.
by fn-mote 2y ago
From the article: >> For academic scientists, the list of banned activities could include efforts to increase diversity in the scientific workforce, collaborations with foreign scientists, and research on more environmentally friendly
976.
by fn-mote 2y ago
> I think most cops see that as a necessary tool rather than the chief reward. The problem with this view is that there are a lot of high profile cases that are examples of people abusing their power. I am happy to believe that “most cop
977.
by fn-mote 2y ago
We come to HN to read real opinions of real people. Props for saying your post came from AI, but I don’t think AI can add to legitimate dialogue.
978.
by fn-mote 2y ago
> When it writes half the code at our company? Half the code "by volume", maybe. Surely it is not doing any of the intellectual work, planning, architectural decisions, etc., right?
979.
by fn-mote 2y ago
We have had phone company employees here explaining that their company makes a lot of money from scammers/spammers/etc so they do not have an incentive to stop it. How about a law with teeth?
980.
by fn-mote 2y ago
> can’t even hold five complex ideas in their head As an aside, my observation of beginning programmers is that even two (independent) things happening at the same time is a serious cognitive load. Amusingly enough, I remember having the
981.
by fn-mote 2y ago
For readers still in a position to make a choice: interviewing and carefully selecting the lab / professor that you attach yourself to for the PhD is really a good idea! Unfortunately, a lot of people enter the pipeline (in the US) not
982.
by fn-mote 2y ago
I love a Lisp-themed article, but this is such a yawn in 2025. It seems pretty clear that a threading macro which allows the user to place the "hole" being filled wherever they want is the answer. Example: cl-arrows https:/&
983.
by fn-mote 2y ago
You missed the next sentence. > [...] immune to flooding because they allocate the ground floor to parking.
984.
by fn-mote 2y ago
> The queues have been mostly replaced with "take a number" systems where you can sit down and wait... My recent experience was: sign up online and get a 30 min window (9:00-9:30 say). Queue everyone for that 30 minute window o
985.
by fn-mote 2y ago
It looks like the last 20 or so pages of the PDF contain two case studies. I read the first one, which lead to (nondeterministic) kernel errors. Perhaps “hacker” should be “crazy bug debugger”, but anybody who is working with TLB issues is
986.
by fn-mote 2y ago
I'm unclear if this is a real article. It claims to be published in 2025 but it refers to 2022-2025 in the future tense. > [...] Sweden’s putting 104 million euros into bringing books back into classrooms from 2022 to 2025 See the c
987.
by fn-mote 2y ago
Downvotes should not be for disagreeing with content!!
988.
by fn-mote 2y ago
> Are kids actually able to just get on social media on these things? Where there's a will, there's a way. I think the actual interest is in playing games. (IO games, Minecraft online, etc.) By the time they are old enough to b
989.
by fn-mote 2y ago
The effect of 25% inflation over the last five years is that what used to be definitely acceptable ($8000) is now an amount to be reported and questioned ($10000).
990.
by fn-mote 2y ago
Re: Xiaohongshu - see https://news.ycombinator.com/item?id=42714339 Can you explain the connection between "kampf" and strawberries? I don't speak enough German to get it or Google it.

More ›