skulk

17 ms·

241.
by skulk 2y ago
Emacs seems to fit what you're describing pretty closely. It can render as a GUI and TUI even though the GUI can display things the TUI can't (like fonts/images)
242.
by skulk 2y ago
This might interest you if you like the idea of proving properties of programs. https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_corresp... It's actually not a lot of work and very rewarding to write a proof-c
243.
by skulk 2y ago
Almost anything would have been better than what they actually did.
244.
by skulk 2y ago
I agree, mostly because it's already being done! https://www.youtube.com/watch?v=V2YDApNRK3g https://www.youtube.com/watch?v=bEXefdbQDjw
245.
by skulk 2y ago
It's hard to read or watch Al Jazeera's reporting on this matter without feeling utterly disgusted at how a certain military is treating a civilian population (be it in Gaza or the West Bank). They make the Israelis and the IDF lo
246.
by skulk 2y ago
our saliva already contains hydroxyapatite. What's the reasoning behind including it in a toothpaste? Saliva doesn't contain enough?
247.
by skulk 2y ago
For those who don't want to watch a video, the term to google is "ablaut reduplication"
248.
by skulk 2y ago
one advantage of this over do-notation is brought up in the article (though not explicitly): you can bind multiple things in a single expression. In Haskell, you'd have to do do x <- getx; y <- gety; x+y In roc you can d
249.
by skulk 2y ago
I'm having a really hard time understanding the point of your comment. Let's peel back a layer of sarcasm here, evidenced by your use of the word "goons." You think it's wrong for the state to enforce a rule that pr
250.
by skulk 2y ago
feeding an entire DOM tree into an LLM and waiting for the response sounds like a terrible thing to include in a latency-sensitive render pipeline.
251.
by skulk 2y ago
Is a SVP of a trillion-dollar publicly traded company legally considered a public figure? If so, the bar for defamation is a lot higher because they need to show malice. https://firstamendment.mtsu.edu/article/public-fi
252.
by skulk 2y ago
Sounds like you'd enjoy studying Vedic Sanskrit.
253.
by skulk 2y ago
it looks like you and everyone else responding to me need to go read about the Vedas. They have been passed down for millenia and contain a form of error-corrrcting code that ensures fidelity. If you dispute the accuracy of this mechanism,
254.
by skulk 2y ago
shades of https://www.newyorker.com/cartoon/a16995
255.
by skulk 2y ago
Because everyone here is a temporarily embarrassed technocapitalist overlord.
256.
by skulk 2y ago
Diagonalizations are some of the easiest to understand, yet most profound proofs in math. Another example is the proof that any continuum is larger in cardinality than the set of integers. https://en.m.wikipedia.org/wiki&#x2
257.
by skulk 2y ago
> If we lived in such a world [with no persistent writing] there would be no culture; because we couldn’t transmit across many generations what we had learned in our lifetime Except oral traditions exist and have been passed down for tho
258.
by skulk 2y ago
well, yeah, sorry. I was just trying to make a point in the sharpest way possible.
259.
by skulk 2y ago
Same in LA! I saw an entire train plastered with a mullvad ad on the outside. The ad didn't even say "Mullvad", it just had the logo and some "free the Internet" slogans. Truly bizarre.
260.
by skulk 2y ago
I'll voice the obvious objection to this: what happens if you share everything you do, then someone else stands on your shoulders and invents a world-changing technology, then refuses to share it back and completely ignores your patent
261.
by skulk 2y ago
"I think you, K0balt, are a very poor quality person." I like that sentence. I think it's true. But come on, I would never leave a comment starting like that on HN, it would go against the guidelines and be plain rude.
262.
by skulk 2y ago
I get the feeling that if someone understands how to square x + dx and can also follow the similar triangle argument on the next page, they'll be totally fine studying calculus starting with limits instead of this.
263.
by skulk 3y ago
I wonder if instead of shrinking the text geometrically when zoomed out, you could shrink it semantically (with a LLM or something similar) as in the wikipedia image ZUI example. Of course this would require an enormous amount of pre-proces
264.
by skulk 3y ago
No, that's pretty much exactly where I am with this as well. There are two classes of people in this world, those who sell their labor to live and those who live off the labor of others, neither because of their ingenuity or efficiency
265.
by skulk 3y ago
Yeah, that brought a tear to my eye. Then, > Of course I spent it. Why else take it? Money taken like that should not be spent on necessities of life but on luxuries of life. Necessities of life are the proper destination of grim jobs wi
266.
by skulk 3y ago
> I also have access to an unprecedented amount of free entertainment, free knowledge, the cheap supercomputer in my pocket allows me to stay in touch with anyone that I want, and when I go to the doctor, I probably won't see people
267.
by skulk 3y ago
I think the point is: if you truly want something, you'll get it or die trying. Being happy, then, is at some point accepting that you don't actually want the things you don't have yet.
268.
by skulk 3y ago
Deliciously rich to claim I'm the one stirring shit up while you accuse me of desiring the end of humanity. Get some help man.
269.
by skulk 3y ago
> But they're neither smart enough nor quite so self-aware that it's designed to deliberately lower fertility rates So who's doing this deliberation? Again, you're pointing to a conspiracy but also denying its existen
270.
by skulk 3y ago
Actually, financial fraud sentencing guidelines add an extra number of years to the sentence that grows by the log of the money stolen: https://www.ussc.gov/sites/default/files/pdf/guidelines-manu...

More ›