p4bl0

17 ms·

301.
by p4bl0 2y ago
I really love nano. It's so cool to have an easy to use fast and reliable code editor with just a bit more than basic functions. I often see it dismissed as too basic while in reality with a minimal amount of configuration nano support
302.
by p4bl0 2y ago
Have you given Dotclear a try?
303.
by p4bl0 2y ago
I remember a time when WordPress was "easy". Nowadays starting from a clean install and customizing the appearance and modules has actually become quite difficult. Even the usage workflow feels bloated. These days I prefer Dotclea
304.
by p4bl0 2y ago
I guess using a .ml domain is okay for something that explicitly needs to work temporarily, but since the freenom scandal I wouldn't trust such domains.
305.
by p4bl0 2y ago
Genuine question: how does the moon phase influence its gravity effect?
306.
by p4bl0 2y ago
I submitted this link yesterday, I hesitated on the title because the nethack reference would have been a good one but decided against it to avoid spoiling the bug, but as a result it didn't get traction. Too bad for HN readers that th
307.
AI for nethack: "weirdest bug in my CS career"(twitter.com)
9 points by p4bl0 2y ago|1 comments
308.
by p4bl0 2y ago
Indeed!
309.
by p4bl0 2y ago
Ah, yes, I didn't know about the all property! Thanks :).
310.
by p4bl0 2y ago
> I agree with this, but it would also be a nightmare for people trying to make their own styles. Even the current default styles are a bit annoying for this. The obvious solution would be a CSS instruction that really reset (like everyt
311.
CHES 2024 crypto-engineering challenge(ches.iacr.org)
2 points by p4bl0 2y ago|0 comments
312.
KDE Gear 24.05(kde.org)
3 points by p4bl0 2y ago|0 comments
313.
What Does a Great Cup of Coffee Taste Like? [video](youtube.com)
1 points by p4bl0 2y ago|0 comments
314.
Using Simple Tools as an Act of Independence(untappedjournal.com)
3 points by p4bl0 2y ago|0 comments
315.
Web Export in Godot 4.3(godotengine.org)
4 points by p4bl0 2y ago|0 comments
316.
by p4bl0 2y ago
Note to interested readers: I submitted this blog post because it is less directly versed in cryptocurrency-related stuff than other posts from the same blog, but there are many more technically interesting posts there, especially the last
317.
Translation of Rust's core and alloc crates to Coq for formal verification(formal.land)
358 points by p4bl0 2y ago|116 comments
318.
by p4bl0 2y ago
Yes, and the first sentence of the post should have "a window" rather than "a Windows", because as is it add to the title's confusion between X windows and MS Windows.
319.
by p4bl0 2y ago
Can someone explain why a relevant peer-reviewed paper reference got downvoted?
320.
by p4bl0 2y ago
KDE Connect allows you to send individual files both ways and also to browse files on your phone from your computer. It is also capable of sharing the clipboard and open link from one device to another, as well as controlling input (mouse a
321.
by p4bl0 2y ago
Regarding 2 and 3: depending on the type of computations you need to do there are ways to verify the integrity of a delegated computation with very high confidence for very low cost. Typically if you're computations happens in a modula
322.
by p4bl0 2y ago
I use KDE Connect for that. Have you given it a try?
323.
Five stages of accepting provably robust anonymization(desfontain.es)
1 points by p4bl0 2y ago|0 comments
324.
by p4bl0 2y ago
That's how it works in many languages. French being one for example (an unbreakable space before all double punctuation such as '?', '!', ':', ';', etc.). The author probably just isn't a na
325.
by p4bl0 2y ago
At the university I work at, Université Paris 8 Vincennes–Saint-Denis , where Gilles Deleuze was a faculty and one of the founder of the philosophy department (along with Michel Foucault, François Chatelet, François Lyotard, and René Scher
326.
by p4bl0 2y ago
What are the use cases beyond tracking that make the tradeoff worth having 3rd party cookies?
327.
by p4bl0 2y ago
I stumbled upon this project approximately a week ago and submitted it here but it didn't get any traction. Glad to see it has made the front page. I like it when some hacky for-the-fun-of-it projects like this one make it here :).
328.
by p4bl0 2y ago
I'm sure it's not on purpose, but that sounds like fear-mongering against the AGPL license. None of the concerns raised here are remotely true. No worries :).
329.
by p4bl0 3y ago
Let's not forget that nowadays each pointers takes 8 bytes (64 bits) instead of 4 bytes like it was the case on 32 bits systems most of us grew up using, and often have the numbers for in mind. Executables are bigger because of that, a
330.
Topfew (command-line util) release 0.5(tbray.org)
3 points by p4bl0 3y ago|0 comments

More ›