Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
arijun
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
14 ms
·
211.
▲
by
arijun
2y ago
Will there be another solution for the desynchronization of SI days and solar days? It looks like there’s been about 25 seconds difference in the past 30 years or so.
212.
▲
by
arijun
2y ago
So can the Mercator projection (or any projection really). Why is the author complaining about the California-Japan distance when they can just recenter near there? Point being, recentering is not the answer.
213.
▲
by
arijun
2y ago
My fear is that such a regulation would end up being a net negative for the consumer. Apple would protect MacBook sales in other ways, e.g. crippling iPad hardware. Genuine question: if it was a net negative, would that still be worth it in
214.
▲
by
arijun
2y ago
Doesn’t tree sitter make it pretty easy to add highlighting?
215.
▲
by
arijun
2y ago
Other way around, 100 Mbps down and 20 up.
216.
▲
by
arijun
2y ago
I mean, yes, there was a problem, but if more issues don’t develop, this still seems to be a huge breakthrough for quadriplegics. The guy still uses it extensively when he has free time. And that’s assuming they can’t resolve the issue befo
217.
▲
by
arijun
2y ago
If you use a French press for cold brew, be aware that the harder you press, the more bitter it will come out. I use a $5 nut milk bag instead, it lets me brew way more at once; I do 1/4 kilo grounds with 2 liters of water. It also has
218.
▲
by
arijun
2y ago
Very powerful imagery, but I had to look up what it was: a recruitment video for US Army Psyops > The Army’s psychological warfare soldiers are using their brand of mental combat to bring in what the service needs: recruits
219.
▲
by
arijun
2y ago
In a few fields of rust we are starting to see a convergence of lower level libraries that then can be shared amongst the higher level crates. For example, wgpu is seeing broad use across a bunch of libraries from game engines to UI librari
220.
▲
by
arijun
2y ago
> non-deterministic artificial intelligence Is it really non-deterministic, or is that just a misinterpretation of the opacity in deep learning algorithms? If the word choice isn’t a mistake, I wonder what the non-determinism adds.
221.
▲
by
arijun
2y ago
That seems like a recipe for nefarious code insertion.
222.
▲
by
arijun
2y ago
If you’re worried about bit-flipping, you could just store multiple copies of the hash and then do voting, since it’s small. If you’re worried about correlated sources of error that helps less, though.
223.
▲
by
arijun
3y ago
(I can’t respond to your other comment) Ah I see, you’re saying that the construction of a list in F# mandates a lambda, thereby reducing one possible point of confusion. I could agree with that. But then it comes at a cost of comfort: [0]*
224.
▲
by
arijun
3y ago
Are you saying f# special-cases something that looks like a closure, but isn’t in this one context? Because that, to me, seems like a much more grievous issue than the one at hand.
225.
▲
by
arijun
3y ago
Why are you comparing functions/closures with values? You can do the same in python: [list() for _ in range(4)]
226.
▲
by
arijun
3y ago
Languages with immutable data structures are relatively rare. With its high level focus python could have been one of them, but went for different trade offs. > In more sane languages, the expression [] means give me an empty list value,
227.
▲
by
arijun
3y ago
Languages with immutable data structures are relatively rare. With its high level focus python could have been one of them, but went for different trade offs. > In more sane languages, the expression [] means give me an empty list value,
228.
▲
by
arijun
3y ago
My point was that both are static, but you’re right that one being done at the type checking stage probably makes a big difference in the feasibility. > the potential to produce surprising results That’s actually the big reason for tha
229.
▲
by
arijun
3y ago
If, as another poster claimed, the data never leaves your device, you absolutely can have privacy. Some people might prefer a stricter form, but it’s not nothing.
230.
▲
by
arijun
3y ago
The case at the beginning, where we know our pattern is irrefutable but the compiler doesn't (let (x, 2) = (1, 1+1)) ,is something the compiler could easily prove (as long as the irrefutably could be proven locally as it is here). At f
231.
▲
by
arijun
3y ago
I don’t think it’s a given that people do. Also what does that have to do with the article?
232.
▲
by
arijun
3y ago
What does “isn’t afraid of the letter S” mean?
233.
▲
by
arijun
3y ago
What about suspending the ethanol like in alcohol gel? Could we find a gelling agent that is less irritating than the quat disinfectant residue?
234.
▲
by
arijun
3y ago
I wonder if you could use the multilingual capabilities to workaround it's own censorship? I.e. what would happen if you asked it to translate the query to English, asked it in English, and then asked it to translate back to Chinese.
235.
▲
by
arijun
3y ago
I always assume that any difficult/annoying anti-fingerprint techniques make you more identifiable instead of less, since very few people do them.
236.
▲
by
arijun
3y ago
It’s funny because lisp enthusiasts will say “yes, lisp is harder to learn with all the parentheses, but trust me, it’s worth it” And then list some actual benefits. Whereas APL fans will insist it’s not hard while listing no benefits besid
237.
▲
by
arijun
3y ago
The lack of familiarity was exactly my point? If you make a new language with a + symbol but spelled out the other functions, newcomers would understand it immediately. If you have whatever that Christmas tree symbol is, newcomers will be c
238.
▲
by
arijun
3y ago
An obvious compromise is to have a dual representation, one terse and one that’s spelled out. You could then toggle between them when seeing unfamiliar symbols. The fact that nobody selling me on these arcane runes talks about something lik
239.
▲
by
arijun
3y ago
The white paper answered me right in the abstract! > …written in Rust, addressing a challenge in real-world use of logic programming languages: the fact that logical programs are parts of bigger software systems and need to interoperate
240.
▲
by
arijun
3y ago
Looks cool, although I wonder a bit at the benefit of writing it as a dsl in Rust. It seems like you would usually write the whole program in the dsl and just hit run in regular Rust.
More ›