skysight-inc/HackerNews huggingface dataset:
No, when you create a protocol define exactly what you need what is optional and what is an error, and stick to that.

Being liberal on what you accept is a path for disaster.
FTA: “The team of experts conducted a survey from April 24 to June 9 over 100 seabed sites on the ocean floor off Minami-Torishima Island, nearly 2,000 kilometers southeast of Tokyo, using mining equipment and a remotely operated underwater vehicle at depths of 5,200 to 5,700 meters.

As a result, the group confirmed the presence of a dense field of about 230 million tons of easily extractable manganese deposits in the form of fist-sized nodules spread over an area of approximately 10,000 square kilometers.”

So, that’s 2.3×10¹¹ kg on 10¹⁰ m² or 23kg/m²

“Based on the analysis of nodule samples, the foundation estimates that the deposits contain approximately 610,000 tons of cobalt, enough to meet Japan’s demand for the metal for more than 75 years, and 740,000 tons of nickel, enough to meet demand for more than 11 years”*

So, roughly 3/1000 of that is cobalt and 3/1000 is nickel. Total about 150 gram/m².

Apparently, digging that up from 5 km depth is “easily extractable” and economically feasible.

Looking at https://www.dailymetalprice.com/metalprices.php?c=co&u=kg&d=..., cobalt does $24k per kg, nickel $15k. So, question is: can you grab 1000kg of rock from about 7,000 m^2 of ocean floor and process it to get 3kg of cobalt and 3 kg of nickel, worth about $120k?

I wouldn’t know, but at scale, that doesn’t look impossible to me.
Are you saying CPUs are alive as in how humans and birds are alive and have conscious experiences? What is that experience? Is it the body? Or something else ?
The title here on HN says maximum, and on the article it says maxima.

I seem to remember maximum is singular where maxima is plural.
For example, if you want to serialize a type whose fields are all public but it doesn’t implement `serde::Serialize`. A lot of crates have an optional `serde` feature for this exact purpose, but not all.

Another use-case is if you want more abstraction than the standard library. There’s a crate named `cc-traits` that exports traits for collections like `Insert` and `Remove`, which are implemented for types on the standard library. But if you’re using a third-party collection library like `btree_vec`, its types don’t implement the `Insert` and `Remove` traits, and you could easily implement them manually except for the orphan rule.
I love Pico-8. This is quite impressive given the constraints you had to deal with. What techniques did you have to use to fit it all?
> All is set and done

For the record, the phrase is 'when all is said and done'[1].

[1]: https://en.wiktionary.org/wiki/when_all_is_said_and_done
I think this makes it sound a lot more difficult than it has to be, with the formal theory.

When it's really one of the most simple things if you divide it in parts and look at it from a tokenizer (string to list of tokens) and parser on top. Where the tokenizer can usually be very simple: a loop, large switch on the current character, where a choice is made on "what can this be", and making it into a formal token or error. Then a simple recursive parser that can almost be a 1 to 1 copy of the (E)BNF.
Yeah, sometimes the ball does some crazy things due to the way collision detection works. We tried to optimize and avoid most of the issues but it can happen.
I don’t think anyone is downvoting you for saying Python is slow. You were downvoted because it’s not a substantive comment. You’re replying to a title instead of engaging with the contents of the article, and even then it adds nothing to the discussion since “that slow” isn’t well defined, anyone could say “yup” or “nope” to any imagined value of “that”.
Predicting next moves of some expert chess policy is just imitation learning, a well-studied proposal. You can add return-to-go to let the network try to learn what kinds of moves are made in good vs bad games, which would be an offline RL regime (eg, Decision Transformers).

I suspect chess skill is completely useless for LLMs in general and not an emergent phenomenon, just consuming gradient bandwidth and parameter space to do this neat trick. This is clear to me because the LLMs that aren't trained specifically on chess do not do chess well.
I love how he is porting every local attack to web applications.

I am also a bit frightening that the number of attack you have to know for the Burp Certification keeps getting longer.
'It's impossible to breathe': Life in the world’s most polluted city
The hard problem is not sharing the trait, but sharing the trait instance.

With your solution, if too modules define traits with identical type signatures but different implementations, it would be impossible for the compiler to decide which impl to use.
People with reason ... sound reasonable.

I think some prominent people on X who are good at reasoning from First Principles will double down on things rather than admit their mistake.

The other very prominent psychological phenomenon I have observed in the world is "Projection", i.e. the phenomenon of seeing qualities in other people that we have ourselves. I guess it is because we think others would do what we would do ourselves. Trump is a clear example of this - whatever he accuses someone else off, you know he is doing. Point here being that this doubling down on bad reasons in order to not admit my mistakes is something I've observed in myself. Reason does indeed help me to try and overcome it when I recognise it but the tricky part is being able to recognise it.
portability in a language is sort of like the right to persue happiness vs a garantee to be happy.

A language can't direct the rest of the universe to ensure that something always works regardless of the environment or context.

But it can avoid adding it's own limitations and be agnostic itself. So c is very portable, even though c on machine A has acces to machine A features and not machine B features.

Libraries and frameworks and standards just help a little for a few common cases but they are just travel power plug adapters, not pprtability.
conventional ultra thin lens cameras are mostly endoscopes, so it's up against this: https://www.endoscopy-campus.com/wp-content/uploads/Neuroend...
This link also did not work for me.
We're still getting multiple quacks put in charge of government science agencies. They're not withdrawing because the "guard rails" show no sign of working.

It took a literal pedophile to trigger the guard rails.
I really miss the feature of CSR devices that allowed keyboard and mouse use before OS boot, and wish any modern Bluetooth receiver was capable of it. Is it a patent issue?
The superpowers of coatings make possible the impossible
How can it be that JS (i.e. Node.js) is not included? I would bet it has a much higher prevalence as a server-side PL than e.g. Scala.
Hackers can wirelessly watch your display by HDMI radiation
That isn’t real Rust code, though it’s made up of valid bits of Rust syntax.
> Different people have different appetites for magic (and different definitions of what magic is).

Magic just means "I don't understand this"

And whilst I don't think it's that complicated, I also don't think you really need to understand how TLS works to use it any more than you need to understand auto mechanics to drive a car. It's faster than walking.

> I feel like thread-local takes this magic to the next level:

> assertEquals ( three(), one() + two() )

> is really:

> assertEquals ( three[thread m](), one[thread n]() + two[thread o]() )

So I think it's more like:

assertEquals ( thread[o][three](), thread[o][one]() + thread[o][two]() )

versus:

assertEquals ( data[three](), data[one]() + data[two]() )

That is to say:

- TLS is indexed off of a base address, just like data.

- The thread "o" is going to be the same in each expression, so if thread[o] can live in a special-purpose register like %fs then it won't take a general-purpose register. If data can live in a special-purpose register...

Perhaps with a better picture you too will consider TLS is basically the same as non-TLS, except it's sometimes faster because, well, special circuitry.

If anything accessing via "data" is the weird one because even though it looks like you could just set data=0, you'd find almost everyone does it indirectly via %rip, and a variable "foo" is going to be %rip(-5000) in one place and %rip(-4000) in another, but would always be %fs:-26(0) if it were TLS.
Weird, can you see it on the github page tho?
Don’t know if this would help your case or not, but jart’s llamafile seems like it would be useful

[6] https://github.com/Mozilla-Ocho/llamafile
UPS drivers are teamsters and are pretty committed to the company. You need to work your ass off in distribution centers and other places before you get in a truck.

When FedEx was falling behind by not having ground service, they bought another network (RPS iirc) and built out a network of contracted providers. In my area, it was the companies that did newspaper delivery. Some of them are ok, most of them suck. I think the residential delivery is all contracted, but business services are FedEx badged people in some scenarios.
If it displays the outwards appearances of reasoning then it is reasoning. We don't evaluate humans any differently. There's no magic intell-o-meter that can detect the amount of intelligence flowing through a brain.

Anything else is just an argument of semantics. The idea that there is "true" reasoning and "fake" reasoning but that we can't tell the latter apart from the former is ridiculous.

You can't eat your cake and have it. Either "fake reasoning" is a thing and can be distinguished or it can't and it's just a made up distinction.
Maybe it makes more sense as a community project. Not sure how difficult it'd be to extract it from Webkit...
I hope this doesn't mean the end of running Chrome on unofficial hardware via ChromeOS Flex. I would have to think that would be affected since x86 is no longer supported by Android.
The article points the contrast between how cows and how cattles are represented. "With ‘cattle’ you see lots of typical landscape scenes; lovely green meadows, maybe some water, and groups of nicely-painted cows grazing away." The cows paintings have different composition - a little to no background and a single standing large cow in focus.

Likewise, there is contrast between how highland cows are represented - from the front "the cows look like they’re posing for an album cover.". They do indeed look like a cow metal band could. They dont look rectangular, they look hairy.
Overall temperature isn’t 90C but your lunch could be in contact with those temperatures:

https://www.clickorlando.com/news/2019/09/26/heres-how-hot-t...

“In a locked vehicle, a dark dashboard, steering wheel or seat can often reach temperature ranges of 180 - 200 degrees F, which then warms the air trapped inside a vehicle.” 194F is 90C.

And that’s Florida, other parts of the globe have higher outdoor temperatures which result in higher internal temperatures.
SBitx V3 Raspberry Pi Based Ham Radio, SDR Transceiver Basic Overview
The smarter a person is, the better they are at rationalizing their decisions. Especially the really stupid decisions.
Self-Hosting Isn't a Solution; It's a Patch
Big thread at the time https://news.ycombinator.com/item?id=34474043
MIT to waive tuition for families making less than $200K
Its been a long time since someone built something like this for the web. Praystation was a long time ago. No one has really followed up since then.
I mean, C#'s IEnumerator is equivalent and is way more complex. You just don't need to think about it much.
5km down. That's deep. Deepest water depth for an oil well is only 3km. Nobody has ever done ocean mining that deep. Is it worth it? It's just cobalt and nickel.

The US has one cobalt mine. It closed last year when the price of cobalt dropped from $40/pound to $15.[1] Now the price around $12. For that mine, they need at least $20 to start up the mine again.

Something similar happened in rare earths. The Mountain Pass, CA rare earths mine has been closed and opened several times since 1985 as prices went up and down. Right now, it's running but losing money.[3]

It's nice to know there are some deep ocean resources down there if necessary, but extracting them looks uneconomic right now.

[1] https://www.npr.org/2023/12/14/1219246964/cobalt-is-importan...

[2] https://www.dailymetalprice.com/metalpricecharts.php?c=co&u=...

[3] https://s25.q4cdn.com/570172628/files/doc_news/2024/11/MP-Ma...
Maybe not far off from 90, given you can fry eggs in open air in the sun and for that you need 65.

https://www.youtube.com/watch?v=PhYkUuvDsGA
The remarkable life and astonishing times of Dwight Smith Young
we've had very good chromatic aberration correction since I got a degree in imaging technology and that was over 20 years ago so I'd imagine it's not particularly difficult for name your flavour of ML.
I was searching on the net but couldn't find it: does some one remember the floppy zine on the Amiga with releases of Flip the Frog and Banana Man comics? I will otherwise look in my old floppy stack if I find time ..
Well, Deepness is set a few thousand years in the future, so we've got some time to work on it.
Right, and the point ppl are making upthread is that deterministic signal processing and probabilistic reconstruction approaches are apples and oranges.
ServerlessWP: Host WordPress Sites on Vercel, Netlify, or AWS Lambda
I wouldn't spend money on the absolutely newest hardware like some new car buyer unless I were a decamillionaire, but even then, I don't think unthrifty habits are all that wise to adopt because they "leak" into other areas of life and habits also.

An 2021 M1 Max 64 GiB 2 TiB is only $1800, while an average 2024 M4 48 GiB 1 TiB is $4000. I'll take 1/3 more RAM over just slightly better performance and worse reliability for half the price. As long as the battery has at least 85% of life remaining and the SSD doesn't have excessive volume of wear, it's a better choice unless you absolutely needed every second of time and you're making $1M TC or owning a startup with a funding run-rate / TTM crunch like you're going to turn into a pumpkin at midnight.
Some insightful stuff about open source.
If there are two modules module_a and module_b, and each defines a function called foo, how does the compiler decide which foo should be used? It just checks whether you imported module_a::foo or module_b::foo.
Implementations are not imported at all because they are not named. Like I wrote, named implementations (ala ML modules) is a valid alternative, but one with a much greater annotation burden.

You could imagine having named impls that are allowed to be incoherent as an additional feature on top of coherent unnamed impls, but to use them you would need to make any code that depends on their behavior parameterized by the impl as well as the types. In fact, you can pretty trivially emulate that behavior in Rust today by adding a dummy type parameter to your type and traits.

Again, it's all a set of trade offs.
Arm lays down the law with a blueprint to challenge x86's PC dominance
Maybe I'm just already brain damaged in an irreparable way or am potentially a superhuman badass capable of doing all the drugs without consequences...

I think it's bad to give amphetamines to kids...full stop. But it isn't similar to castration or a lobotomy or even in the same order of magnitude in terms of long term irreparable effects.

Stimulant drugs of that nature tend to be more tolerable than opiates or benzos or a lot of other drugs often prescribed for common mental illnesses (and often to kids).

My issue with the whole discussion is not that we shouldn't take a hard look at our amphetamine prescribing tendency and try to resolve the underlying issues instead of putting on a drug band-aid...my issue is that it is implying some sort of long term catastrophic damage for kids or adults that may have undergone that sort of treatment in the past. And it's asking them to start adopting a blame mentality and potentially start using this great potential (imagined) future that was robbed of them as a coping mechanism.

They aren't mentally handicapped, and they shouldn't think of themselves as being the equivalent of somebody that's been castrated or lobotomized and therefore permanently mentally disabled in some way.

Yes, giving amphetamines on a regular basis to kids is mind blowing. It's also not the end of their lives.
Not identical but I started building a smart bookmark tool that stores the content in vectors and sqlite dB and hosts them in GitHub issues with labels managed by the ai. Check it: https://undecidability.com and code lives at https://github.com/irthomasthomas/label-maker
It's a bit rough but there is a working cli. It uses local jina embeddings model but openai logprobs to determine when to create new labels.
How to give a senior leader feedback (without getting fired)
> "The original note-taking program"

There were many note-taking apps much earlier. Even on the Alto they had note-taking apps. In the eighties, systems like Lotus Notes appeared. And not to forget the many outliners, e.g. MORE on the Mac or Ecco Pro on Windows.
I'm spit balling here so definitely take this with a grain of salt.

If I only see legal moves, I may not think outside the box come up with moves other than what I already saw. Humans run into this all the time, we see things done a certain and effectively learn that that's just how to do it and we don't innovate.

Said differently, if the generative AI isn't actually being generative at all, meaning its just predicting based on the training set, it could be providing only legal moves without ever learning or understanding the rules of the game.
Newtonian mechanics also was a well established theory with multiple confirmations, but that did not mean the predictions it made were exact.

Shor's algorithm working for large numbers would rule out some of interpretations of quantum mechanics like objective collapse, something that have not happened yet.

In any case my argument was not about any particular interpretation of quantum mechanics, my argument is that building quantum computer allows us to test our understanding of physics in conditions where it have not been tested yet. And so even if that did not produce any additional benefits the testing itself would be worthwhile.
Serious question: was your copy written by AI? What about the code?

Frankly yours seems like a spam account, only posting your own stuff, and the copy on this website is atrocious. It’s long-winded and most meaningless babble. Everyone looking for an HTML to Markdown converter knows what they want it, the listed reasons are bullshit fluff.
At least one won’t feel bad about not being able to intercept it since it never showed on the radar.

also they only have 2 of these and the second one doesn’t work
The ASDF controls are absolutely backwards while the cursor controls work.
So...copyright theft then?
Do you believe that the people who manufactured the citykiller thermonuclear fusion bombs that exist presently today did so with the express intent that they be detonated and thereby kill millions of innocent people, or do you recognize that perhaps in constructing them they might serve a different purpose than to be detonated?

Guns are the reason police don’t get punched in the face or attacked with sticks. They serve this purpose even while remaining holstered.
Two quantities with dimensions

D1 and D2 can only be added or subtracted if (and only if)
D1≡D2. For example, it does not make sense to add a length to a mass.

That’s not true though. Some units cannot be added together, for example all intensive units like speed, density, temperature etc.
Great work, it really captures the feeling of Marble Madness. Its maybe to deep of a thought, but I really fancy the spin of the marble, something that the original was not conveying as fancy as your version does.
I don't have a link handy (on my phone), but I was involved in installs of licensed Cambium 18Ghz radios last year that were pushing >1Gbps. PTP-800 was the model number, if memory serves.
The other side to the localizers is the communication / mesh networking, and the extremely effective security partitioning. Even Anne couldn't crack them! It's certainly a lot to package in such a small form
At one time it was thought that implementing lexical scoping for a lisp (with lambdas, etc) was not possible to do performantly and this is one of the reasons that lots of lisps had dynamic scoping. That said, scheme has lexical scoping and I think that predates GNU Emacs by a reasonable amount of time.
That was enjoyable. I wasn't at all interested in any of the "Netlify facts" but it was fun to push the marble around and I'm impressed by how smooth the experience was. Well done!
Thank you. Will try to get into this on the weekend. I'll reach out once I can ask a more informed question.
The solutions to all our problems may be buried in PDFs that nobody reads
This area is on the order of 100km x 100km. There is a lot of sea floor out there. And 5km depth is not exactly brimming with life. If it can be used to replace substantial amount of fossil fuel consumption it would still come out as net positive.
I’ve been to many USCF rated tournaments and have never once seen or even heard of anyone over the age of 8 try to play an illegal move. It may happen every now and then, but it’s exceedingly rare. LLMs, on the other hand, will gladly play the Siberian Swipe, and why not? There’s no consequence for doing so as far as they are concerned.
> This seems like a great example of a lot of stuff for which there are few tutorials currently.

Not OP but, what exactly you feel like is missing tutorials? It's a nice little polished experience, but I don't think there is anything particularly innovative or difficult to build with the resources that exists today. Or is there something in particular that looks/seems difficult from what they shared?
> The inputs and outputs of the model are human language, so at least there we know the system as a black box can be characterized, if not understood.

This is actually where the AI safety debates tend to lose. From where I sit we can't characterize the black box itself, we can only characterize the outputs themselves.

More specifically, we can decide what we think the quality of the output for the given input and we can attempt to infer what might have happened in between. We really have no idea what happened in between, and though many of the "doomers" raise concerns that seem far fetched, we have absolutely no way of understanding whether they are completely off base or raising concerns of a system that just hasn't shown problems in the input/output pairs yet.
Oh right, I just wondered if it was a loan word from German. I am hearing it more and more in English.
Sure, what does that have to do with third parties scraping shit and training their models on it? Which is exactly how these ai bros started their empire? These terms of services were updated after the genie was out of the bottle. Claiming otherwise is revisionist.
No one is stopping government leaders from spending money to develop, trial, manufacture, and sell medicine.

Yet not a single candidate campaigns on this initiative.

Also, patents are not a “natural” monopoly.
Do you have any texts/websites/papers that would allow one (me) to learn about "deeply rudimentary Lisp" and how to create one? I am especially interested in learning why 4 general-purpose registers are important and other lower-level details like that.
Referenced in a great broadcast tv show, Evil.

Where the character played by Aasif Mandvi suffers the same fate.

https://en.m.wikipedia.org/wiki/Evil_(TV_series)
It's done. Almost everything predicted will happen and in this century. There's no hope.
The issues of range anxiety and cost are alleviated largely by hybrids. I imagine the transition will be a slow shift from petrol -> hybrid -> PHEV-> BEV. We could use it as an opportunity to build out infra to support electric vehicles better to help drive the adoption of PHEV and BEV.
I thought that project already had salmon spillway weirs.