skysight-inc/HackerNews huggingface dataset:
What makes you think it's possible, especially in just a couple of years, to have a laptop powerful enough to drive two 4k+ screens + cameras at the same time reduced to the weight and form factor of a pair of glasses?

Phones, laptops, and tablets have all been fighting on weight vs compute power for years, and improvements are incremental year to year. I don't see any reason to imagine it's possible to reduce the size that much in the foreseeable future. Even with compromises like a separate battery, which is already extremely clunky.

Not to mention, the illusion depends highly on having your regular vision blocked out completely and on having the screens at a very fixed position relative to your eyes. So, for the foreseeable future, the screens will have to stay well fixed to your face, even if in a more glasses-like form factor, and completely cover your eyes. Ski goggles are actually a better description of the best that can be done, not glasses.
They are not mechanical indeed, they just look like them. Which is pretty nice. The Garmin one doesn't have ECG though.
> Nuclear is inherently a big tech, with some customization for site install
Russia has successful small floating power stations, that can just dock and power a nearby town. https://en.m.wikipedia.org/wiki/Akademik_Lomonosov

There is nothing "inherently big" about nuclear
Same here, much more convenient to use than SO
> ’s so much easier to be sitting next to someone, pointing at their monitor, and discussing what and why you are doing something. Instead, you need to hop on a call and awkwardly screen share on a call or write out paragraphs of text to impart the knowledge

For me, it's the exact opposite.

Before the pandemic, I always found the practice (and even the idea!) of "pairing" quite off-putting. You're standing behind someone, breathing in their body odor, awkwardly sweating next to each other, bending over if you want to type something... a really weird experience.

Remotely, none of those apply! You each get your own keyboard, your own screen, your own mouse. Both of you are 100% comfortable in your own environment. Using decent software helps as well, I recommend Tuple which makes sharing the mouse & keyboard seamless.
Nuclear is only expensive compared to renewables if you ignore storage. Since storage is more expensive than nuclear (unless you have plenty of mountains and water to do pumped hydro), nuclear is actually cheaper than wind+solar in most places.
When I press the power button on my remote, I ain't "forcing" anything.
> guix uses standard guile syntax and has the whole guile language available to it.

I feel I'm not getting through here. Let me try again: Guile is base Scheme plus some SRFIs plus some more extensions. None of this is useful outside the Guix bubble, because it is not really used for anything outside that bubble. I suppose pointing at a hundred Texmacs users who picked it up after being exposed to Guix would prove me wrong, but good luck with that.

> maybe you invested too much time learning nix

Maybe armchair psychoanalysis is extremely bad form. Note that I'm not trying to argue against Guix (or Guile, or GNU, or whatever) -- for all I know Guix is just great, and I know Guile is great (shall I rephrase and repeat this disclaimer again until it "clicks"?). I just tend to be triggered by idiotic sloganeering argumentation, especially when it is repeatedly reflexively employed as if it can substitute for a honest technical comparison.
I tried to use ChatGPT to write an episode of DS9 called "The Cardassians", and instructed it to follow the episode format of "The Kardashians".

It wasn't very good.
Snorting caffeine is one of the most comparable ways to realize that it's just as "safe" as cocaine.
I was thinking Google would cram in the employees, but need another 100% on top of that for the fancy spaces with weird chairs, baristas, food courts, etc.
I really really really despise Microsoft's habit of filtering on user-agent in their websites!

I remember back when I worked at (then recently acquired by Microsoft) Mojang and was building a solution to log into Minecraft using a Microsoft account, i couldn't access Xbox.com because I was on a Linux machine. This was during their Microsoft <3 Linux campaign.

I sent a very angry email to our internal contacts in the relevant team telling them to stop blocking us from developing a feature for Minecraft that our mutual overlord had dictated we implement.

It actually worked (kinda)! They removed user-agent filtering from the pages we needed. I wish they removed it from their business practice entirely, but that's to big an ask I guess
This is how most celebrities handle it. It seems like the obvious thing to do for someone at the top layer of a social pyramid.
In theory yes. In practice not so much. There are very often delays for one reason or another. When it works it is indeed super. Usually it doesn't...
>13 year old knew what she was doing

Yeah right...
it would also help us move away from the PDF to a web based medium, pdfs are generally suboptimal if not awful reading experiences for a scientific paper
I accept your point about tallgrass prairies but you're back to the double-counting. The argument that 3 - biofuels are not carbon neutral, is established based on 1 and 2.

Also, it might be true that prairies do long term accumulation of carbon, but not true that this represents more carbon than that which is removed from the environment by biofuel crop growing and harvesting. That was my original claim and I don't think you've shown quantitative evidence that it should be dismissed.
This is reasonable. Nuclear is still valuable though. It still works after a week of bad weather that would badly affect wind or solar.

Regarding renewables: are we held back by solar panel manufacturing? I thought the constantly falling prices are a sign that the panels are abundant. I think serious utility use of solar is held back more by the cost of storage. If we speak about best allocation of scarce labor, maybe battery manufacturing would have more impact.

Thermal storage (mirrors hearing rocks or melting salts) is also pretty material- and labor-intensive, even though it likely would require slightly less demanding processes of laying concrete and welding steel than a nuclear installation.
I love the fantasy that some management hold that back in my day you couldn't slack in the office and it was a thing that was invented on the first day someone "worked from home".

Over a few drinks they will also tell you stories of the old days where you would leave your jacket on the back of your chair and go to the pub at 11am come back to the office at some point in the afternoon.

But kidz these days...
I guess it mostly comes down to feelings. Maybe this metaphor can illustrate my feelings: living out of AirBnBs wouldn’t mean you would miss any specific amenities, but I would feel much less happy without the ability to relax in a place that feels “mine”. It’s something about routine and weaving a comforting self-narrative, I think.
In Latex, the online editor i know (Overleaf) is also closed source.
Nice ideas there!
Geoguesser
> Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith.

I think we both know this person isn't supporting TNR for humans, don't be silly
In-person is much better if you don't know what you need to build..

Can you explain how some of the greatest technical research projects of our time like the internet, Linux, etc happened without a big office then?

It's clearly nonsense to suggest you have to be collaborating in-person to build big unknown things. There are thousands of examples throughout open source and more where that hasn't been the case, and millions of examples of projects from company offices that are awful.

The physical geography of the team is not an indicator of success.
I'm reasonably proficient in Typescript although I wouldn't call myself an expert in type systems. But I'm not a beginner either.

However, I read though the readme and I have no idea what the usefulness of this is. Can anyone explain, in simple terms, some practical use cases for this?
+1 pdfs are a terrible format in which to store scientific knowledge, the reading experience as a whole is totally inefficient
A simple example I could recall from the other day is something like this:

export type LinkedWorksheetsRecord = Record<WorksheetId, Record<WorksheetId, ReferenceTypeId[]>>;
export type LinkedWorksheetsMap = Map<WorksheetId, Map<WorksheetId, ReferenceTypeId[]>>;

What I would rather have written instead is however something like this:

export type LinkedWorksheets<T> = T<WorksheetId, T<WorksheetId, ReferenceTypeId[]>>;
...
const myMap: LinkedWorksheets<Map> = ...;

This is however not possible, because `Map` is a type constructor which expects two more type arguments `K, V` until it is a fully applied, concrete type `Map<K, V>`.

With a library like this, this is probably possible (unless I've missed something which wouldn't surprise me). It would unfortunately surely be more verbose.

Still, I would be against pulling in a dependency only for something like this. The above example is simple I believe, but not exactly a "killer-app".
And no, Monads aren't either (if you don't limit effects and don't have do-notation) :P
RailsMan – Subscription-Based Ruby on Rails Developer
Stop searching for a Ruby on Rails expert! Get an exceptional developer at your fingertips with our subscription service. And guess what? You can cancel anytime!
The cost for reddit as stated in another part of the call is an opportunity cost. By acquiring Apollo instead of shutting it down they would seamlessly acquire a lot of users who would have a hard time adjusting to the native app and potentially leave the platform, so this call is still a cost to them.
I agree, it has an otherworldly quality about it, and not in a good way. It's like I died but was stuck in purgatory, except in this purgatory I view my past memories alone through a VR headset.
Long-term stays is going to be a lot harder than shorter visits. Need/option for such travel tends to be explicitly called out in job descriptions by scientific agencies/institutes running such things. If you're not at it from a scientific angle, expect it to be technician roles (and thus adjust year salary expectations accordingly)
A fully-featured dependent type system may be undecidable, but that doesn't mean you can't make one - it just means that there will be valid programs that the type checker nevertheless rejects, or there will be valid programs for which the type checker never terminates. It doesn't stop you from creating a type checker in the first place; it just weakens the guarantees you can make about that type checker.

The Typescript type checker is (or at least was) already Turing-complete (https://github.com/microsoft/TypeScript/issues/14833) without fully supporting dependent types.
You have a remote to your smart meter? Or are you talking about an entirely different device?
> Then why is the US one of the few nuclear countries that hasn’t build in years?

They haven't opened a new nuclear power plant in France in 20 years. Canada hasn't opened a new reactor in 30 years. UK in 28 years.
Is there any movie today that anyone releases exclusively in 3D? I can imagine maybe Avatar 2, but for the vast majority of AAAA blockbusters, they are available in either version, and the 3D is really just a gimmick.

And 3D TVs are not remotely common.

So 3D TV/cinema seems to be a counter-example - a technology that was pushed hard, but has generally failed to become anywhere close to mainstream, nor to continue moving in that direction.
> Zero cats should be allowed to exist in NA?

Zero non neutered cat should be allowed to exist in North America, correct.
Are we all going to just drive somewhere, sit at a desk and have a zoom call with our co-workers that are working from home that day, then drive home?
Tyler Cowen: If the Economy Is So Bad, Why Is the Labor Market So Good?
Nuclear plants are complex, bespoke machines. This is the first new reactor complex in 40 years! It’s ludicrous to expect it would somehow be built on time and under budget.

If we can somehow start building several plants per year, then a supply chain will develop, skilled labour will be trained, and reusable parts and know how will emerge. But when you only build one thing every few decades, there are no economies of scale.
Here's a specific complaint about the application of a new and unnecessary airplane strike rule to an already approved design: https://atomicinsights.com/nrcs-imposition-of-aircraft-impac...

Personally, I think what will happen is that other countries like China and South Korea will build lots and lots of NPPs cheaply and quickly and the US will only consider making changes to the way things are done after looking incredibly inept in comparison. The NRC is only one of many things that needs to change.
Either Apollo represents a “$20M opportunity” or it’s just a “vocal minority.” So, which is it? It can’t possibly be both.
> Regarding battery power, I woukd not rule out versions that stream the video and outsource the computing to a mac or a standalone box, like Apple TV.

I imagine wireless latency would be too high here. I think they mentioned a 12 ms number to avoid motion sickness.
I'm sorry, but buying things on the internet wasn't laughed at, if anything people were worried about it cause of their credit card numbers. It was that basis of the dot com boom of the late 90s.

Everyone saw the potential and lashed money into it. It didn't deliver at the time, but that dynamic is totally different to vr headsets.

Think smart phones, they weren't pushed, people wanted them in a serious way
I don't know if there's a direct risk, but the amount of masks I found in waterways and thrown into the gutters is definitely not sustainable.

If there's a direct risk it's just strictly worse.

I would assume the direct risk of most masks is VOCs, since most new masks had a smell like a new car. Especially after they got mass produced by shady companies that didn't need certification anymore, thank you German state corruption.

But even then it might be a net benefit for someone living in Delhi.
> Which is perfectly fine and why Apple will eventually win - they don't need to sell a ton of units right now.

Eventually, both headsets will be shrunken down into the glasses form-factor, and Meta will be the Android of XR headsets and glasses or in second place overall if users want a cheaper alternative to the Apple Vision product line. Just like what Google had with Android phones, Microsoft had with Windows PCs.

Meta with their Quest headsets will win in quantity and price since there are more Android devices out numbering iOS devices regardless.

> Meta simply won't have that experience because they just did the cheap thing targeted a small market.

They have the money to acquire companies specialised in VR and AR just like what Apple has done recently.

> Betting against a veteran hardware company like Apple and in favor of Meta seems ludicrous to me.

Both will succeed. Apple will have the ecosystem lock-in advantage for those who can afford the best experience and Meta will win in quantity and make it much more accessible. Zuck's 7 - 8 year bet on Oculus seemed to be the right move all against lots of naysayers and the exaggerations of Meta's stock collapse which recovered against the news.

It has always been Apple vs Meta in XR.
(eh, sorry for typing lightning when I meant thunderbolt)
1983: "When they found out I could program in Lisp they decided to give me one of the Explorers and I spent almost all of my time working on the new machine."

2023: "When they found out I program in Lisp, they made wise cracks about parentheses and the Lisp Curse. They 'forgot' to invite me to team lunch."
The first time (I am aware of) people experimenting with immersive computing experience was in the nineties CAVE @ ncsa [1]. It has not really taken off and I don't think its down to device specifics.

It is possible that there is a non-linear threshold type thing (Like LLM's requiring billions of parameters before doing a decent imitation of human language) that has prevented (thus far) making this technology really interesting.

[1] http://www.visbox.com/products/cave/
It's easier to make the parallel between type-level and value-level reasoning.

1 is a value, and int is a concrete type.

function increment(x) { return x + 1 } is a value-level function. You feed it a value x and you get a value back. List<T> is a type-level function: you give it a concrete type T, you get another type back.

function applyTwice(f, x) { return f(f(x)) } is a higher-order function that takes a functions as an input. A higher-kinded type is a higher-order type function.

As a concrete example, consider this pseudo-Java method:

List<B> map<A,B>(Function<A,B> fn, List<A> as) { ... }

You take a list, and you return a list. Thing is, Java has several list implementations: LinkedList, ArrayList, CopyOnWriteArrayList, and a few others. What I'd like to express is that whatever concrete list type goes in is also the concrete type that comes out. If java allowed it, you could express it like this:

L<B> map<L<T> extends List<T>,A,B>(Function<A,B> fn, L<A> as) { ... }

This map is generic on L, A, and B, but also L is itself generic, so map is "twice-generic", if you will.
Stack Overflow seems mostly self-moderating to me. The vast majority of moderator actions are on posts that have already been downvoted and reported by regular users. SO could automate this human intervention. A moderator already isn't required for a post to be closed, it just takes 3 close votes from normal users.

So then what is the purpose of the mods? They seem to prefer spending their time generating a constant stream of metadrama that has little to do with SO itself. See Monica, the code of conduct changes, modifying the design of the upvote/downvote buttons, Chat GPT...

I think SO needs to scrap the mods and replace them with a small number of professional mods who they pay.
QFT. There should be mandatory 'why this question was closed' in cases there was and (misinformed) effort. Currently it's -10 closed, no comments.
This should be deleted in favor of: https://news.ycombinator.com/item?id=36254550
@dang
At the level of abstraction of "minimising an error", almost everything is the same.

There is nothing in the process of compressing digitised text into a quantised space that corresponds to the ordinary meaning of words such as "know, aware, believe, intend, want, think, ..." and so on.
Can you link any examples?
https://archive.ph/75tr6

Related commentary on Fortune: https://archive.ph/Qui2r
Yeah but the Vision Pro rocks an M2 chip, not the A-Series in the iPhone.
Do you think the type of device matters?

The remote sends a signal to the chip in the device, and that chip decides what to do, often ignoring the signal if it's currently busy or otherwise doesn't want to.

There is no force here. Even if it wants to turn off on request in case of dangerous external circumstances, it doesn't need to turn back on so easily and rapidly.
The iGlasses could just as easily block information making a walk through downtown Manhatten look like a stroll through the woods. Use at your own risk :)
The article mentions that the cats may be responsible for control of mice population, but apparently attacks on the New York rats are relatively rare being far larger and more aggressive.
Not to mention how dry your eyes would be from wearing that thing for hours, like seriously, why is no one talking about that?
Kakhovka Reservoir water level chart before destruction of the Kakhovka Dam
Chart shows steady increase in water level for last 3 month before current event[0].

DniproHES[1] (ДнепроГЭС) located upriver from Kakhovka Dam, there is video from April 19 that shows all four gates were open [3]

[0] https://en.wikipedia.org/wiki/Destruction_of_the_Kakhovka_Da...

[1] https://en.wikipedia.org/wiki/Dnieper_Hydroelectric_Station

(Lake Kakhovka)
[2] https://en.wikipedia.org/wiki/Kakhovka_Reservoir

[3] https://www.instagram.com/p/CrN04RZIjdq/

Archived https://web.archive.org/web/20230607100933/https://hydroweb....
except, you know, there's a massive market for non-iphone smartphones now. Facebook would not weep if it was android to the iphone
Take a look at California, at non-nuclear large construction projects. Do you think that the pervasive delays and cost overruns have nothing to do with many forces actively opposing (almost any) construction projects? Do you e.g. think that costs and delays of building a railway have much to do with inherent expenses and complexities of railway technology?
I imagine TNR also provides convenient subjects for veterinary interns learning surgery.
German trains are pretty much excellent. Prices go from reasonable to good. Bahn card is super. The only problem is delays which can happen regularly for many different reasons, some outside the control of DB (suicides for example). Compare this to UK trains - holy moly....
We think he has weak senior signal, we want to put him on these powerful stimulants to boost his senior signal receptors*

* side effects may include mild psycopathy
Storage is definitely a factor currently, but a lot of battery factories are scheduled to come online in the next few years and I expect the situation to improve considerably.
I did attempt to give the backers something. For years I did the best that I could. I went in to tens of thousands of dollars of personal debt just to be able to produce the boards, and then had to work a full time job to pay off that debt. Working full time and paying off debt left very little time or money to pack the items and pay to ship them. After years of burnout I was spending all weekend packing and shipping items, and after doing that for months, and at some point after delivering about 1/2 the hardware I just hit a wall. I was unable to continue. My mental health was horrible. It continues to be the worst period of my life, and I gave it everything I could for 5 years.

I very much gave what I could, but when you fuck up in business sometimes you just have to walk away. I really needed to for my own mental health. The product launched in 2013 and I walked away from it in 2018. It took me years to recover. To this day I can’t really even stand to mail simple packages. I’m not going back - that period of my life is over.

I just never figured out what the product was really good for, so I’ve been unsure who to donate the remaining stock to.
Casually suggesting we add the equivalent of our nation's supply of grid battery storage to get the equivalent of a single nuclear plants worth of energy is a new one.
You are misinterpreting across multiple categories
Yes, I think it matters whether it's a consumer device or specialized equipment that will be handled by trained operators.

You're looking at a $500K farming tractor and complaining that it doesn't have collision avoidance.
I think you're completely missing the point. I want a one stop shop that asks me questions and then signs me up for everything I need.

Sure I can go to Gusto and they can do payroll for me, but they don't do taxes. They don't do insurance. They don't do bookkeeping. And so on.

I don't want to have to look up all the things I need to do as a business owner and find all the services that do that stuff.

I want to go to one place and have a legal, compliant business.
From what I’ve heard, these are primarily sold to the hyperscalers like the public clouds, Drop Box, etc…

At their scale it’s easy to utilise these efficiently despite the limitations.

They’re not very good in a small NAS or disk array. You’d need a big write cache in front of them and an OS that natively understands the sector groupings.
I think we need some regulation there. Cancellation should be at most as many clicks as signing up, in the same app or website, the buttons have to be the same color, size and placement as sign up buttons.