japgolly

5 ms·

1.
by japgolly 11d ago
I assume the author is talking about `fold`, as in `[A] -> B -> ((B,A) -> B) -> B`, and not what I often think of as reduce as `[A] -> ((A,A) -> A) -> A`. `fold` is awesome and super useful. It's the easiest and mo
2.
by japgolly 14d ago
Nitpick for the author: it looks like you've got (a,b] when you actually mean [a,b). Either that or change the ≥ to be >.
3.
by japgolly 14d ago
Aren't AI's already G-rated cos of the built-in guardrails?
4.
by japgolly 14d ago
> every OS developer They exempted Linux, from what I remember reading.
5.
by japgolly 14d ago
> Kunreisiki is also better for serious Japanese learners as it greatly simplifies the description of Japanese grammar: cf. matu/matte/matimasu (all with the same verb stem mat-) vs. Hepburn matsu/matte/machimasu (wit
6.
by japgolly 14d ago
Detecting AI writing is a skill that not everyone has.
7.
by japgolly 16d ago
What does this even mean? In the future it will be considered too big?
8.
by japgolly 16d ago
> our hypodissipative result (which is not public), but as I understand it part of their training data How did it become part of their training data if it wasn't public? /confused
9.
by japgolly 23d ago
They do have a cli: https://github.com/google-antigravity/antigravity-cli
10.
by japgolly 26d ago
Note: Anhedonia is the inability to feel pleasure or joy.
11.
by japgolly 1mo ago
Ignoring the fact that their NAT was apparently wide open with no domain rules, a simple dashboard over their NAT showing requests grouped by domain could've gotten them a long way.
12.
by japgolly 1mo ago
1) With formal verification you can prove properties about your system. With extensive testing you can also do the same but you need to take care and make sure you cover all possible cases. 2) With formal verification you can easily test
13.
by japgolly 1mo ago
In my opinion, it's not very different than writing an implementation of quicksort by looking at pseudocode in an algorithms book. You still need to write unit/property tests for your implementation if you want to verify it to be
14.
by japgolly 2mo ago
Awesome read and absolutely loved the interactivity. A lot of effort was put into this.
15.
by japgolly 2mo ago
KTLO = Keep The Lights On
16.
by japgolly 2mo ago
> It’s time for AI to prove its unequivocal value to the world, and what better way to demonstrate that than to help finally cure diseases like cancer. What a worthy goal!
17.
by japgolly 2mo ago
The code doesn't work. I pasted in the full code at the end into Lean Web, and it gives 4 errors and a warning (all in the lemmas).
18.
by japgolly 3mo ago
There's definitely less Scala jobs on the market these days.
19.
by japgolly 3mo ago
It's about the feedback loop being so slow. Agents often compile and run tests to verify their work
20.
by japgolly 3mo ago
Clicking on Scala results in a 404, same with Perl, same with Terraform
21.
Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js(gist.github.com)
2 points by japgolly 4mo ago|1 comments
22.
by japgolly 4mo ago
In 2013 I began work on ShipReq — an ambitious project to rethink how requirements are stored and maintained. Today I’m choosing to open-source this, my life’s work and magnum opus. I hope someone somewhere enjoys this!
23.
by japgolly 5mo ago
Scala is painfully slow to compile too
24.
Show HN: ClearConfig for Java – A modern, highly-composable config library(github.com)
1 points by japgolly 6mo ago|0 comments
25.
by japgolly 6mo ago
Good read here - https://www.luxdb.dev/architecture
26.
by japgolly 5y ago
This is amazing!! Super fast, I can actually enter symbols, search case-sensitively, I love it!
27.
by japgolly 5y ago
It takes orders of magnitude more effort to counteract bullshit than it does to produce it. Your opinion doesn't scale and not only is it easily exploitable by bad actors, it's happening in practice all over the place these days a
28.
by japgolly 6y ago
> linear-typed arrays can perform in-place updates if there are no external pointers to the data. Holy crap! That's amazing and I hadn't thought of that!
29.
by japgolly 6y ago
Wow thanks! I didn't understand that despite being able to read and write Japanese! Sarcasm aside you don't seem to have a very deep understanding so maybe you should be a bit nicer when expressing your opinion. > 1 kana repres
30.
by japgolly 6y ago
> If you're familiar with Blaze / Bazel, Buck or Pants you will probably find Please very familiar Yes, so why would I use Please over any of them? I've spent close to 10min reading and have no idea why this exists or why

More ›