skysight-inc/HackerNews huggingface dataset:
Theoretical physics and math are not like that. They have been building cumulatively for centuries.

For state-of-the-art research in obscure specialisms, of course you're right.

However, numerous papers and books cover more mundane subjects and there is no good reason they could not be readily accessible to anyone with an undergraduate-level background or at least a masters delving a bit deeper into the field of interest. Often the problem isn't dumbing down the material, it's simply poor communication skills.

Put another way, while our cumulative understanding of mathematics now covers a very broad range of areas, that doesn't necessarily mean the depth to reach a good understanding of any particular specialism has increased at the same rate. On the contrary, given that even the most specialised of theories must be something that an individual can come to understand and build upon within a single career, there is an inherent limit to how deep our understanding of the subject can go. That limit fundamentally depends on how efficiently we can build the layers of more elementary understanding on which the start of the art must rest.
Yes, you can still become a developer
> Why do you have the videos unlisted?

Two reasons:

1. By making them public, they show up for all of my subscribers on YouTube, but I assume most subscribers on YouTube want to watch "major" update videos like announcements, recaps, etc.
2. I didn't want a new person coming to the channel to get lost in the ~800 development videos rather than seeing the important ones.

> This is amazing, congrats.

Thank you! It's surreal to have spent this long developing something and finally launch it.
Shado.js v1.2.0 has been released. Update for Node.js date/time calculations
Automatic deletion of anything that looks like this. I get enough crap in my physical mailbox.
I've got a friend (who, yes, is a Brooklyn hipster) who puts out his new music in two formats: FLAC and cassette.
The title should be more explicit about the fact that they're talking about "military drones" as opposed to quad-copters, which was my first thought. It's pretty obvious at first glance after the first click, but still...

As far as the article itself, it feels somewhat worrying that the people who implemented these programs didn't think people would be bothered about killing other people. Someone had to have thought of that.
A $400k RSU grant is not $400k towards total compensation in the first year.

RSUs generally vest over 3-4 years, so at the end of the first 12-13 months, it’s another $100k towards total comp.

You may or may not receive additional grants in future years. If you get $400k grants every year, you might get up to $1M/year, but not immediately.
Well the US government, bastion of freedom and human rights can't have this can they? Time to replace people with AI and machines and Google is here to help.
Perhaps I'm misunderstanding something. I thought Hopper was not about Raptor tests but about VTOL as well. The FH had to wait while F9 got down the vertical landing science and engineering (though a lot of tests, explosions, delays).

StarHopper seems like it can use those learnings, and that was tested recently. The engine was already functioning on a test stand and mated to Hopper for static fires; the Hopper hop itself is testing the engine, sure, but also the complex math of doing a vertical landing with a gimballing engine, etc.

The general space industry considered reusabable spacecraft that land vertically to be pretty much impossible until F9 and FH did it. But Hopper just does that casually, you don't bat an eye, you don't even comment that Hopper was testing a new rocket dynamics/physics for the math that (almost) only SpaceX has figured out.

I just don't see the pessimism here. I've been watching SpaceX for 12+ years and I don't see any of the same issues plaguing them today as did in the past.

New issues, but not the same ones. The new issues have dramatically smaller turnaround time to resolve.

The days of 5-year SpaceX delays are over.
Also from the NHS website is this interesting 2014 report on grapefruit juice and diabetes. In the reported study, grapefruit juice was as effective at lowering blood sugar as metformin, a leading drug for type 2 diabetes. However, this report cautions about the results - the study was not carried out on humans, but on non-diabetic mice:

Could grapefruit juice protect against diabetes?

https://www.nhs.uk/news/diabetes/could-grapefruit-juice-prot...
Burnside's Lemma
Love how the perspective of this argument is that instead of drone pilots succumbing to a real sense that what they are doing is unjustifiable, this guy is an "ethicist" that is attempting to say that we need to find a way to train morality out of people so they can push remote kill buttons and feel fine.
I though this was a piece about how modern society pressures us to be good at everything, and how we are optimising ourselves to death.

Boy, was I wrong.
Median household income in San Francisco-Oakland-Fremont metro area is over $100K, for the state as a whole it's about $70K.

That's one reason the former isn't typical of the latter.
A station does not have to be entirely depended on earth, there are a lot of raw materials in space.

As for some reasons to grow, or manufacture really, things in orbit, landmass is one reason. There is a whole lot of real estate up there that we don't really have access to on earth. There is also the ability to send down materials to anywhere on earth without requiring a huge transportation network that causes things like roadway congestion. On top of those, building facilities that do heavy amounts of nasty polluting become less of a concern. It's not really as much of an issue to dump a bunch of toxic stuff into space compared to say, a river. I suspect nuclear power plants also start to become more viable as there is less of a worry over meltdowns as you're already surrounded by massive amounts of radiation and have no population to evacuate.
What? No org integration?

Who creates a Lisp based blogging solution with out support for org?
The headline is clickbait. A more measured debate about the issues is here https://xenaproject.wordpress.com/2019/09/27/does-anyone-kno...
Hang in there, one stranger to another.
feels a bit off to me, doesn't seem HN worthy to take a massive library that gives nearly all the functionality, make a few tweaks / bug fixes and present it on HN as something noteworthy.
but it works even if you have no insurance. plus it doesn't know what insurance you have. isn't that incompatible with what you are describing?
In other news, murderers experience some guilt. Government neglects Vietnam vets yet allowed to prey on vulnerable high school students.
Re: "No idea why you think this."

My comment above makes an argument. You don't have to agree with it, but it should give you some idea about how I came to my conclusion.
I was at Cambridge U and the college I was part of had an application from the child of a hyper-wealthy ruler of a notorious country. The money of the ruler could have materially changed the prospects of the future of the college. So what they did was create a new slot in the class especially for the potential new student, so no other students would be disadvantaged.

I would expect many schools would do a similar thing. Any school that would receive his kid's application would surely admit them under similar rules. He does not need to hedge his options.
It’s more like: you get in a car accident and the mechanic forces you to get a new car. The only thing is: you won’t know the price of the car until you receive the dozens of bills for the different steps of manufacturing (one for the steel press factory, one for the leather factory, one for the aluminum factory, one for the person who put it together, one for the factory it was assembled in, etc.) You also can’t find the price of this new car online and the mechanic won’t (or sometimes can’t) tell you.
Developers obsess about JSON for a simple reason, JSON works natively with Javascript. If you have a backend service written in C++, then communicating over JSON is easily consumed by nodejs and the browser.

Of course there are other data transport protocols, XML and ProtoBuf to name a couple off the top of my head, but those are extremely heavyweight.

If you want to use JSON for config files, again, they are easy to make human readable and parse. Grab an off the shelf parser and support whatever scenario users may need. Sure we have yaml and ini, or whatever key=value config format your project creates, but you'll be much more on your own with how deep you want to support various value types.

As far as your complaint or desire for JSON to be minimized or eliminated as a philosophy, I'm not sure why this is the top comment about a very well made and loved C++ library to parse JSON. Are you hoping your comment will change people's minds about what library to use or whether their system needs JSON at all? I don't really understand your goal.
Cool, thanks for the recommendation! Definitely have read the Boyd book and it was thoroughly enjoyable to see what an impact he had on aerospace.
It is New York Times, the egalitarian tribune; socialists don't like rich people and by extension anyone that earns more than average.
It's not yet 100% ready for prime-time, and certainly not for hundreds of thousands of tasks, but I wrote a ...hm... generic framework-wrapping framework (using Ansible as the first and only currently supported 'framework' -- but I'm working on a Terraform adapter, and plain shell-scripts. K8s is also planned), that supports optional typing of arguments. It also allows you to add other metadata to arguments (like documentation, references):

https://freckles.io

It can be used directly, using yaml. Or via Python (a bit like Pulumi, just more generic, and also a bit more flexible in other ways). Should be easy enough to also support other languages like JavaScript, although I think I'll write a client-library for a proper functional language first, because that'd be a really good fit, conceptually.

Still needs better (and up-to-date) documentation, and I realize I really have to work on my elevator pitch (as is probably quite obvious). But I'm already using it for most of my sysadmin/devops related tasks, and I'm growing more and more confident that the concept behind it is sound.

The ultimate goal is to allow users to build 100% composable devops pipelines, so that a complete app- (or whatever else-) infrastructure (including potential bootstrapping of physical machines as well as building container images, etc.) can be described with a single dict-like structure. That's probably a bigger piece of cake than I'll be able to bite off though :-)
I don't think there's anything wrong with that. Everyone pursues different strategies to achieve different things. I'd praise you for choosing a deliberate strategy if I was your friend. I feel like more people should be deliberate with their time and energy, including myself.
I think this is against the spirit of ShowHN. It’s someone else’s work with your logo.
Why not? It's true that the word "space" has different meanings when in appears in a math book, CS book or astronomy book. But we just have 3 different word2vec models. When I read something about math, I pick the math word2vec model and there "space" appears close to words "Hilbert" and "separable", while in the CS model, the same word is next to "complexity" and "memory". As I read more, I improve my word2vec models, but never mix them together. Now what happens if I'm reading something and don't understand the context? No, I don't switch to some general word2vec model. I rather try to guess which model to use and then reread the same text using that model.
but in this context TOML and JSON are almost isomorphic (ok, parsing JSON is more unreliable than many realize apparently). As far as I can see the problem is that it is difficult to convert arbitrary JSON object to C++ objects. TOML (I also like it, for different reasons) isn't gonna help with that.
It was in a biography about him. (I read it a few years ago. No, I don't recall the name, author, etc.)

A quick search of the web also gives me nothing and I don't plan to spend a lot of time trying to prove this. Perhaps this will suffice as a source to satisfy your curiosity:

https://news.ycombinator.com/item?id=20991909
Tesla Smart Summon Testing
I think a lot of AI research now is very narrow, but this ignores that there's also a lot of research in RL/etc that's working to solve the problem of generalization.

Meta learning is for solving similar problems from a distribution (like different sized boards in your chess example) and has taken off recently (only baby steps so far though). Modular learning is also becoming big, where concepts that are repeatedly used are stored/generalized.
This is an ad hominem attack. It lacks reason and accountability.

The original article carefully examined the facts and concluded that the pilots were simply not up to the task of flying the plane manually in the event of a runaway trim situation.

The religion of "Hate Boeing" is strong. The Russians have done their job well. Now it is time to smear anyone who relies upon facts and reason for having an unpopular opinion.
100 people per day out of how many people driving per day? I'm pretty sure it's a very small percentage. How does that compare to the percentage of self-driving car accidents relative to the number of self-driving cars? My gut feeling is that if you replaced every car on the road with today's self-driving cars, the accident rate would go way up.

There's probably a danger-maximum somewhere before 100% replacement, though. Some mix of highly-predictable self-driving cars and poorly-predictable human-driven cars will cause the most accidents, and a lower number of either will cause fewer accidents.
Creating the Go Programming Language [audio]
Maybe deliberate, but I don’t think it’s a good idea. This is an optimisation where the user actually sees the artefact/degradation. And that font would otherwise be used over the whole session.

Excluding bold copy on the page or using system fonts in the design seem like better alternatives for saving bandwidth. Or appropriate use of the font-display property. Otherwise I see this as choosing custom fonts and only half implementing them for a design.

And variable fonts still need two sets of outlines to interpolate between glyph weights, so they may not completely answer the problem.
Reverse Engineering the GlanceClock BLE Protocol
Please delete this post if it's against the rules. I have no way of doing that right now :(
This is far from finished, but it felt like it reached a state which can be shared.

Maybe there are owners of this product here which might want to contribute to this reversing effort or build something out of it?
Help much appreciated :)
Perhaps, but several orders of magnitude less bad than health and ecological problems from sunlight.
Could you elaborate? How can type I and type II error risks be managed?
Whether HoTT is a better foundation of mathematics (FOM) in the sense of being easier to use in practise is an open question. It's unclear even exactly what it means to be a better or worse FOM.

Note also that all well-known foundations, including HoTT are mutually relatively consistent, which amounts to being translatable into each other (so if you can derive a contradiction in one, then you can convert that into a contradiction in the other). However that is not so important in practice. Proof automation is most important for large scale reasoning. Indeed the Lean project was started with the explicit aim of bringing better proof automation to provers based on the Curry-Howard correspondence.
The distinction you’re making between agent and algorithm is meaningless for the point I was trying to make, which is that the only connection between this DeepMind research (agent, algorithm, whatever) and AGI have in common is the word “general”.

Their “general learning” tech doesn’t even generalize to barely modified variants of the original games it has claimed to master. I call bullshit.
I am totally with you on this - I just can't get over how utterly rudimentary and basic this thing looks! I can't wait to see it fly!

I am so used to seeing space stuff done in clean rooms, and things taking years and years to come to fruition (e.g. hearing about and seeing NASA or ESA probes etc getting made) that to see what is essentially a bunch of guys in a field just welding something together blows my mind.

I mean, is it just the outside that looks like that and inside it is ultra-exotic materials and tanks? Of course the engines are sophisticated machinery, but what about the insides? Are we just seeing the outer shell and it's all unobtanium nano-tube composite on the inside?
I used this library on bare metal arduino a year ago. It felt funny doing high level programming on such crappy hardware!
There is every way of knowing how much will be obsolete in Lean 4, as long as you're following the discussions at https://leanprover.zulipchat.com . The type theory of Lean 4 will be the same as Lean 3, there are some minor syntax changes and conventions for variable naming have changed from this_way to ThatWay but all the type theory is the same and the book will be an excellent introduction to Lean 4.

The main issue with Lean 4 is that there is currently no tactic state, but the designer Leo de Moura is currently hard at work at this, because they need tactics to start work on their IMO Grand Challenge https://imo-grand-challenge.github.io/ . Even when tactics are done, there will be no type class inference so the port of the maths library from Lean 3 to Lean 4 will probably not begin then. Type class inference is a complex issue and some of the chat on the zulip chat is about issues that users have been having in Lean 3 and how they might be fixed in Lean 4. But, in short, the basic principles are all the same. In short, I would thoroughly recommend this book.
>>>Our lifestyles not only can't pass environmental debts forward, they can no longer be defined by the extreme luxury of the top 7 richest nations at the expense of the majority of the world.

Outside of India and China, the developing world doesn't possess the military/technical capabilities to prevent the richest from securing the natural resources to maintain their gilded standard of living. Developing countries will either rapidly industrialize and militarize, becoming yet another part of the problem, or they are likely to be marginalized into migration, collapse, and death.

>>>Your goal is to avoid losing what you have today.

Which in practical terms applies to every human being, ever, who didn't become an ascetic monk.
Imagine the autoclave the size of a rocket.

Composite tanks on few rockets being flown with them are made in one of a kind, purpose built autoclaves
Contact email for the mods:

hn@ycombinator.com

You can discuss this with them to find out what your options are.
> This is basically how SpaceX seems to operate: rather than optimizing a single part of the system (like trying to get the most efficient engine), they try to optimize from a systems level.

They're optimizing for "real" reusability, as in eventually aiming for airline-like turnarounds. None of the earlier engines you noted were reusable except the RS-25, and given how long it took to turn the Shuttle around one could argue it doesn't really count as "reusable" in sense SpaceX is aiming for.

Aiming for reusability and ease of maintenance leads to different optimization paths, in particular we should expect that any one component is going to be less powerful, it'll need to account for wear & tear, not use once and crash it into the ocean.

But raw performance on a single trip doesn't matter much if you can just deliver the same payload in two trips to orbit instead.
Then you really lack perspective on what any warfare is: it's always critical, life or death decisions that have to be taken without sufficient information. US civilian to combatant casualty ratio in the recent conflicts have been significantly better than any other modern wars as well.

So, what do you suggest instead?
Thread-Safe Queues in Clojure
Wouldn't it be easier to mandate separated replaceable power supplies vs changing the electricity standard in buildings world wide?

Or make power supplies some sort of standard, so you can use your own expensive capacitor power supply instead? Or just shop for things that have separated power supplies?
>Raptor production is the real bottleneck, though.

They are shooting for one per day, no? Based on the differences identified in the three hanging under the Boca Chica vehicle now, it’s still in development.
I don't think normal people with right wing views are evil. It's just people.

But the right wing as institutionalized in American government has made their bigotry pretty clear in their implemented policies and rhetoric.
Lean 4 is no longer being developed in private; this was true a year ago but is no longer true. What is true is that Lean 4 is still not ready for the port of the maths library to begin, and we do not know when it will be. Furthermore, one cannot yet use Lean 4 within VS Code, which makes it more inconvenient to use than Lean 3. But we can wait. Lean 3 is good enough to do a lot of modern mathematics so it seems, and the community are happy to work with Lean 3 currently.
It's really a no-brainer.

3 years on a permanent resident visa in Canada gives you the citizenship and a passport that opens up a lot of opportunities. No other country in the world comes even close to this, Germany included. Canada is also a very nice and comfortable country, so you may just as well end up staying despite the pay being higher elsewhere.
It's not a thing, however acrobatic aircraft often have symmetrical airfoils, such that they can fly inverted.
The issue with applying for a green card while on a TN is simple. The TN is non-immigrant intent while the H1-B can be dual-intent. There is absolutely nothing wrong with applying for a green card while on a TN. However, if for any reason, you are denied, you have now shown immigrant intent making it impossible to continue on a TN. You can, however, continue on an H1-B because it allows for dual intent.
The Great Public Market Reckoning
THIS.
OMG, if my lifelong quest would end here...
Thank you!!!
This idea of central topic + attached resources in various formats is what I've been looking for, for ages.

I might test it asap, and later see how to adapt my ecosystem (Android + macOS) for quick/best access. Offline would be great.
I hate to break it to you, but this is exactly how chess masters play chess. Including bullet.

Source: am a master, rated 2500 in bullet.
PgTyped doesn't include a query executor. It transforms a query and its parameters into a format of parametrized query+parameter bindings, which are then sent into a Postgres DB driver of your choice.
A proper DB driver sends the query+parameter bindings pair to the DB. This means that the actual parameter substitution is done on the Postgres server and so SQL injections are prevented on the DB server side.
The driver we recommend and use is node-postgres. It does support parametrized query passing.