Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gf000
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
36 ms
·
841.
▲
by
gf000
1y ago
Even kernel anti-cheat can be defeated, this is a similar fight to what captchas have. I can just have my screen recorded and have a fake input signal as my mouse/keyboard.. or just simply hire a pro player to play in my name, and it&#
842.
▲
by
gf000
1y ago
> It also doesn't have the fragmentation that Java or JVM langs has What fragmentation? Honest question
843.
▲
by
gf000
1y ago
Doesn't Text.Json have a much narrower scope and plenty of features supported by Newtonsoft not available?
844.
▲
by
gf000
1y ago
> and most language features don't feel bolted on like with Java (anything from functional programming to extension methods to whatever) Java doesn't have extension methods and while both are decent languages, C# is the one tha
845.
▲
by
gf000
1y ago
> Documentation is vastly better compared to Java ones, it's like day and night This is absolutely not my experience, especially when it comes to the ecosystem and third-party libraries. Like Java is pretty much the best in this cat
846.
▲
by
gf000
1y ago
> What went wrong? Well, we have FP at home. It just got ingrained into pretty much every mainstream language, and most [1] of the wins can be had even when it's applied to certain parts of the code base only. Like, Java has immutab
847.
▲
by
gf000
1y ago
AFAIK it's discontinued since, but AWS had a service where you could send data via a huge truck https://aws.amazon.com/blogs/aws/aws-snowmobile-move-exabyte... , it's absolutely not a fantasy.
848.
▲
by
gf000
1y ago
Well, just replace micro-SD card with HDDs and it is pretty much how it works in the real life for absolutely massive data sizes. Also, packing it up "taking forever" is irrelevant, that's latency, not bandwidth.
849.
▲
by
gf000
1y ago
> Human language and reasoning seems flexible enough to form some kind of spatial understanding, but I'm not so sure about the converse of having spatial intelligence derive human reasoning I believe the zero hypothesis would be tha
850.
▲
by
gf000
1y ago
Well, PLs with effect systems are basically meant to solve exactly this problem. E.g. a generic `map` function can become throwing if it handles throwing lambdas, but are otherwise non-throwing - this is pretty much the main pain point with
851.
▲
by
gf000
1y ago
Well, this obviously depends on a given programming language/culture, but in my mind I would say in case of parsing a string to an int it is an expected case that it could fail, so I would model it as a Return type of an Int or a Parsi
852.
▲
by
gf000
1y ago
We also had JSF, which was even cooler - being able to reconstruct the state server-side. It was ridiculously fast to write complex form-driver websites with that! No DTOs/schemas in different languages, no worry about how the client c
853.
▲
by
gf000
1y ago
> and total energy usage Surprisingly, Java is right behind manual memory managed languages in terms of energy use, due to its GC being so efficient. It turns out that if your GC can "sprint very fast", you can postpone runni
854.
▲
by
gf000
1y ago
A native library is an obvious memory safety hole so I don't see why would it be that controversial to want to fill it even if it introduces another GC (but working on an independent heap, so the slowdown is not necessarily multiplicat
855.
▲
by
gf000
1y ago
There are obviously multiple levels of correctness. Formal verification is just the very top of that spectrum, but it does comes at extraordinary effort.
856.
▲
by
gf000
1y ago
I can only quote (from the top of my head) the Android team's findings, that having a C++ codebase extended with Rust cut down significantly on the number of memory safety-related issues. The reasoning was that since the stable C++ cod
857.
▲
by
gf000
1y ago
Why not proxy the network calls only then and use a real browser?
858.
▲
by
gf000
1y ago
But.. why? Like I do get the occasional need where it's easier to just see an html page in the terminal, but why would you render to a low-resolution 2D buffer with random character-hacks with a huge amount of overhead, over having a r
859.
▲
by
gf000
1y ago
That's not a computation, it's a side effect. It just depends on what you wire your "computer" up to. A Turing machine in itself is just a (potentially non-returning) mathematical function, but you are free to map any in
860.
▲
by
gf000
1y ago
Game of life, PowerPoint, and a bunch of non-PL stuff are all Turing-complete. I don't mix up terms, I did use a slightly sloppy terminology but it is the correct concept - and my point is that we don't know of a computational mod
861.
▲
by
gf000
1y ago
Consciousness has no agreed upon definition to begin with, but I like to think of it as to what a whirlwind is to a bunch of air molecules (that is, an example of emergent behavior) So your question is, are two whirlwinds with identical pro
862.
▲
by
gf000
1y ago
What people are interested in is finding a definition for intelligence, that is an exact boundary. That's why we first considered tool use, being able to plan ahead as intelligence, until we have found that these are not all that rare
863.
▲
by
gf000
1y ago
> Imagine we assume that A.I. could be conscious. What would be the identity/scope of that consciousness Well, first I would ask whether this question makes sense in the first place. Does consciousness have a scope? Does consciousne
864.
▲
by
gf000
1y ago
Well, if you were to magically make an exact replica of a person, wouldn't it be conscious and at time 0 be the same person? But later on, he would get different experiences and become a different person no longer identical to the fir
865.
▲
by
gf000
1y ago
> It's not a living thing inside the computer, it's just the inference building text token by token using probabilities based on the pre-computed model. Sure, and humans are just biochemical reactions moving muscles as their in
866.
▲
by
gf000
1y ago
Well, unless you believe in some spiritual, non-physical aspect of consciousness, we could probably agree that human intelligence is Turing-complete (with a slightly sloppy use of terms). So any other Turing-complete model can emulate it, i
867.
▲
by
gf000
1y ago
Who said that systemd doesn't run on it? Also, what's bloated about systemd? It's a C binary, while I suppose you are into a ridiculous line-by-line textual interpreter?
868.
▲
by
gf000
1y ago
Who is the supposed agent mastermind singlehandedly developing Wayland and deprecating X11? You do realize there are multiple people working (having worked) on both in their free time and each have agency and their own incentives. Separate
869.
▲
by
gf000
1y ago
If I have a kiosk terminal, why would I want the overhead of, say, screensharing? Also, isn't this the point of libraries , so that you only have to implement stuff once, and you can reuse it in different projects? Like you can build
870.
▲
by
gf000
1y ago
A game doesn't necessarily have to process input at the same rate as it displays frames, does it?
More ›