japgolly

7 ms·

1.
by japgolly 5d 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 >.
2.
by japgolly 5d ago
Aren't AI's already G-rated cos of the built-in guardrails?
3.
by japgolly 5d ago
> every OS developer They exempted Linux, from what I remember reading.
4.
by japgolly 5d 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
5.
by japgolly 5d ago
Detecting AI writing is a skill that not everyone has.
6.
by japgolly 7d ago
What does this even mean? In the future it will be considered too big?
7.
by japgolly 7d 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
8.
by japgolly 14d ago
They do have a cli: https://github.com/google-antigravity/antigravity-cli
9.
by japgolly 17d ago
Note: Anhedonia is the inability to feel pleasure or joy.
10.
by japgolly 21d 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.
11.
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
12.
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
13.
by japgolly 1mo ago
Awesome read and absolutely loved the interactivity. A lot of effort was put into this.
14.
by japgolly 1mo ago
KTLO = Keep The Lights On
15.
by japgolly 1mo 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!
16.
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).
17.
by japgolly 2mo ago
There's definitely less Scala jobs on the market these days.
18.
by japgolly 2mo ago
It's about the feedback loop being so slow. Agents often compile and run tests to verify their work
19.
by japgolly 2mo ago
Clicking on Scala results in a 404, same with Perl, same with Terraform
20.
Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js(gist.github.com)
2 points by japgolly 4mo ago|1 comments
21.
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!
22.
by japgolly 4mo ago
Scala is painfully slow to compile too
23.
Show HN: ClearConfig for Java – A modern, highly-composable config library(github.com)
1 points by japgolly 6mo ago|0 comments
24.
by japgolly 6mo ago
Good read here - https://www.luxdb.dev/architecture
25.
by japgolly 5y ago
This is amazing!! Super fast, I can actually enter symbols, search case-sensitively, I love it!
26.
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
27.
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!
28.
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
29.
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
30.
by japgolly 6y ago
That's not how Japanese works. Yes Japanese uses Chinese characters that's only a subset of Japanese. Japanese sentences are typically a bit longer than English in terms of syllables and written length - their main reduction techn

More ›