gjadi

11 ms·

91.
Intel Set to Exit NUC PC Business – Pushes Partners to Develop More SFF PCs(anandtech.com)
1 points by gjadi 3y ago|0 comments
92.
Floating Sandbox – Two-dimensional particle system simulator(floatingsandbox.com)
1 points by gjadi 3y ago|0 comments
93.
by gjadi 3y ago
https://www.omecha.info/blog/ 11 posts, about programming and sysadmin. - https://www.omecha.info/blog/when-good-code-goes-nan-how-mis... - When Good Code Goes NaN: How mismanaging Java's Uno
94.
by gjadi 3y ago
Found an online review of the book: https://gist.github.com/seece/25ed1b2108cf5782718b026382f2c5...
95.
by gjadi 3y ago
I think he's referring to subs diving specifically to the Titanic.
96.
by gjadi 3y ago
Thanks I'll look into it.
97.
Ask HN: Books to learn about Arabic text processing
2 points by gjadi 3y ago|3 comments
98.
Bigloo Scheme(www-sop.inria.fr)
2 points by gjadi 3y ago|0 comments
99.
by gjadi 3y ago
I don't understand what you're trying to say. The article says that there is no such thing as "learned helplessness". To match what the article says, I can turn your example into: when you don't know how to read, re
100.
by gjadi 3y ago
My understanding is that "learned helplessness" is not "unlearned control" but "not-learned control". Someone who can't read isn't someone who forgot how to, but someone who never learned how to. I th
101.
Munin Monitoring(munin-monitoring.org)
1 points by gjadi 3y ago|0 comments
102.
by gjadi 3y ago
Yes but pledge works at the source level. It's the job of the developer to set the correct pledge calls.
103.
by gjadi 3y ago
Wisdom of the crowd is the hypothesis made here I guess.
104.
by gjadi 3y ago
Here are the factors proposed by Code Complete (2nd edition): - baseline: a program, designed by and destined to the same entity (programmer = customer) - a product (3x): designed by an entity destined to another entity (customer). - a syst
105.
by gjadi 3y ago
Interestingly, a year ago, this post was submitted: https://news.ycombinator.com/item?id=31562478 Friendships form via shared context, not shared activities (billmei.net)
106.
OS Scheduling(queue.acm.org)
1 points by gjadi 3y ago|0 comments
107.
by gjadi 3y ago
Thanks!
108.
by gjadi 3y ago
In this context, what would be useful is something like a linker-pruning at the source level. That is, when your code is compiled, the linker can prune code that is never called. Then a feedback mechanism could show which part of the code i
109.
by gjadi 3y ago
This. I'm not good at prompting (if I believe what others say they can do with ChatGPT), but that's one thing that bother me with this system. They will do anything you ask them to without questioning it (in the limit given by the
110.
More Than Just Algorithms(queue.acm.org)
33 points by gjadi 3y ago|5 comments
111.
by gjadi 3y ago
> Whatever key combinations were required to enter data on the terminal had become so ingrained that if you asked her how to do it, she would have to look at what her hands did. (weird). As an Emacs user, I'm like that too. I don&#x
112.
by gjadi 3y ago
I'm not sure why they would fail if they really wanted to. From what I understand, currently, the ads are distinct videos, which is why external tools can block them. For example, you don't get ads with youtube-dl. But if Youtube
113.
by gjadi 3y ago
You could use TLA+ to model the data structure operations and check the invariant. Checking the invariant with assert is also useful in my limited experience with concurrency. https://lamport.azurewebsites.net/tla/tla.h
114.
Legacy Code Rocks – Explore the world of modernizing existing software(legacycode.rocks)
2 points by gjadi 3y ago|0 comments
115.
by gjadi 3y ago
Probably because they aren't programming languages in the sense you won't produce a program = executable with it, but rather a proof.
116.
Rust's Most Unrecognized Contributor (2021)(brson.github.io)
4 points by gjadi 3y ago|0 comments
117.
by gjadi 3y ago
Any books or links you recommend? Also, won't learning two things at once be harder than learning each independently?
118.
Know only things to be dangerous in OpenSCAD – Cubehero Blog (2013)(cubehero.com)
1 points by gjadi 3y ago|1 comments
119.
by gjadi 3y ago
"There are two types of companies: the ones people complain about, and the ones nobody has heard of."
120.
by gjadi 3y ago
Is this the beginning of the Thanatonautes? https://en.wikipedia.org/wiki/Les_Thanatonautes

More ›