not-so-darkstar

3 ms·

1.
by not-so-darkstar 22d ago
The machines are gonna kill us! Please support my work—by taking out a premium subscription for just $6 per month.
2.
by not-so-darkstar 23d ago
why suddenly all websites look the same?
3.
by not-so-darkstar 23d ago
To me, the most interesting part is the architecture of the engine. How you encode a position or a move, how you design the move generator, etc. Something as simple as encoding the 64-square board in a 64-bit number leads to a rabbit hole t
4.
by not-so-darkstar 23d ago
>Likely dead due to obvious LLM writing I think it's the look of the page: dark background and bright colours with an halo.
5.
by not-so-darkstar 24d ago
When did twitter became the place where presidents share news? What did they do before it?
6.
by not-so-darkstar 26d ago
shut yo bitch ass up, you n-word >guy from a village in eastern europe
7.
by not-so-darkstar 27d ago
off-topic but anyone knows why these medium.com-like website have so many trackers in them? 100+ blocked by ublock origin
8.
by not-so-darkstar 28d ago
Good to know people's taxes are spent on this stuff
9.
by not-so-darkstar 28d ago
When he started reading latin in a japanese accent I lost it
10.
by not-so-darkstar 28d ago
Use ~/.config/git/ignore to ignore files in all repositories
11.
by not-so-darkstar 28d ago
I think the other commenters are right, as long as the statement of FLT is correct and no funny stuff is used (admitting theorems without proof or defining new axioms) then it doesn't matter what you used in the proof.
12.
by not-so-darkstar 28d ago
What if the mathematical objects are not encoded "correctly"? For example, everyone knows that the natural numbers and simple data structures like lists or trees can be encoded with inductive types, but what about the new objects
13.
by not-so-darkstar 29d ago
You are talking about vim AND emacs but they have completely different approaches, I wouldn't call that solved? If instead of general text editing we talk about specialized editors (for example emacs for lisp or powerful IDES) they&#x2
14.
by not-so-darkstar 1mo ago
>Text editing is a solved problem. I have this sentence so much. Ken Thompson wrote UNIX using a line-editor (QED), judging by his work does it mean text editing was already solved in the 60s?
15.
by not-so-darkstar 1mo ago
do you use the AdGuard app or just the DNS?
16.
by not-so-darkstar 1mo ago
he sure does like talking about steve jobs
17.
by not-so-darkstar 9mo ago
>I built a genetic algorithm simulator with interactive visualizations showing evolution in real-time including complex fitness functions, selection pressure, mutation rates, and more in 1 day. I didn't write a single line of the co
18.
by not-so-darkstar 10mo ago
Don't worry about it! I hope it also prevented you from getting your daily amount of vitamin D
19.
How to Become Unhealthy in One Week(breatheless.substack.com)
2 points by not-so-darkstar 10mo ago|3 comments
20.
by not-so-darkstar 10mo ago
very good stuff, thanks
21.
by not-so-darkstar 10mo ago
The only way to understand compilers is to have already written one.
22.
by not-so-darkstar 10mo ago
goes hard
23.
by not-so-darkstar 10mo ago
it follows the UNIX philosophy of doing one thing and donig it well.
24.
by not-so-darkstar 10mo ago
very thoughtful response, thank you.
25.
by not-so-darkstar 10mo ago
i see they provide WHOIS privacy for free, great! i'm worried about exposing my personal information on the internet. do people really put their personal address there?
26.
Ask HN: Which domain name registrar do you use?
5 points by not-so-darkstar 10mo ago|9 comments
27.
by not-so-darkstar 10mo ago
Yeah, he should also define "you". Is he talking about me, you or himself?
28.
by not-so-darkstar 10mo ago
With all the new CLI tools it looks like the opposite to me. For example the ag, ack, rg history. VS Code still has the same style from 2018.
29.
by not-so-darkstar 10mo ago
I don't think terminal multiplexers (even Zellij which claims not to be one) make the experience better. They make it worse, actually, because when you have a problem there's one more thing to keep track of: Your terminal emulator
30.
by not-so-darkstar 10mo ago
Another fellow GVim user?

More ›