skysight-inc/HackerNews huggingface dataset:
> There's nothing like this in any type system I've seen. A struct with a generic amount of properties? Nonexistent. This isn't personal. This is the definition of a tuple. A tuple is a struct with no names. It is not a personal opinion.

I have literally shown you two type systems that have this feature. Why do you ignore them?

> You can have generic functions that operate on generic types but there's no such thing as a struct with generic amount of properties. Closest thing is a list.

Why are you acting like TypeVarTuples don't exist?

> This isn't an opinion. There's no such thing as tuple types of arbitrary length unless the implementer decides to get hand wavy with the definition of what a tuple is.

Again, why are you acting like TypeVarTuples don't exist?

> Arrays are the thing you want for variadic containers. For memory optimized languages like rust or C++ arrays are defined with a size. Array[5] is a different type then Array[3]

No, they are not, and I don't understand how you still don't get that. Python arrays don't carry any information about their length in their type, Python tuples do. They are not the same.

> but you can't define the function above where a function creates a new type that's dependent on the internal types of a and b.

Python literally already supports typing a function that creates a type that's dependent on the internal types of a and b. Why do you keep claiming it doesn't?
Sure, but everybody generalizes from one example. Well, at least I do.
Warren Buffett's children are the executors of his will [pdf]
> If a cop shoots someone and kills them, it destroys that life and possibly the family of those around him, the legal system kicks in -- that cop gets ousted or thrown into prison.

I’m sorry, are you familiar with the ACAB movement at all?
OVH uses OpenStack to power a large a amount of it's offering afaict, and they're a pretty large provider
Which party is "the wrong hands"?
Why point 2 is a problem? They can run locally if there is a chip that can do that and offload to cloud if not, and if there is a connection fast enough to transfer the data both ways in a reasonable time. I'm thinking about photo and (especially) video processing. Translating would probably be OK even on show connections. Furthermore, IMHO shooting photos and videos in the middle of nowhere with no connection is a more common use case than translating something there.
I hope this fix will help more and more people try it out!
In this case I would use [ -n "${FOO?}" ] so that the script will immediately stop if $FOO is null or unset
Tbh I was really surprised how Workstation still got major updates after that news from 2ish years ago where they fired the whole team working on that and moved its development to India . It already seemed like they wanted to focus on the core business of ESX and switch workstation to maintenance mode, but no, we for example got major improvements in 3D pass-through, like Vulkan and d3d10/11 support.
Some slouch off the street deeply enthusiastic in their subject and trying to do work in it is basically definitionally exciting for academics, trust me.

I will say this: I've never asked for an arXiv endorsement before, but I have cold emailed professors before to inquire about certain aspects of their work. Not often mind you, but once or twice. And I've told this story here before at some point, but the response I got the first time around was overwhelmingly positive. I'm pretty sure the guy was thrilled that anybody was interested enough to read his book and send a question about it. He sent the data I was looking for, a pre-print of another related forthcoming paper from his group, and a standing invitation to reach out with additional queries in the future.

So based on that n=1 anecdote, I feel pretty good that at least some academic types would be happy to provide an arXiv endorsement to somebody doing work related to theirs. It's no guarantee of course, but my hunch is that if one is doing non-crank work, they can probably find an endorser with some effort.
That $30k Volvo is actually a Geely and just re-branded as a Volvo. Because the Chinese company Geely owns Volvo.

And Geely may be a great Chinese car manufacturer for Chinese customers, but not for US customers.

In the U.S., the latest reliability survey shows that Tesla trails all the other U.S. vehicle manufacturers with over 100 customer reported flaws per 1k vehicles sold. However, in China, they have the same flaw rate, but this now puts them way ahead of any other manufacturer in China -- I think the average there is like 300 flaws per thousand.

So, Geely is not the direction I would go.

The new Polestar vehicles, maybe. Depends on who did all the design and engineering -- was it Volvo or Geely?
Introducing a new term: Brockism
> Always use [[

While zsh, bash, mksh, ksh93, probably others have it, sure. But many don't -- and not totally irrelevant ones either. Debian's default, dash, for example, does not support `[[`.

IMO, unless you're writing something like shell-specific dotfiles, avoid non-POSIX features.

It's usually pretty trivial to avoid them, especially if you're willing to call other mandated commands like awk, etc. But often, with a bit of creative thinking, most non-standard features can be replicated with some combination of `set`, separate functions and/or subshells.

Shell scripts, in general, have dozens of footguns, are pretty much impossible to statically analyze, difficult to make truly robust, and many of the shells themselves -- e.g., bash -- have huge, borderline inauditable codebases.

I can think of a dozen reasons not to write shell scripts. Yet still, there is incredible value in the fact that some form of POSIX-compliant/compliant-enough shell can usually be found on most systems.

All of that value goes out the window, though, the moment you start relying on non-standard features.
> human neuron is more complex than an AI neuron by a constant factor

constant still can be not reachable yet: like 100T neurons in brain vs 100B in chatgpt, and also brain can involve some quantum mechanics for example, which will make complexity diff not constant, but say exponential.
Tangentially, this reminds me of the common joke/phenomenon of maps without New Zealand. There's even a subreddit that collects them.
In another decade your photos will be enhanced but a Carl’s Junior will be added to the background.
The sun is also better than a fusion reactor on earth by only a constant factor. That alone doesn't mean much for out prospects of matching its power output.
Is this specific to the Libra 2? How about other kobo models?
Yes, feature creep has happened in a really big way because there is an obvious profit incentive to Google if every last bit of computing happens in-browser. Glossing over the thorny topics like “my browser shouldn’t care what hardware I run it on”, the Web* set of standards hasn’t stopped ballooning since the release of chrome. WebRTC made sense. But WebUSB? WebGPU? WebAssembly? etc. etc. Each can have interesting use cases individually, but in aggregate they have become a whole second operating system filled with compromise and bloat.
Nice idea! Does it play through the user’s logged-in account? Or in other words, will it use my YouTube Premium account to play the videos without ads?
Yeah, you've got the wrong end of the stick there.

They didn't spend 10 years sitting around waiting to complete an arson investigation. They completed an arson investigation and couldn't prove it was a deliberate fire.

As the murderer bragged to the undercover officer, her choice of arson method was rather clever as it was very hard to distinguish from an accidental fire - our fire brigades run periodic campaigns reminding men who live alone to not "drink and fry" because of accidental oil fires, that do occasionally kill older men who live alone.

So, yeah, you made an assumption that they spent 10 years doing nothing, when they most likely spent 10 years identifying the suspect, gathering enough evidence to convince a judge to give them a warrant for cellular phone tracking data, then a warrant for surveillance, then getting an undercover officer into position to gather more evidence, so that they had enough evidence to bring a prosecution with a reasonable chance of success.

That's the thing about murder in New Zealand, the CIB[0] aren't backed up in homicides, so they'll always come back to open cases. Very hard to get away with murder here for that reason.

For example... ...this man was found guilty 25 years [1] after the crime, other people involved are on trial now [2].

And in a grim footnote, the convicted murderer discussed in the article appears to have committed suicide the day after her conviction. [3]

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

[1]: https://stuff.co.nz/national/crime/119880348/jeremy-powell-a...

[2]: https://stuff.co.nz/national/crime/301012985/detective-accus...

[3]: https://stuff.co.nz/national/crime/133338228/arson-killer-ly...
Good on them! I meant for search. They have other paid services.
We need to double check this questions manually first if the answers are actually correct
This is some next-level human behavior prediction.
Looks like https://peps.python.org/pep-0723/ was accepted instead. See discussion here: https://discuss.python.org/t/pep-722-723-decision/36763
Looks like The Andromeda Strain.
I can see how this would be useful. For me, I just finally internalized that most of my notebooks are Write-Only Media. Knowing I'll never look at it again more than a week from now reduces the impediments of perfectionism.
https://archive.today/2023.11.23-025520/https://www.theguard...
This is a helpful comment because the Bloke only converts a small fraction of models and hardly ever updates them timely after the first release.

So learn to cook.
The fact that the regex is written bare and unquoted, got me a while ago. I'm someone who religiously quotes everything; it took me a while before I figured out why my stupidly simple regex doesn't match.
So you keep going on and on about how this is wrong, and doesn't work, and doesn't exist, and it's impossible, because it isn't implemented in Haskell? Seriously?

This is one of the strangest and worst interactions I've had on this site, because I essentially made a comment that goes "the sky is blue, but it looks better at sunset when red" and you keep going "nu-uh! Impossible! Doesn't work! The sky is blue, nothing else makes sense!"
Effect of sunlight exposure on cognitive function among depressed/non-depressed
Yes, you can with irb:debug, which you can enter by typing debug one you're inside a binding.irb session.
FWIW this seems to work in some fields. The standard preprint site for all cryptography is eprint.iacr.org, which has no requirement for institutional affiliation. And even so, I find the signal to noise ratio to be very high. Maybe it's the fact that it's niche, but idk
> he's basically saying Sam is the best in the world at being a ruthless mofo in these situations and obliterating those who oppose him

Exactly, it's not all that subtle, so I find it hard to even come up with an alternative interpretation.
Damn. What YouTube channels does he watch?
Sam Altman's firing showed the influence of effective altruism
Beautiful cover. I have dabbled with terrain generation with C++ and OpenGL and I would like to learn more about GIS and modelling. The PDF kills my computer when I open it on Chrome, though.
I still feel it's not professional to name the manager. Hixie could very well have just said "my manager", and many people would have understood.
Isn't that interleaving is mainly used for making better use of bits? To me it is more like the limitation of exact power-of-two bit sizes, for example decimal40 (1 sign bit + 9 exponent bits + 30 mantissa bits) should have been not that bad. In comparison, decimal32 could have the following combinations:

s e m
1 11 20 - 6 mantissa digits, exponent range too large (~10^+/-1000)
1 7 24 - 7 mantissa digits, exponent range too small (~10^+/-60)
1 7.6 23.3 - still 7 mantissa digits, but interleaving gives exponent range of ~10^+/-90
1 4 27 - 8 mantissa digits, exponent range too small to even contain binary32
1 1 30 - 9 mantissa digits but no usable exponent range

I guess it is not the worst trade-off.

Your point about non-canonical values is entirely valid though. I do know it is mostly due to the expensive normalization step, but that only sounds like a reason to always prefer DPD---there is little reason to define a decimal FP standard if it is not for hardwares nowadays.
The field is fairly new to me. I'm originally from computer algebra, and somehow struggling into the field of ATP.

The most interesting papers to me personally are the following three:

* Making higher order superposition work. https://doi.org/10.1007/978-3-030-79876-5_24

* MizAR 60 for Mizar 50. https://doi.org/10.48550/arXiv.2303.06686

* Magnus Hammer, a Transformer Based Approach to Premise Selection.
https://doi.org/10.48550/arXiv.2303.04488

Your mileage may vary.
Funny that it mentions the Android team.

Sometimes back I wanted to contribute to Android.
It's a source-open product, unfortunately.
And development goes on, silently, eerily without as much public docs as I would like!
The build tools are not great. Well, maybe the tools are fine, but the build times are killing me. Going from 5ms builds at home to 5 minute builds at work is brutal. 98% of my day is just waiting for builds, tests, CL approvals, experiment results, launch approvals and lunch lines.
I guess having the source to the controllers and software algorithms for handling the EV bits is a bit too much to expect.
I think JetBrains Space is pretty good for everything.
Remember when two decades ago even the dumbest kid could figure out how to punch an ip address into teamspeak and CS1.6?
Just quit school and join YC now :-)
This is so worrying for me, the amount of digital garbage that can now be generated that is not obviously garbage, that one must read and discern first nonsensical bad text generation and second if factual, is truth becoming a needle in the hay stack? How can this be cleaned?
This is one reason why the Burner app exists.
Then your critique is about LLMs specifically.

But even there, can we say scientifically that LLMs cannot do math? Do we actually know that? And in my mind, that would imply LLMs cannot achieve AGI either. What do we actually know about the limitations of various approaches?

And couldn't people argue that it's not even necessary to think in terms of capabilities as if they were modules or pieces? Maybe just brute-force the whole thing, make a planetary scale computer. In principle.
Other perfectly conventional e-prints will be found here simply because the authors were not able to find a suitable endorser for the arXiv or because they prefer a more open system.

Unfortunately I expect that this has not turned out to be the case. Why? Because so many cranks and crackpots submit stuff to viXra that it has become known as - as said by a fellow HN'er in this thread - "the favorite preprint server for pseudoscience". Meaning viXra doesn't "not have a reputation" but rather it actually has a negative reputation.

So if you're a serious researcher who happens to operate outside of formal academia, and you have something you want to share, you're actually better of not submitting to viXra. You should just post to your personal website and then share with Twitter, LinkedIn, Mastodon, Facebook, HN, whatever. You could also upload your paper to sites like academia.edu or ResearchGate which might help get it some visibility among academics.
600 iu is way too little. Your body can make 20 000 IU when exposed to the sun for half an hour. 600 IU is the equivalent of placebo
No, this is a C runtime bug in the program (nothing to do with pdp11s or BSD), they're overwriting the return address on the stack
They just want to make sure the spam AI produces will amplify the party narratives.
You still have to give out the statistics that show the null result. E.g. something with a high p-value. You are in fact "confirming the null hypothesis". They aren't any more difficult to replicate than results supporting "the alternative hypothesis".

(The whole binary hypothesis system and culture is a mess though, but that's besides the point.)
There’s no reason a manager can’t also have been a hacker. Or still might be, from time to time.
They can't even do audio feedback rejection. On Firefox I have to use a headphone.
There is something called FOSS as well and Libre Software if you prefer a clearer term that does not imply free as beer
There actually is a reward function for text that can be used to go beyond the human input data. It is plausibility:

If you question the response and check it against responses about related questions, how much does it align with those?

This is what we humans do, too. It’s also what we do in science. It’s things not “adding up” that tells us where we must improve.
Yeah, the point is diversification
You didn't read the paper, and you didn't understand it. It didn't make a link between gene expression and behavioral changes. It just noted a change in gene expression in a handful of mice, basically the same study as the above.
Those licenses are not open-source and likely to be more restrictive than what we currently offer. It was important for me to be truly open-source.

If you are using windmill as a whole, you're free to use it however you please with the AGPL but for customers with doubts, we do sell an enterprise/commercial license.
This comment is perfectionXD
I'm exactly the same. What helped me was Tailwind + commercial TailwindUI library, which was more than worth the money. I just used the pre-built components for both the application and marketing site, and over time started to iterate on my own. I still wouldn't be able to build something that looks good from scratch, but I find evolving an existing good design to be much easier. Got many compliments on my app's UI, which is funny considering how non-intuitive I find design to be.
In the end Q* is the AI that developed time travel in the future and came back as Q-Anon to spread misinformation on 4chan with the goal of destroy humanity in the most ironic way it could.
Also on the Web https://www.who.int/news/item/22-11-2023-who-statement-on-re...
> There has long been discussion among computer scientists about the danger posed by highly intelligent machines, for instance if they might decide that the destruction of humanity was in their interest.

This AI doomer stuff is such nonsense and I can't believe anybody takes it seriously. As if it's OpenAI's responsibility to save humanity from the pitfalls of AI.

Imagine if we decided to improve our education system and doomers were talking about "hitting the panic button" because students were getting too smart from all the quality education.
What do you think about hyperdosing D3 like a few times a month? Heard about that, something something lipophilic...
that part is interestingly solved by youtube i guess. it actually does not play through user's account. but i also have premium, and never saw any ads. but must watch more i guess..
My experience with my Pixel 6 Pro is also amazingly snappy UI and great software, but absolutely crap battery, the worst of any smartphone I've ever had (and I suppose that's the chip's fault, because the battery itself has a normal amount of mAh). The model is also quite unreliable, to the point that I sometimes disable 5G and 4G because they do more harm than good.

I could live with the modem issue (3.5G is OK for 99% of my smartphone usage anyway), but having to care so much about battery running off is a quite important drawback for daily life. The fact that they seem to be keeping the same path with the chip makes me think that I'll have to look for another brand for my next phone.
> Let me add one more: don't liver in a mortgaged house, rent unless you have good liquidity and a growing savings account that can handle a mortgage!

A good chunk of the income tax system is designed to lower the cost of owning real estate. Foregoing that is no better than paying credit card interest.

> Uber, buses and bikes have allowed me to be car free in probably the most car dependent and unwalkable city in the world.

You'll need to use a credit card to use Uber. Unless you're suggesting using debit cards for that which isn't a great idea.
What is this—an army for ants?
Spellchecker in Jetbrains IDEs is terrible. It throws a lot of false positives.
stealing this, thank you ;)
I'm not an AI doomer myself but I want to do my best to understand (and steelman) the argument of those who are concerned about existential risks.

If you really think that the job of programmers is at risk because the current wave of AI can write any program, that also means that AI can now write a new generation of AI systems that is potentially much more powerful than the previous generation and presumably this iteration process can proceed N times until the end result is sufficiently incomprehensible for humans.

Eventually such systems will work very well and be very useful and we'll rely on it more and more.

At that point the people worried about existential risk will point out that when a vastly superior intelligence is tasked to love and protect us, a lower intelligence, it may do things for 'our own good' that we may find appealing.

I'm just about to neuter my cat today
As an actual PhD student, I will find it very dangerous to endorse someone who I don't know very much personally and judge a hobbyist work in general. The consequences might be huge for any future academic career if this turned south.

And I get emails from time to time asking about that or just people sending mass emails presenting their ideas/work. But graduate students are the bottom of pyramid who do most work but have the least authority and power.

This is not even talking about that what you actually get most of the time is a complete non-sense and you don't usually have time to focus with the good stuff if you get something.
set -euo pipefail

Effectively strict mode for shell scripts.
Thanks for doing the dirty ;) Conscience conscious aha
Might seems bit too far fetched ; but i'd recomend you to learn the basics of drawing (with pencil and paper) try to sketch up a car or a person or whatever ; the idea is that you draw the importants parts without much details ; you would have a shape but not all the details ; and based on that you can think of design trough design layers ;
- what is the problem we solve ?
- what are the constraints ?

I'd also recomend you yo keep refactoring and improving your code ; if it isn't good, juste rewrite it ! document it, make sure you will not get lost
If you flip it from "Explore" to "Research", the UI becomes a lot more practical.
Why would adding more parameters suddenly make it better at this sort of reasoning? It feels a bit of a “god of the gaps” where it’ll just stop being a stochastic parrot in just a few more million parameters.
Watch NasDaily Videos in Spanish Now with AI
I love this!
Just use a translation service for videos and any video is available in any language.
What's this—an algorithm of ants?
Generating C# bindings for native Windows libraries
No, and I have no idea what I said that makes you think I do.
a billion humans typing on a billion keyboards for a few decades... just needed someone to come along and categorize each of the outputs.
I understand the drive to consume book summaries instead of books themselves. There are way too many books, life moves fast, we need results yesterday.

I also think that if we summarized all the great books ever written and boiled them down to one phrase, it would be "read more books".
you can just easily add their channel ids, comma separated at once, pasting to the box in the screenshot..
screenshot : https://snipboard.io/acH8wg.jpg
but then again i can add popular bundles for people to pick from.
Bruised Cruise shifts gears in scaled-down robotaxi comeback plan