skysight-inc/HackerNews huggingface dataset:
Also see TSM: https://github.com/lukeed/tsm
Also right now about 70% of all lithium comes from only two places (Chile, Australia). Iron and sodium are pretty much everywhere so this potentially eliminates at least one supply bottleneck
Helium is no 2 , and that too is pretty scarce on earth , but again helium is a very light gas and simply shoots out of the atmosphere eventually,
Why is lithium rare
I like .NET, and I believe Blazor represents an unique capability for that tech stack, but using Blazor essentially means eschewing all the traditional web stack tooling that was built up around TS/JS during the past decade for proprietary Microsoft weirdness.
Unix system programming in OCaml (2014)

https://ocaml.github.io/ocamlunix/

"MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms."

https://mirage.io/

"Docker Desktop avoids this problem by forwarding all traffic at user-level via vpnkit, a TCP/IP stack written in OCaml on top of the network protocol libraries of the MirageOS Unikernel project. The following diagram shows the flow of packets from the helper VM, through vpnkit and to the Internet:"

https://www.docker.com/blog/how-docker-desktop-networking-wo...
Wherever Sam Altman ends up, Microsoft hopes to protect its interests
Thinking as charitable as possible, this broke just before the weekend and developed over the weekend, outside of business hours. Even the management team of openai haven't seen anything in writing from the board. We should see by lunch / close of business today a written statement by the board.

In today's tiktok world we expect instant responses but business and boards work slower. Really, even 5 years ago we wouldn't be surprised by this. Lawyers, banks, investors etc would all need to be contacted, things arranged, statements prepared, meetings organised. So a written statement late today, and a meeting for mid week. That's about the most charitable I can think of!

Apparently board bylaws say they need 48hrs notice to arrange special meetings. So the earliest would be today if they arranged it early Saturday.
Finally! Somebody has said it plainly.

Sam Altman is merely another "Tech Executive" out for himself and his buddies making money off of true path-breaking researchers. "AI Trailblazer", "Helping Humanity with AGI" etc. was all bullshit.
Can you explain why this is "Kubernetes-Native" (whatever that means)? It's not quite clear from the link.
That is a very good point. Why wouldn't they come out and say it if the reason is Altman's dealings with Saudi Arabia? Why make up weak fake reasons?

On the other hand, if it's really just about a power struggle, why not use Altman's dealings with Saudi Arabia as the fake reason? Why come up with some weak HR excuses?
You could self host as it's all open source, but that would be a lot more work..

Reliability, it depends on your app and requirements. Been using them for about a year and it has been really solid, the few times I did have some issues the support was really quick and helpful. But I do see your point, it might not work for everyone.
Probably worth keeping in mind where WASM itself actually is.

The ability to run anything without having to do your own memory management is only just landing now (already in Chrome, next release of Firefox announced today and Safari as per usual is nowhere to be seen and is behind the curve again).

So when you think about what that very first generation of frameworks is going to even look like, it’s safe to say that most of them don’t yet exist.

The only one I know of is Flutter which is going all in on a path that’s genuinely independent of HTML and CSS and going straight to canvas and WebGPU via WASM.

But even that is still a few months away. Blazor takes an interesting approach in that it’s basically one foot in both camps in that it sticks to HTML/CSS and uses DOM rendering to handle the UI while still letting developers stick the overwhelming majority of their application logic in C#.
Show me a quote. Where did I attack the competence of past engineers. Quote it for me or please just stop lying. I never attacked anyone. I even (somewhat obliquely) referred to several reasons they may have had to make decisions that confound me. Are you mad that I think backwards compatibility is a poor decision? That's not an attack against any engineers, it's just a matter of opinion. Your weird passive-aggressive behavior is just baffling here.
>A Tesla power wall 2 is about 150kg, if half of that is lithium

an order of magnitude less. 30KWh is just about 3kg of lithium in theory. On practice it would be about 7-10% of the weight of the battery.
no source code = no download.
1. It was USSR, not Russia. For many who were USSR citizen till 1991, but neither ethnically or geographically Russians, this rubs very wrong way.

2. Aviation in the USSR was developing completely independent, and you can accuse USSR in stealing technology in many areas but certainly not in aviation.
As a backend dev, I love the technology. The problem is that you have to choose between a not-so-scalable solution (Server, signalR) or a minimum 2mb initial payload (WASM) that can easily go to 5mb.

Interested on how many concurrent users you have for Server to be a problem. Can you elaborate more on your performance issues?
You are asking for credentials 1st? No, I value my privacy thank you
There's also the fact that you can't auth using pub keys, and are consequently stuck using password auth (as a workaround, I usually just set the credential cache expiration to some huge value). Despite this, it's only half-annoying, but again, as you pointed out, only if one of your collaborators happens to have the premium version.

I really hope the typst webapp gets git support soon so it at least gets feature parity with Overleaf in this department (issue tracker: https://github.com/typst/webapp-issues/issues/25).
I think the most surprising thing about the Bud Light fiasco is that their marketing department thought that Dylan Mulvaney, with his insultingly misogynistic and creepy portrayal of 'girlhood', would reflect well on their brand.

The only people who seem to celebrate Mulvaney's preposterous performances are a minority of overly-online zoomers, who aren't even the target market.

Is it really 'hateful' to look at men like this and understand that they are not women in any way, shape or form? No, it's just common sense.
The initial question was "Is there really a sizeable number of devs who don't intend to ever rely on Copilot?", not "Are all Vim users who type fast anti-Copilot?".

I don't mean to dismiss your data point, just to put things in context. Since Copilot is generally recognized as a useful tool, there will of course be Vim users with great typing speed who still find it useful regardless.

Now, when it comes to Go, I find that there isn't much repetitive code to write (especially since generics landed in Go 1.18). Some people say that error handling is repetitive, but I find that those people just bubble up errors without adding appropriate context, which makes them less useful. But I haven't personally found a scenario in which I explicitly thought "damn, I know exactly what I need to write, but it's so long - I wish someone would write it for me".
Don't forget all the other products Microsoft managed to screw over developers with. Like discontinuing Xamarin.
Lithium is cheap because the externalities of the environmental damage it causes is not accounted for in the pricing. It's a highly exploitative resource which has destructive impacts on local bacterial ecosystems, human communities, and water availability.

Some articles, if you are interested:

https://www.sciencedirect.com/science/article/abs/pii/S09626...
https://www.euractiv.com/section/energy-environment/news/fac...

It's not even comparable to sodium, which is abundant practically everywhere.
Meh. The fundamental mistake the board made was to give MS an in perpetuity licence to OpenAI IP. What a terrible negotiation mistake.
People decide at 15 or so what they want to be, but would you trust a 15 year old to make any decisions about your life?
Self-hosting Supabase is pretty hard when you consider mail set up, and all the config like setting your own domain/secrets/config without the full dashboard Supabase managed service provides, doesn't it? Aka you can't just get-up-and-go fill in a nice UI/form on an EC2 instance AMI template for Supabase...
some context re the Matrix isses, long history apparently: https://github.com/matrix-org/synapse/issues/14481#issuecomm...
I read through the syntax tutorial, and based on that alone I'm guessing this thing would be a huge pain to work with. The operators `=<`, `<=`, `>=`, and `=>` are easily confusable/typo-able, and I have to imagine the for-all operator is `!` only because someone had already decided to use `?` for there-exists, since who in their right mind would use a `!` prefix to mean anything other than boolean negation?
It seems it has a lot in common with Lamport's TLA+, can someone compare?
Does someone have analysis of breakdown of flight costs?

fuel cost %

plane lease/mortgage %

aiport facility costs %

Pilot + crew + food/drinks costs %

Profit %

My understanding is that for hydrogen to take off, it needs to become significantly cheaper than jet fuel and just as much energy dense.
> Have you ever tried expressing board game rules in code? Does it sound a bit tedious?

I expressed the logical rules of Go, which are already phrased in a concise yet mathematically rigorous way, pretty much directly into Haskell [1], which was more fun than tedium.

[1] https://tromp.github.io/go/SimpleGo.hs.txt
Perhaps! That’s just the auto formatted text from an Amazon share link on iOS - no referral code in the link!

His patents were exhaustively written and documented in medical textbook style (rather than legal robot style) further detailing the variety of uses of citrulline:

https://patents.google.com/patent/US5874471A/en

The essence is arginine is crucial in the production of NO, which serves many functions of the body but it’s also a powerful vasoprotector. Sickle cell is popularly thought to cause anemia due to the cell shape not carrying enough oxygen, but in fact it’s due to the shape irritating the epithelial cells lining blood vessels, particularly small vessels and capillaries. This redirects the use of arginine in the body to repairing and protecting the blood vessels in the body.

Citrulline is an intermediate non essential amino acid found in high concentration in watermelon seeds (hence the name). It survives the gut, unlike direct arginine ingestion, and converts readily to arginine in the kidneys (my grandfather was an expert in kidney function and pioneered kidney transplants in the 1950’s and 1969’s, his interest in sickle came late in his career in the 1990’s).

He was also an expert in heart disease, and as a young man was a tenured professor of medicine at University of Kentucky, chair of cardiovascular research, and an endowed member of the Kentucky Heart Association. He left Kentucky to found the first regional hospital and medical school in eastern North Carolina, ECU, where he was the director for many years. He was a terror of grad students, never accepted outside grant money for any of his research, never worked with drug companies, and led the bioethical research boards at his medical school for most of his career. He earned the nickname Dr House for his remarkable ability to diagnose obscure diseases and conditions along with novel treatments using his encyclopedic knowledge of biochemistry and disease, as well as his often obnoxious personality. The university forced him to retire because he brought no funding and had an entire floor for his lab when he was in his late 70’s, so he tore out his garage and built a laboratory in its place where he spent the rest of his years self publishing new research.

https://www.legacy.com/us/obituaries/reflector/name/william-...
When I read the title I thought this might be some new programming fork, but was secretly hoping for ... an Anti Tank Vespa! And it is!
Well chances are that because of this entire debacle they simply won’t have any say in it. So yeah if that was indeed their goal their hand will be “clean”.

But that’s it. The world will move on and at best they just delayed those “existential threats” by 6-12 months. If they thought this preferable to any form of compromise. Well.. that’s fine.

However I doubt this was even the primary reason of this whole conflict in the first place.
Whether it be dissecting what the Kardashians ate for breakfast or understanding why the earth may or may not be flat, seeking to understand the world around us is just what we do as humans. And part of that process is "speculating sensational, justifiable reasons" for why things may be so.

Of course, what is actually worth speculating over is up for debate. As is what actually constitutes a better theory.

But, if people think this is something worth pouring their speculative powers into, they will continue to do so. More power to them.

Now, personally, I'm partly with you here. There is an element of futility in speculating at this stage given the current information we have.

But I'm also partly with the speculators here insofar as the given explanations not really adding up.
I used three batteries on that particular MacBook and it always shown a "! Service Battery" warning before things went bad. The battery life, and shape of the battery was indicative of anything, either.

Oh, don't bring up SMART. I remember long-testing >100 disks, and most of them passed (it took hours), and all of them failed within 10 days after facing real workloads. We needed a temporary storage for migrating things, but we lost no data, because it was just a copy operation.
and so has the internet. some use it for good, others for evil.

these are behaviours and traits of the user, not the tool.
Doesn't Adam D'Angelo Have a Conflict of Interest in Ongoing Dispute?
Do you know how many hours I've spent grinding gtypist? Of course I'm going to involve myself in WPM pissing contests.

Not doing so would be like going to the gym and not posting your muscle flexing photos on social media. It's just taking away the joy.
Ask HN: Solar financing platform for small businesses idea
Hey everyone!

I have been working on an idea that I would like to get more feedback on - solar financing platform for small businesses.

Through conversations with numerous C&I solar developers and installers, there seems to be a financing gap for small solar projects. Existing solutions are fragmented and expensive, and banks do not have an incentive to underwrite small solar loans.

Therefore, solar developers and installers must endure a tedious process of cold outreach to lenders, sifting through numerous potential options based on project-specific factors, followed by a protracted exchange of information.

By providing easy access to cost-effective financing options, and a more streamlined application and approval process, we want to help small businesses get financing faster and at better terms.

While the residential solar financing market is well served by players like Mosaic or Dividend Finance, the small commercial solar space remains underserved, although few players have emerged recently (e.g., Orka Finance, Sunstone Credit).

If anybody has experience working in the space, I would love to hear your thoughts or chat. You can reach out to me via DM: https://twitter.com/urgencytobuild

Thank you in advance!
Microsoft's Satya Nadella Kept the 'Best Bromance in Tech' Alive
So interesting that the same event has several spins right now:

- OpenAI is nothing without Sam Altman

- OpenAI is nothing without its workers (following Sam Altman)

- OpenAI is nothing without its workers (Sam Altman is just a figurehead)

A glitch in the Matrix?
The noun is not the issue but rather the scope of uniqueness:

>Now, given two log files (log file from day 1 and log file from day 2) we want to generate a list of ‘loyal customers’ that meet the criteria of: (a) they came on both days, and (b) they visited at least two unique pages.

It appears to me that the requirement could be interpreted as either:

"(visit on day 1) AND (visit on day 2) AND (total unique pages count > 2)"

a clearer way to put it would be "visited at least two unique pages in total"

or
"(visit at least two unique pages on day 1) AND (visit at least two unique pages on day 2)"

a clearer way to put it would be "visited at least two unique pages on each day"
That may be so but those other times he didn't check to see if the arm holding the banana wasn't accidentally attached to the 900 pound gorilla before trying to snatch the banana. And now the gorilla is angry.
With 700 ish employees I find it difficult to attribute their success to one person.
javax.window.JOptionPane.showMessageDialog("Hello!");

Forever burnt into my mind from Programming 1008. And in fairness, much easier to get off the ground than the legions of XML required for JavaFX.
Sodium-ion is real. Here's more news from China: https://carnewschina.com/2023/11/20/sodium-ion-batteries-are...

It's not widely touted since the density is not as good, the Northvolt announcement notwithstanding. But the costs apparently are much lower.
Blazor - until .NET 8 - came in Blazor Server and Blazoe Webassembly variants.

Blazor Server renders the DOM at the server and sends it to the browser. The server also holds on to some state for each client - notably the "current DOM" - so that it can calculate diffs on changes and only send the diffs to the browser.

Blazor Webassembly does the rendering in Webassembly in the browser. The .NET stack runs in the browser. Here, the code renders and diffs in the browser and the the diffs are applied to the DOM as well.

This also means that the same components can run either server-side or client-side. They basically all end up computing DOM diffs and applying those diffs to the actual DOM. Pretty neat, actually.

Each model has it's pro and cons. Blazor Server initialized really quickly and relies on minimal Javascript in the browser. But it creates load and server affinity on the server. Blazor Webassembly offloads all rendering to the browser, but at the cost of an initial load of the code.

In .NET 8 these can now be blended, and a new "auto" mode allows a component to be initially server-side and then client-side when the webassembly code has downloaded.

In addition to that is now (.NET 8) also the static server side rendering (and "enhanced navigation") which you could say is server side components without the "circuit" server affinity and server state of each client. Static server side rendering has some limitations on how interactive they can be - i.e. changing the DOM.
MacBook Pro 'Dustgate' Problem Is Breaking Apple Laptop Displays
You can actually get an implementation using Camel-Kebab, but it's a package deal with the other rules of "easy German" a.k.a. Leichte Sprache https://www.leichte-sprache.org/leichte-sprache/die-regeln/

Many government websites also offer information in Leichter Sprache.
I checked, and the complaint[1] lists specific tokens, including ADA (Cardano), NEAR, SOL (Solana), ALGO (Algorand), MATIC (Polygon) and others. I have purchased some of these in the past from Kraken to evaluate the technology on my own terms. It would be a shame if the SEC forces consumers to use less reputable exchanges to access these tokens all in the name of "consumer protection."

There appears to be no clear path forward for crypto exchanges to legally list new crypto tokens to the public. I suspect that is the goal of the SEC and administration; to limit what is available to the public, rather than define clear policies that would enable regulated trading. The only token actually tested is XRP, which was deemed to not be a securities offering[2], and is notably absent from this new filing.

[1] https://www.sec.gov/files/litigation/complaints/2023/comp-pr...

[2] https://www.investopedia.com/crypto-exchanges-allow-xrp-trad...
Or they are just incompetent/ had ulterior motives. All of this is just speculation.

However if their goal was indeed what you said they have failed miserably at it. They simply won’t have any say in what happens next because of this situation
Haste is not something compatible with board activity unless the circumstances clearly demand it and that wasn't the case here.
It fails other benchmarks vs Mistral-7b.
https://twitter.com/Teknium1/status/1726846755344634020

(There is some doubts about the validity of the comparaison in the comments)
Which Kindle do you have?

A couple of years ago I finally upgraded to an Oasis and the Oasis battery life is significantly worse than my previous Paperwhite. It’s still good enough — I have to charge every two weeks — but the Paperwhite was better.

The Oasis is still my favorite Kindle (it’s my third).
Sure, that's the point of GPTs. It's pretty self-explanatory so not sure what you are asking?
Honestly there is something deeply shameful about tech workers finally organizing, uniting together in one voice, and using that voice to defend Sam Altman of all people.
> Which product manager in his/her right mind, thought this was passable when you're building and marketing your product as an iMessage alternative and every single early access reviewer raised these exact security concerns in public?

Why are we blaming PMs, here? Plenty of engineers out there make really stupid decisions every day.

(To be clear: I'm an engineer, not a PM.)
Germany did that with Panzerfausts in the last days of the war. The riders were children.
Why would anyone even build a product on top of unencrypted HTTP these days? I don't even use my NAS over HTTP in my local network when I can use HTTPS instead.
If you have something to report, usually you are somehow involved. The company might then try to pin responsibility on you for doing the bad thing and trying to verbally blackmail them.
I previously came to the same conclusion.

From the article:

> When you're working with objects that inherit from each other, use interfaces. extends makes TypeScript's type checker run slightly faster than using &.

In my case however I argue for much stricter designs and only use type even in case of “inheritance” (more accurately composition).

Having such overlapping and for all practical purposes identical behaviour across two keywords feels totally redundant. So I always use type, which is a more natural fit anyway.

I imagine a lot of people are going to disagree with both posts.

(Strangely he posted that article just weeks after I posted mine… https://www.lloydatkinson.net/posts/2023/favour-typescript-t...)
Isn't the CEO who arranged that now working for Microsoft? Interesting turn of events.
Isn’t the 10 billion transferred in stages and tied to OpenAI meeting some predefined obligations?

If so they’ll probably struggle meeting any obligations with no employees.

> change towards commercialization was what put him off openAI.

Right… you’re talking about Musk here?
I hope more reporters dig into the conflict of interest of Adam D’Angelo, founder of Poe / Quora, which is mentioned at the end of this article.
useless to society...

fashion allows people to optimize their appearance so as to get more positive attention from others. Or, put more crudely, it helps people look good so they can get laid.

Not sure that it's net positive for society as a whole, but individual humans certainly benefit from the fashion industry. Ask anyone who has ever received a compliment on their outfit.

This is true for rich people as well as not so rich people - having spent some time working as a salesman at H&M, I can tell you that lower income members of society (like, for example, H&M employees making minimum wage) are very happy to spend a fair percentage of their income on clothing.