HN user

kuchenbecker

378 karma
Posts0
Comments250
View on HN
No posts found.

Hack programming language (Facebook's php++). They are called coeffects and can range from "this is pure with no side effect" to "this can modify local members" to "this has I/O".

It needs to be scoped to the dep so conflicting deps have independent dependencies.

If foo 1.1 takes a dep on Bar 1.2, and baz 2.3 takes a dep on Bar 1.4, both Bar contexts are tested with their respective libraries but forcing Bar to a particular global version can have problems and both versions of Bar are needed to have tested behavior.

Examples mentioned and OP change the global behavior vs proper dependency management.

One big realization I had how sophisticated the ancient world is, the Antithikara Mechanism. Device built by ancient greeks in 200BC using thousands of years of astronomical learning to build the first KNOWN Analog Computer and devices of similar sophistication are not seen until the late middle ages / early renaissance.

Never heard of tha but definitely going to check it out.

I kinda feel like that's how cities are today and will increasingly be so as we get further into the future where people are interacting digitally first and physically second interaction starts to stratify.

I imagine a holo-lens future where it's quite literally possible to have a city to yourself or only see the set of people you want to with all the good and bad. Imagine social media bubbles but in the real world, with all the good bad bad that comes.

Kagi and Wolfram 2 years ago

I interned there and got an offer over a decade ago; notnsure if better now, but starting pay was 50% silicon valley.

I'm getting that opportunity, however I expect it will be the last as most have migrated to the cloud and smaller companies are appealing to me; smallest company (of 5) I've worked for had 4.4k employees and large companies have the resources to roll their own.

Unless there is an onprem movement I expect cloud to be the future as maintaining the tech stack onprem is difficult and we need to nake decisions down to the hardware we order.

Sports scores and stocks. If kagi inlined those results I would be very happy to not need to use the Google bang.

Additionally, the google bang destroys suggested terms and with no kagi history I'm typing the whole query.

My neighbors bought their house in 1975, pay $3k in property taxes. I pay 9k in property taxes. If I bought today I'd pay 17k.

I will not get a larger house because my property taxes would triple if I wanted another bedroom. A marginally larger house is not worth the marginal cost to move.

And with my 2.8% refinanced mortgage and 60% equity, and current rates today, there's no chance I'd sell.

It's a dream of mine to build a custom home, I can afford it, but I'm not willing to put up with a multi year struggle to get a house approved.

You can make a fairly strong statistical argument there are no spacefaring species in our galaxy. Even at 1% the speed of light a species could fully colonize the galaxy in 10 million years, 0.1% the age of the universe.

That we see nothing implies intellgent life is rare, short lived, or we're early in the age of the universe. For example, red dwarfs will last trillions of years compared to the sun's 5B lifespan.