Viewing profile — japgolly

Awesome read and absolutely loved the interactivity. A lot of effort was put into this.

KTLO = Keep The Lights On

> 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!

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).

There's definitely less Scala jobs on the market these days.

It's about the feedback loop being so slow. Agents often compile and run tests to verify their work

Clicking on Scala results in a 404, same with Perl, same with Terraform

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…

Scala is painfully slow to compile too

Good read here - https://www.luxdb.dev/architecture

This is amazing!! Super fast, I can actually enter symbols, search case-sensitively, I love it!

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 hap…

> 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!

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 nice…

> 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 readin…

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 syllabl…

Oh wow, ClearCase. That's a blast from the past that I'd forgotten even existed. CC was the stuff of nightmares.

There's also ab (Apache Benchmark) which is super simple and can be all you need sometimes.

Wow that's really nice! Thanks for sharing!

Interesting, I'd never heard of Matrix. And a very timely discovery too... I might find myself integrating this with ShipReq in a few months. (Disclaimer: ShipReq dev here)

False comparison. We're not creating a copy of the mutable world, we're writing software. Pretty different. Good luck programming in DNA or whatever and knowing that your code does…

I think the biggest concern is NVIDIA's stance against OSS.