nequo

8 ms·

31.
by nequo 2y ago
Do you think that the conspirators staged the boat trip by actively planning for a waterspout? What is the probability of a conspiracy like that succeeding?
32.
by nequo 2y ago
Maybe the thought of buying one brings up mental images of going broke? Decent hardware that Linux is happy with is definitely much cheaper than a decent MacBook.
33.
by nequo 2y ago
What are those engagement bots for? Are they farming followers and turn into disinformation machines later? Or is that only to drive engagement to cultivate ad revenue for Twitter, or for some “brand” that is adjacent to their topic?
34.
by nequo 2y ago
Go prioritizes simplicity and pragmatism which is much more like OCaml than Haskell. Haskell is more like a Rust of FP. But Rust is also much more pragmatic than Haskell.
35.
by nequo 2y ago
Do you get a US salary? What I’ve heard is that the same company pays much lower wages in the EU than in the US. (With the EU job coming with more non wage amenities like paid vacation, maternity leave, as discussed, and guaranteed healthca
36.
Tony Hawk's Pro Strcpy [video](youtube.com)
2 points by nequo 2y ago|0 comments
37.
by nequo 2y ago
A constant in a codebase is not “uttered somehow at some point.” It is a fixture for everyone to see until it is changed by another commit.
38.
by nequo 2y ago
Have you tried talking about testicles in a work meeting? Genuine question.
39.
Amazon says US labor watchdog that filed labor charges violates constitution(theguardian.com)
4 points by nequo 2y ago|0 comments
40.
by nequo 2y ago
I’m not offended. It is unprofessional. Talking about sex at a workplace that is not about sex is going to be offputting to many people who are not there to have sex.
41.
by nequo 2y ago
I mean, 0xDDDB00B5 is about as appropriate in a codebase as 0xB166D1C5 or 0x73571C23 would be. Which is to say, it isn’t.
42.
by nequo 2y ago
> Also, didn't OCaml have weak support for concurrency? Has that changed recently? OCaml has had Lwt for concurrent IO for long enough that it is now being deprecated in favor of Eio[1]: https://github.com/ocsigen&#x
43.
by nequo 2y ago
Which institutions have been growing? For example, the overall number of government employees has been relatively stable since the 2007 crisis: https://en.wikipedia.org/wiki/Government_employees_in_the_Un...
44.
Microcode (0x129) Update for Intel Core 13th and 14th Gen Desktop Processors(community.intel.com)
2 points by nequo 2y ago|1 comments
45.
by nequo 2y ago
You can say that “comment” is a French word. But it’s also an English word. Every language that we speak today draws on the vocabulary of others.
46.
by nequo 2y ago
As an acceptable compromise we can separate all punctuation and put it at the end of the paragraph Although some oldfashioned enthusiasts of the Chicago Manual of Style will object But I think its good to bring some fresh ideas to our old a
47.
by nequo 2y ago
It’s also English. It means the left side page of a book. https://en.wiktionary.org/wiki/verso#English
48.
by nequo 2y ago
I hope that this project will succeed. Incidentally, Verso is also the name of Lean 4’s DSL for typesetting documentation.[1] We are running out of words in the English language. [1] https://github.com/leanprover/verso
49.
by nequo 2y ago
Parent was not complaining. Parent was asking what the rationale is behind maintaining a separate LLVM fork instead of upstreaming and reducing the maintenance burden on Apple engineers.
50.
by nequo 2y ago
> not allowing any sort of expression of or reference to someone's … gender identity So the use of he/she is banned by those projects?
51.
by nequo 2y ago
The problem is that those essays were written right after the 1990s when Common Lisp was much more ahead of other languages and when static typing hadn’t yet taken the form that is popular today. Back then, your alternatives were C/C++
52.
Mel Chua RIP(lwn.net)
8 points by nequo 2y ago|1 comments
53.
by nequo 2y ago
> A Turing machine as an infinite long tape, and even if it takes 10 times the time to the heat death of the universe x<y will halt. > Finite time is not practical time. Sorry for my daftness but if x and y are both a transcendenta
54.
by nequo 2y ago
Is x < y decidable or semidecidable? If x and y are the same number, then a Turing machine that compares the digits of x and y to determine whether x < y will never terminate. Doesn’t this mean that x < y is not decidable?
55.
by nequo 2y ago
Yes. The Computer History Museum has a two part interview with Steve Naroff, one of the engineers who worked on Objective C: https://youtu.be/ljx0Zh7eidE https://youtu.be/vrRCY6vwvbU
56.
by nequo 2y ago
Seems false. They did quite a few things. They passed the Affordable Care Act. They oversaw the recovery from the 2007-2008 crisis that engineers talk about to this day. They got two SCOTUS justices confirmed too.
57.
by nequo 2y ago
What makes them better than AMD in your view?
58.
by nequo 2y ago
Apps on your tiny computer are engineered to get you hooked. The time that you spend on it is time that you cannot spend making and cultivating face-to-face friendships. As far as I can tell, friendships are necessary for mental health. So
59.
by nequo 2y ago
And in the functional world, Lean 4 achieves language level support for local mutation, early return, etc. in the same way, by converting it into non-mutating code: https://dl.acm.org/doi/10.1145/3547640
60.
by nequo 2y ago
I was wondering why and it looks like a new trait implementation in std made a type placeholder ambiguous in older versions of time? time was caught in a crater run when a new trait implementation was added to the standard library. Whil

More ›