extrabajs (u/extrabajs)

extrabajs commented on AI is wiping out entry-level tech jobs, leaving graduates stranded restofworld.org/2025/engi... · Posted by u/cratermoon

llmslave · 10 days ago

My senior SWE job at FAANG has essentially turned into prompting Opus 4.5.

There is almost no reason to delegate the work, especially low level grunt work.

People disputing this are either in denial, or lacking the skill set to leverage AI.

One or two more Opus releases from anthropic and this field is cooked

extrabajs · 10 days ago

> lacking the skill set to leverage AI

It possible that your job is simply not that difficult to begin with?

extrabajs commented on Modern Walkmans walkman.land/modern... · Posted by u/classichasclass

al_borland · 17 days ago

As someone who grew up with cassette tapes, I don’t anticipate this fad lasting too long. They were very inconvenient. With most technology I see resistance from people not wanting to move on. I don’t remember seeing that with cassettes. The only downside of CDs was that you couldn’t record from the radio and Napster eventually solved that better than radio ever did.

Minidisc is the format I have some nostalgia for. It never blew up, but it felt like the best of both worlds. You could record from the radio like a digital cassette tapes, and even trim out the DJ and reorder tracks… and give them names. You could also buy them like a CD. From a digital file you could use a TOSlink cable to get a great quality recording at home. And the later ones even played MP3s directly. It could really do it all.

extrabajs · 17 days ago

> They were very inconvenient.

They were also very affordable!

extrabajs commented on Modern Walkmans walkman.land/modern... · Posted by u/classichasclass

otabdeveloper4 · 17 days ago

> has low resilience to physical damage

No it doesn't. As a child, one time I tried to make a CD unplayable and literally couldn't do it. (Sandpaper didn't do the trick.)

The real issue was the skipping when you tried to use a portable CD player.

extrabajs · 17 days ago

They must’ve had a really robust kind of CDs wherever you lived, then. Like everyone else, I wore out a lot of discs simply by storing them outside their case.

extrabajs commented on AI assistants misrepresent news content 45% of the time bbc.co.uk/mediacentre/202... · Posted by u/sohkamyung

menaerus · 2 months ago

A bucket of 30 questions is not a statistically significant sample size which we can use to support the hypothesis which goes to say that all AI assistants they tested are 45% of the time wrong. That's not how science works.

Neither is my bucket of 30 questions statistcally significant but it goes to say that I can disprove their hypothesis just by giving them my sample.

I think that the report is being disingenious and I don't understand for what reasons. it's funny that they say "misrepresent" when that's exactly what they are doing.

extrabajs · 2 months ago

Statistically significant... sample size? Support the hypothesis?

extrabajs commented on Gaussian integration is cool rohangautam.github.io/blo... · Posted by u/beansbeansbeans

extrabajs · 7 months ago

What is Fig. 1 showing? Is it the value of the integral compared with two approximations? Would it not be more interesting to show the error of the approximations instead? Asking for a friend who isn’t computing a lot of integrals.

extrabajs commented on Programming language Dino and its implementation github.com/dino-lang/dino... · Posted by u/90s_dev

johnisgood · 7 months ago

I do not know how to interpret the benchmarks. OCaml is really fast, so the numbers do not make sense to me, at a quick glance. Is it worse or better to Python or Ruby according to the benchmark? I would like to see the code, too, because if it is that much slower than Python or Ruby, then there is a serious problem with the implementation.

extrabajs · 7 months ago

Guessing from the text that they’re running the (interactive) bytecode compiler + interpreter version of OCaml, which is much slower.

extrabajs commented on The Lisp in the Cellar: Dependent types that live upstairs [pdf] zenodo.org/records/154249... · Posted by u/todsacerdoti

reuben364 · 7 months ago

I just wrote redef to emphasize that I'm not shadowing the original definition.

    def a := 1
    def f x := a * x
    -- at this point f 1 evaluates to 1
    redef a := 2
    -- at this point f 1 evaluates to 2

But with dependent types, types can depend on prior values (in the previous example the type of x depends on the value t in the most direct way possible, as the type of x is t). If you redefine values, the subsequent definitions may not type-check anymore.

extrabajs · 7 months ago

I see what you mean. But would you not experience the same sort of issue simply from redefining types in the same way? It seems this kind of destructive operation (whether on types or terms) is the issue. As someone who's used to ML, it seems strange to allow this kind of thing (instead of simply shadowing), but maybe it's a Lisp thing?

extrabajs commented on The Lisp in the Cellar: Dependent types that live upstairs [pdf] zenodo.org/records/154249... · Posted by u/todsacerdoti

reuben364 · 7 months ago

Thinking out aloud here.

One pattern that I have frequently used in EMACS elisp is that redefining a top-level value overwrites that value rather than shadowing it. Basically hot reloading. This doesn't work in a dependently typed context as the type of subsequent definitions can depend on values of earlier definitions.

    def t := string
    def x: t := "asdf"
    redef t := int

redefining t here would cause x to fail to type check. So the only options are to either shadow the variable t, or have redefinitions type-check all terms whose types depend on the value being redefined.

Excluding the type-level debugging they mention, I think a lean style language-server is a better approach. Otherwise you are basically using an append-only ed to edit your environment rather than a vi.

extrabajs · 7 months ago

I don’t see the connection to dependent types. But anyway, is ‘redef’ part of your language? What type would you give it?

extrabajs commented on Primitive Recursive Functions for a Working Programmer matklad.github.io/2024/08... · Posted by u/ingve

talideon · a year ago

Skylark also. It's essentially Python with anything more than primitive recursive functions cut out.

extrabajs · a year ago

One point that the article is trying to make is that even something in PRF can give rise to a very long-running computation.

extrabajs commented on Wireless Amiga Tank Mouse lyonsden.net/wireless-tan... · Posted by u/jandeboevrie

skywal_l · a year ago

I wish manufacturers would use AA/AAA batteries more to power their thingy. Now they make USB rechargeable AA/AAA batteries. These batteries are standard, cheap, can be bought everywhere and are easily replaceable.

My Logitech MX Master 3S is a great mouse. It has everything I want in a mouse but no standard battery. Not even replaceable (no screws, everything glued together). I dread the day the battery will die. Then the mouse is just junk to be tossed in a landfill.

I had to use my old TI89 calculator the other day. Took it out of the drawer where it has been sitting for maybe 10 years. Insert some 4 AAA batteries that I took from my remote and my thermometer station and it just works.

extrabajs · a year ago

I agree. Logitech makes some products with replaceable batteries: I have an Ergo M575 trackball (their low-cost trackball) and it uses a single AA battery that lasts over a year for me when being used daily at work.

https://www.logitech.com/en-us/products/mice/m575-ergo-wirel...

u/extrabajs

KarmaCake day25June 25, 2016View Original