skysight-inc/HackerNews huggingface dataset:
I absolutely will criticize math academia for failing to teach mathematics.

Questions like "I give you a polynomial in x and ask you to find its zeroes" in textbooks and from teachers tell me fucking nothing as regards why I should bother to spend my precious time learning any math. Inevitably I might temporarily memorize some of it for the express purposes of passing some tests, but it's getting unloaded immediately afterwards because it's not important.

Programming, as I've already said, taught me the hows and whys of why math is important long after the student phase in my life, and I sorely wish someone or something in all of math academia would have taught me all that back then.

No other academic subject faces the amount of hate math gets, because their importance are all immediately obvious. Language? Communication is important, a matter of life and death. Social studies? Becoming a functional member of society is a matter of life and death. History? Learning from our past enriches our lives. The sciences? Of course it's important to understand how the universe and everything within it is made and works.

Math academia is a resounding failure because it only ever seems concerned with teaching the results. Fuck the results. Teach me the process, the vital context illustrating why I should bother to learn math. I don't need math to know I have two hands and ten fingers, show me how to do mindblowingly amazing things with math instead.

It's this critical lack of context that leads to people hating math, because we can't relate math to our lives with the way math academia teaches it. I will criticize math academia every chance I get until this is addressed.
In my specific case we all have roughly the same experience with each technology so it’s fine to consider people as interchangeable. Of course that doesn’t mean we don’t take preferences into account; it’s just to have a rough idea of our roadmap and know if we need to recruit.
> Deserts would look the same.

I don't think this is 100% the case. Most deserts on Earth actually have a relatively large variety of life in them -- even the most desiccated deserts will often have at least bacteria of some sort living in them.
Replacing coal with natural gas has huge impact. It was probably the main driver of the reductions in emissions in the US for the last 15 years. Natural gas will continue to displace coal, so additional emissions reductions will be had.

Solar and wind electricity generation also have a huge impact; they account for 10% of the electricity generation in the US now, but 20 years ago they accounted for roughly 0. The increase of solar generation was above 20% per year each year of the last decade (except one); wind grew at maybe about 10% per year. It's not likely that they continue at the same rate, but even if they grow at only 15% and 5% per year for the next 2 decades, the impact will be huge.

We can get to a point where we only have solar, wind, hydro, nuclear and natural gas. The natural gas will be the most economic way to deal with the intermittency of solar and wind. Then we'll switch to hydrogen. Then we'll decarbonize steel and concrete. We'll actually start doing that in parallel. Once concrete is decarbonized, there's no point in wooden buildings.
> This is actually the reason I'm insuring my house with the same company that holds my mortgage, so at least I don't have to pay the mortgage if they're wiped out in such an event.

How exactly do you think this would work? What jurisdiction is all this in?
My hope would be that we have an intelligent society that can easily see through the mistakes. There are so many mistakes and half truths on the news that it's almost not worth following. I view everything they say with some level of skepticism.
I agree that the goal needs to take car traffic off the streets, that would be the dream. I don't own a car and I don't plan to do so because on my city I can pretty much do anything I need to without it.

I wish it was as straightforward as adding 2 outlets on each street light pole but the government will still need to charge people for using it and well, if each pole could charge 4 vehicles at the same time, it could even work on my street.
They mention only in passing arguably the most interesting and currently important language, not least due to its frantic evolutionary pace - Javascript. And only then via TypeScript, which may or may not be an improvement to the underlying language. They do link to their own page on Javascript, but that page is more a side swipe than a considered analysis: https://deprogrammaticaipsum.com/innovationscript/

Software language theorists should (hold their nose and) take a very close look at Javascript.
I’ve taken to keeping as much of my info as possible in flat text files and flowing that into git. That in turn is easy to replicate and protect against ransomware and the like

Big media files are a bit trickier
Ice mining is honest work.
Effect of Long-Term Supplementation with Omega-3 Fatty Acids on Depression Risk
Check out

https://www.amazon.com/Mathematics-Its-History-Undergraduate...

which goes through the history of maths while actually _doing_ some maths at undergraduate level.

Also the lectures based on it by N J Wildberger

E.g. https://www.youtube.com/watch?v=HRD9X-2Bmdw&t=2692s
> 36% larger radius than Earth means ~2.5x more volume. If it has a similar density to Earth 2.5g would probably stretch the definition of habitable for humans.

Volume scales cubically, yes. And therefore, also does the gravitational pull by the object at the same distance to the center. But due to the larger radius, you are also further away. Gravity respects the inverse square law. This means that the surface gravity of an object that maintains the same density increases linearly with the object's size.

In other words, you would have 1.36g on the planet's surface, not 2.5g. But that's assuming same density. Even within our own solar system this is not true: Mars's surface gravity is 0.38 of earth's gravity but 0.53 of earth's radius. The gravity is lower than it would be if Mars had the same density as earth.
If you travel internationally or do any business, have a local bank and a proper international one.

A local banks follow local country laws, so in Canada, bank cards work in Cuba. However, employees are painfully useless about anything outside the country.

An international bank, because the employees aren’t clueless about internal transactions. However, they are under the strictest restrictions, cards don’t work in Cuba for example. Iran, Syria, etc will also be a problem. But I can move money between countries as easily as I move money between chequing accounts. Also, they send me my cards via DHL, not regular untracked mail like the very painfully dumb local banks.
This comment is handwritten, in a way
why don't you tell us what bank you are talking about?
Why is it so great to force children to socialize for 6+ hours with people they might hate and who might hate them? Especially in an environment where the adults are so undernumbered they can't possibly keep track of what's happening - and sometimes they participate in the hate towards specific children too?

With homeschooling, the parent sees what's happening and can protect their child. Nobody will protect them at school - especially if the school lies to the parents to save face/protect teachers. And nobody will ever pay for the destroyed family relationships this produces.
It's similar with FDIC insurance. Each account is insured to $250K only. You have a lifetime limit of some amount of payout as an individual from the FDIC.
> the Chief Engineer was the only person authorized to make changes to the master plan.

> the plans were printed out weekly for review at the status update meeting.

This is so quintessentially Japanese. Have a single point of failure in a rigid chain of command structure, but bake in a ton of paper redundancy. Nonetheless, I bet the lost laptop was an extremely advanced model.

In the early 2000s, my dad worked with some Japanese collaborators. They brought over some impossibly thin laptops that seemed a decade ahead of what you could get in the US at the time…and proceeded to use them to send faxes.
Are you implying he’d prefer to migrate to Mars than for humans to address climate change on Earth?
We would only be adapting to 1.36g according to mamikonyana - this sounds more plausible. Because gravity is a function of size, mass and density. Not only mass.
AST is first and foremost a representation of a parse, i.e. it shows how a serialized representation of _something_ was understood by the machine.

Due to this constraint, it is unlikely to be the most convenient way for a human to input that something.

Take arithmetic expressions, for example. The usual infix syntax as edited in a conventional text editor is very good, probably the best option that humans have for editing arithmetic expressions. Having to edit an AST structure explicitly would almost certainly be a loss in terms of convenience and productivity.

Or take a (raster or vector) image editor. They provide interfaces to editing image data in a much more convenient way than editing AST or other internal representations directly.
Data Mesh: What Is It and What Does It Mean for Data Engineers?
yes ,because what we need is airplane-loads of machine-produced paper notes to travel around the world
What's a bors, and why (don't) you want it?
Lego was a carpentry. They pivoted to build wood bricks for children. There was a warehouse fire snd they pivoted to plastic bricks
I saw it mentioned in a reply, but Soylent was the first time I ever heard the word pivot used for a business. Here is the hn thread for the article "The Biggest Pivot in YC History"

https://news.ycombinator.com/item?id=5812500
> anytime you get a bug your session goes away

This only happens for Segmentation fault type crashes which kill the entire Julia process, which shouldn't be common at all. Can you describe when you experience these issues?
The watch is more powerful than the netbook I'm typing on right now.
The 1k Chinese SpaceX engineers who never existed
> Accidents of history and the massive federal beauracracy created the crazy monster of ICD/CPT codes

Erm this is incorrect given that ICD are international it's actually the WHO that creates them source:

https://en.wikipedia.org/wiki/International_Classification_o...
IKEA’s knowledge graph and why it has three layers
What is absolutely meaningless is _which_ was the cause of this one particular event, since both clauses are almost equally plausible. I am obviously not claiming that the best course of action is not to mitigate anything; I am claiming that the best course of action is the same irregardless of the particular cause of this one event.
> temperate, twilit ring straddling them.

That sounds like a cool sci fi setting
Quiet Community Quitting
The industry could have used UDF. Derived from ISO 9660, but it supports read-write random access storage.

I'm guessing they didn't if FAT12/16/32->exFAT driver changes are comparatively simple, and/or results in a smaller code base to support FAT32 and exFAT on the same device (e.g. a camera).
Curiosity.

You start with a "What if", and it tends to nibble at the back of your brain. Then it evolves to "Why not?"

You hack it and see the light, or more specifically you fail to find a reason for the "not" part, and you make it.

And yes, there's an immense satisfaction for doing it. Not from "look at me" angle, but from "ach, it was possible, and I made it. It turned out I was capable enough to make it work. Let me get some tea" angle.

I like feats like this. Honestly kudos to them. Both impressive and fun. Delightful, more precisely.
The point is that they can reject you for subjective reasons even if you fully comply technically.
Actually, it is more like 300 million.

The coal formed because plants produced lignin but there was no organism that was able to break it up, until fungi evolved. Now it is pretty much impossible for new coal to form in significant amount (except maybe for peat bogs) because every tree that falls will rot.
This is a really odd definition of poor. Six figures of debt is almost nothing in the US, particularly if you have a real estate mortgage. You could have a six figure debt on a million dollar property for example.

Having $10 in your checking account, OK yeah that is weird. Considering just your liquid cash vs. your debt doesn't make sense. You have to take into account monthly post-tax income, monthly expenses, and the time it would take to pay off said debt using your remaining income.
Are we sure about that ? I must admit I'm not a geologist, but CO2 has a different chemistry as methane, it becomes acid when dissolved in water, how would rocks behave when exposed to acid for thousands of years ? Are the rocks still gas-tight when they have been emptied, which causes movement and potential fractures, or when fracking was used for extraction ? How does it work to pump back CO2 in the same field you extract methane from ? Do we even have enough room to store the massive volumes of CO2 were generating ? An accidental release of such a store of CO2 would be a disaster of enormous proportions.
4.4 GB currently for 18 tabs here. Just a few Github and documentation pages open. Nothing heavy.

PS: Then I opened another 3 tabs (of YT videos) and it jumped to 5.2 GB.
Interestingly, this further incentivizes staking centralization, with coinbase and its ilk being the safe options.
That's not their mission though.
i find it interesting that you only took 9 commits to do it as well (+244 -62 LOC) https://github.com/CompVis/stable-diffusion/compare/main...l...

breaking it out for others curious:

- modified img2img to accept 2 prompts and 2 seeds (and a slerpradius and output video path)

- uses imutil.Video to create a video

- stochastic encode with noise, then decode, then add a frame to the video, for all n_iter

one thing i dont understand is why OP keeps calling `.half()` on their models. googled it and it seems to be a newish pytorch feature for "half precision" but couldnt get a clear answer on why you would want that. anyone care to share?
At the desktop level, this would result in a whole new class of useless support calls.

At the SOHO server level, this might be useful. But the alternatives are already available: unmount the disk, or unmount and unplug it, or unmount, unplug, and carry over to the safe, or unmount, unplug, and carry to the backup site...

At the datacenter level, nobody has time to physically touch things.
Discussed here:

https://news.ycombinator.com/item?id=28574908

and here:

https://news.ycombinator.com/item?id=28587458
Show HN: Shape Up app (plugin) for Jira
For those who want to have a hill chart that is integrated with Jira's epics and stories.
Ask HN: How can I calculate CO2 emission of servers/VPS?
I’m trying to make a co2 balance sheet of our organisation. I can’t find good information on how to calculate server emissions in cloud providers (we are using mostly hetzner vps). I’m curious if somebody has some findings/benchmarks or some kind of formula to have an approximation.
On SDL, there's an SDL2+minimal ANSI C environment for plan9/9front called NPE.

The SDL2 audio and video libraries are just shims against 9front drawing/audio functions, and often they just work.
Indian Billionaire Closes in on Bezos with 1k% Stock Surge
With exactly zero liquid water available? Not likely.
As a web developer, I'm kinda jealous of how someone can just say "I'm gonna make this device this specific nostalgic game I love" and then just do it.

How do people do that?
128 GiB here. Still run into OOMs occasionally.
https://nitter.net/aarondfrancis/status/1438888219471491074

The "mobile.twitter.com" link doesn't work (for me, on desktop).
I think it should be more like, try to separate "formatting" and other changes into separate commits instead, you know like ones that change the whitespace all around, and other layout stuff, so diffs of the actual fix are easier later.
Very interesting, I'm glad to hear you are also building your own models and having success! I'm pretty tight-lipped about the inner-workings of mine, as unlike selling access to the generated signals, sharing details about the internals actually would hurt my edge and personal returns. That's why I've left the details pages intentionally high level and vague, in fact I think I may have erred on the side of too much detail already. I'm very impressed that you are seeing triple digit returns in the backtest of your model though without using leverage and long-only. Using long/short or modest leverage puts our platinum model into triple digits, but also increases the max drawdown and standard deviation of returns. I leave it up to the clients whether to use a riskier implementation such as this.

How long have you been running it live, and how far back does your backtest data run? How closely are you seeing real returns match backtest? After running live for over 2 years, I've seen up to 6 month periods where the model outperformed the backtest, but overall the models have underperformed to varying degrees as expected. Though I have spent hundreds of hours dedicated to removing noise and overfit bias, I've come to the conclusion it isn't possible to 100% remove it, which combined with expected market regime changes where legitimate patterns become unprofitable means that in the long run every model is essentially guaranteed to underperform its backtest, the question becomes simply to what degree. However, with a strong enough model, even underperforming the backtest can lead to substantial alpha which is what I and our members have experienced so far this year.
That was awesome! Thank you for the link.
A VC Interviews Leaders in US Defense (2021)
The interviews were conducted & summarized by Elad Gil. He published this after his investment in Anduril's series D.

The interviews focus on the opportunities for tech in Defense and perceived vs actual collaboration between the Department of Defense and Silicon Valley.
It is ridiculous that to get more than 16gb laptop PC it has to be a heavy gaming laptop, super expensive with high power consumption. At
least here in australia. And the 16gb ones can’t be upgraded further.
Nice, that Twitter announcement looks fantastic! Looking forward to trying out the new precompiled version.

And agreed that the folks at SciML (and the rest of Julia) have put amazing efforts into reducing the compilation lag from where it used to be :) I'm optimistic that things will improve--it'll just take some time.
Being on the cover of a major magazine (with an accompanying article) absolutely makes you a public person, and you can't expect people not to criticize your family for doing something that is still controversial.
By starting small, honestly.

When you take small consistent steps, you can go very long distances at relatively short time.
It's more it's like 38%. Hollywood accounting all the way. In particular the deadweight cost of the the AMA monopoly on licensing is like 50% of GDP, which doesn't sound possible but if you know what a deadweight cost is it's a part of the nation's income that can't exist because it isn't there. It's how much better life would be if a doctor were as cheap as an uber driver, or if people healing others didn't get medium security prison as a result. It's the greatest threat to National Security, more than Russia China and the Middle East combined. And it's a military problem, wounded soldiers yeah get help from the Veteran's Association but they have to compete for those doctors and it ends up...out of pocket if they really want good care. Military gets fucked paying for doctors. America spends more money on obesity, than it does on defense. AMA is treason.

Standard Oil had a lot of different shareholders, John D. Rockefeller was never majority owner, that was an organization AMA is an organization there's now medical families. Common heirs. Medical students from a medical family get little hazing compared to the rest. All the maneuvers they make to avoid the words "monopoly" and "cornered market" are of no help and mitigate nothing. So they know people get fucked off with those words, like bad, they're afraid of those words.
Needs heat. But that is all found thousands of km away.
Sponsored paragraphs that are indistinguishable from your main content and are inserted everywhere in your article increase the likelihood I will never come back to your website.
I hate the Amazon website. Compare going to geizhals.eu vs the Amazon store page when shopping for PC hardware. The search and filters are so much better and it automatically finds the online store with the lowest price.

What I would rather see is geizhals add books and groceries than have to go on Amazon for the same features.
100 light-years is out of reach for humans, I would say :D
I think it's probably just cheaper not to care. Customer support costs money, lots of money if you have lots of customers.
Also, if people depend on your product enough, or rather, if the perceived cost of moving away is higher than the perceived cost of staying, they won't leave.
At some point it's cheaper to hire a few lawyers so it's hard to hold you accountable, and to just suck up the few users who actually go through with leaving you over your shitty behaviour.
I'm a bit puzzled as to how split files with name standardization is an "extension." It seems to me that SEGGER is simply proposing a de facto file naming convention, and offering a few free tools (including a few abstraction drivers) to encourage adoption.

Can somebody fill me in, here- where's the value in what SEGGER is proposing, as opposed to what the entire IT community has already been doing for decades?
I can't find sources but having made a budgeting app in the past have first-hand experience from being in the domain.

Small businesses are well catered for with tools like Xero, QuickBooks etc.

There's a psychological issue of people treating their budgeting app as the bearer of bad news (shooting the messenger effect), which results in churn.

There's also a high correlation between people looking for budgeting solutions being in a bad financial standing which makes the justification of paying for the software less likely.
If all they did was criticizing we wouldn't have this conversation - plenty places do that.
Assuming you're using only Nixpkg and not doing pip install, npm install, cargo install and so on like many people suggest and do.
Personally I want eVTOL to happen.

Also, I love getting newsletters from meetglimpse.com
Or just use a free as in freedom Quake data, such as Blasphemer.
Those handwritten notes take people. People who want a job and will work hard.

At 1st Phorm everyone* writes notes that go with orders. Many people start as note writers and then move to other departments as they work alongside people and form relationships. Those people see the hard work that goes on and really get to the mission and purpose each and every day.

Sure, you can’t charge for the note. But hiring and building up a company who cares for your customers in small ways means hiring for other positions is easy: you’ve got the people right here.

Edit: everyone* who can. Obviously remote folks can’t do this…
https://space.stackexchange.com/questions/14383/how-much-big...

There's a table in that link of how much reaction mass is needed to reach orbit. At 1.5g it requires about 500% as much rocket as Earth. At 2.5g the number is ... much larger.
Researchers Design “E-Nose” That Could Sniff Out Parkinson's
> No person shall ... be deprived of life, liberty, or property, without due process of law ...nor shall any State deprive any person of life, liberty, or property, without due process of law.

I know I'm at risk of upsetting the "private companies don't have to obey the constitution" police, but if the government is essentially acting through banks to deprive you of life, liberty or property then maybe the bank should be providing some sort of due process to you.
Voodoo... that's a name I haven't heard in awhile... thanks for that fun memory. Those were interesting times.