skysight-inc/HackerNews huggingface dataset:
I don’t think it’s just politics. It’s just a lot of work to build up a proof system to the point where it is useful for doing modern mathematics. Take the example from this article:

True or false – if x is a real number,
and x² − 3x + 2 = 0, then x = 1.”

My answer “False – set x = 2.

Lean: “OK, so it now suffices to prove that
(a) 2² − 3×2 + 2 = 0 and that
(b) 2 ≠ 1.

Lean nowadays apparently is better at this, but there’s millennia of ‘trivial’ theorems to add before it is truly useful to research mathematicians, and doing that isn’t mathematics, but still has to be done by mathematicians, because nobody else can do it.
"The AAMC strongly supports bipartisan GME legislation introduced in both the House of Representatives and the Senate, the Resident Physician Shortage Reduction Act of 2019 (H.R. 1763, S. 348)" - https://news.aamc.org/for-the-media/article/gme-funding-doct...
I've tried flaxseed several times. It always flaked off. I've never had the problem with more common, neutral oils like vegetable.
I don't think that's true.

Orchestra is probably difficult, but you can make a living giving recitals. It's not a salaried job, so you'll have to manage yourself and do the selling, building up your reputation in the right places, but it's possible.

For instance, a couple of months ago I went to the church to a recital with a cellist who was bicycling on a tour giving something like 40 recitals in a little over a month. I looked her web site up afterwards, and she charges the equivalent of 800 USD per job. It was near the end of her tour, and no, she didn't seem like she was falling apart. :)

I don't think there's any real money in recorded music these days. You're competing with absolute top stars from the whole world.

But classical music is a very different experience live. If you do the job well, introduce people to the music, help them understand it and give them a touching experience, people will want you back next year.
The author completely forgets there is a whole world outside the US, where public transportation is efficient, preferred, and often makes good profts too.

- Singapore has a very good bus+ metro system and people actually prefer it. Cars are heavily taxed which contributed to it, but their well planning has helped too. Airport served by metro, so is the Malaysia border, and every neighborhood has at least two nearby metro lines and a plethora of bus lines.

- Kuala Lumpur has quite heavy traffic, but they have two free public bus lines going around the important places in the city. They are free of charge, every 15-30 minutes, have their routes well marked, and even has free WiFi.

- Jakarta: they have the world's biggest bus rapid transit system. Dedicated lanes, platforms, cashless payments, and the massive coverage help this massive city to have slightly less traffic jams.

Jakarta also has motorbike taxis (ojek, Gojek/Uber apps) that serve the last miles well. They are quite cheap (about 10 US cents per km) and I doubt they will be economical once the VC money is burnt, but they are better than a sedan with a driver and a passenger.

- Berlin/Munich: Good tram system with commuter passes, day passes, etc. It's common to give the day passes to someone at the ticket machines when we are done for the day. They help keep the costs low in otherwise expensive cities in Munich.
Being recognizable is maybe one thing I could get past for the cool factor of having a unique paint job.

But that's also a commitment to nuke your resale value. If you plan on replacing the car before it's scrap, vandalizing it like in the article could be a ~$10k decision.
These types of "audiophiles" don't believe in the Shannon-Nyquist-theorem, there's no reasoning with them.
This is not the problem of a medium (be it a vinyl or a CD). You can put the same crappy mastering to a vinyl.
If the rumours are true Apple tried.
How to Sell Your Startup Company
From personal experience, this is not really true, there are some languages that do maintain some sort of mutual comprehension, but the vast majority in India have no guarantee of that apart from a few choice root words. Speakers of a particular Dravidian language will almost certainly not be able to understand another, and you could make the same argument for Indo-Aryan languages with a very high percentage of success. It's like calling English and French the same language because they have some words that have a similar root. Or even English and German.
I second the recommendation to spend time on LLVM, as there are decent books and tutorials, and it is in active use. It can also be helpful to study JIT compilers - see the .Net runtime code, or various JDK source code - since dynamic code generation has some different tradeoffs.
Maybe I'm taking this a step too far but doesn't Gödel's Incompleteness Theorems (https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...) state that a language can not define itself? You need a meta language to be able to define and specify a language in its entirety.

In other words, regex can not parse regex in its entirety. It's impossible.
Google started distributed systems at scaled. There's a reason those systems work even today.
To be precise: med school is (comparatively) a walk in the park. Years 3 and 4 of med school are a sort of "residency lite" where you rotate in different specialties, but the doctors don't really expect you to be useful, so it's fairly low-pressure other than odd hours. Study up so you can know what you're talking about, don't get in people's way, and you'll be fine. Residency is when the 80+hrs/week institutional hazing happens.
JPMorgan creates 'Volfefe index' to measure Trump tweets' impact on market
You may be right there, and it’s annoying. But sometimes you just have to let someone “know better” than you. :)
> This same argument could apply to airfields, but airfields "above" neighbouring geography are pretty rare.

Take a look at Congonhas (https://en.wikipedia.org/wiki/S%C3%A3o_Paulo%E2%80%93Congonh...), it's a very busy airport right in the middle of a major city, and its runway sits higher than the roof of many of its adjacent buildings. As a passenger, landing there feels like you are going to land on top of the buildings until the last second. If a plane overruns the runway, it'll go downwards, cross a major road, and hit a building on the other side (yes, this has happened: https://en.wikipedia.org/wiki/TAM_Airlines_Flight_3054).
Sosml: A Standard ML Interpreter Written in TypeScript
Food Delivery War in South East Asia
It never ends. Wife is an attending surgeon, and she's currently working on refining a grant proposal at 9pm on Sunday =).
It's assuming that the item you're purchasing would maintain the same real price. If it cost $10 to start, and after 10% inflation the battery now costs $11, this holds. (Well, it holds if you have some way to beat inflation with safe returns. US government bonds often but not always meet this requirement)

In the case of batteries specifically, I think it's likely that prices drop even without adjusting for inflation. This makes the price advantage even clearer.
I bet that the novelty will wear off in a few weeks. Now her car is just plain ugly.

If you want to customize your car at least do it well.
This kind of functionality should be in software, does is also directly affect weight (a bigger chip or similar)?
These attacks seem to be happening more and more (or reporting them more).

The DOE is funding potential solutions, saw this earlier this week

https://finance.yahoo.com/news/us-energy-department-funds-tr...
Funny. That reminds me of the License Plate xkcd: https://xkcd.com/1105/

There must be an "other" option, or at least, everyone who has to use the database will soon learn that when the model is "Harlequin", "yellow" doesn't quite mean "yellow".
It’s not quite that simple, sustainability is more than simply a binary choice between 100% synthetic vs other fertilizers. There is also a huge amount of inertia around crop types.

For example subsidies play such a huge role in agriculture we are far from the economic optimal usage just a local optima under current tax law. Consider what happens if we stop ethanol subsidies while paying some farmers to keep some fields fallow. ~40 percent less corn * 96,000,000 acres is quite a bit less fertilizer.

That’s not a recommendation, just a demonstration that the solution space is huge. Different subsidies and taxes can make a huge difference.
People hate to update docs so the majority of the time it's out of date even if it was the best ever at one time. I was never told this but reading a ball of undocumented code is part of the job so don't ever expect documentation when you start a job, especially at a startup.

Here are a few things that would make life easier.

- reduce the code's complexity. Some old-time programmers want to show off their skills at the cost of simplicity. Ya, ya you're god's gift to programming but the real skill is to program in a way that's easy to understand. And also saving memory is not your primary goal anymore.

- easy to update

- Summary of the software's function

-Major sections of the code should be titled and explained as briefly as possible incode.

- Docs should be part of the code review. I had a software package that would fail if the code was updated and the comments had not or the other way around. It was easy to disable but at least it made you think.

- Buy in from the management on keeping docs up to date. Very hard, managers want results not docs

-Regular review of the docs. Again, hard to achieve

- Make sure you don't abuse the manager's trust. If you say you are updating docs, you better be doing that.
"Some people worry that teleportation recreates you imperfectly on the other side"

Teleportation could recreate me perfectly, imperfectly, or better than perfectly - the issue is what happens to the original me. Rumor has it that after scanning your body the origin portal drops you into a trash compactor.
They meant 3^2 = 9.
We've almost had several nuclear weapons launched due to flaws in human decision making, two that were launched with the inputs of humans, and a ton of wars launched with the input of humans. What about an AI being involved automatically makes the situation so much worse?
Silly comment: a few of these could be done with a motorized helium balloon connected to a pulley with a rope.

Apart from being way less cool is it also under the effect of this kind of law?
2 + 2 + 2 = 3 + 3 becomes much more obvious when you think of a 3x2 rectangle and rotate it by 90 degrees to a 2x3 rectangle.
Really interesting. In Japan, the navigation unit on the Leaf has all of the charging stations built in. Then you plug it in and put your charging card on the proximity sensor (well, you have to push a button 3 times as well). But that's it. I think that's probably the advantage of owning the charging infrastructure. I'm very much wondering how the landscape will change once Toyota enters the fray (which I think it later this year if I'm not mistaken).
No, not really. This is probably closer to Chomsky's area than Gödel's. Gödel's theorem is about semantics, not syntax.

As a nice counter-example to what you said, you can define the Backus-Naur notation using Backus-Naur notation: https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form#Furth...
Wallpapers 10 best selections and uses
HKPF throwing tear gas at journalists with no protesters even around:

https://www.reddit.com/r/HongKong/comments/d1b4kg/hong_kong_...
Can a C program parse C source code? A Java program parse Java source code? Yes, they can, so such a general limitation couldn't be the reason regular expressions can't parse themselves.

Perhaps you had in mind the Halting Problem: https://en.wikipedia.org/wiki/Halting_problem#G%C3%B6del's_i...
> my phone doesn't have a CD-drive (wow, that would be weird...)

How about a floppy drive? https://www.youtube.com/watch?v=iT1l8Dcjb1Y
Scratch Foles endures cracked collarbone in Jaguars'
...but how?
There's obviously nothing wrong with that, but I think the parent was more referring to those who buy into "analogue-woo" (if you will). It's bad enough in audio gear, but in synthesizers it's near-universal - "Analogue Warmth" at the expense of price, reliability, noise etc.
Fortunately in Canada, we view busses as transport for the plebes. So when we finally brought LRT service up (a bit late) and the bus trip from home to work went from 45 minutes to an hour, my 15 minute driv was unaffected.
What is Man? And Other Essays
by Mark Twain

https://www.gutenberg.org/files/70/70-h/70-h.htm
Glad to see this on here. I grew up in a town next to National Forest, and learned that Forest fires are part of the natural lifecycle. Feels weird to see everyone blaming them on climate change.
That has been a thing for a very long time. Balloons are commonly used for lighting outdoors (reasons to do with shadows) but inevitably result in UFO reports if allowed too high. They don't work so well for cameras. Film/tv cameras are heavy. The balloons would need to be huge and ungainly.

https://www.youtube.com/watch?v=7WI5DkC2IK0

http://www.airstar-light.com/en/cinema/
>The USDA has its own unique, long winded definition, so does the EU, and so do many other countries, and private organisations.

It’s not “hundreds of pages” as you originally claimed, and the interpretation does not vary substantially among certification bodies, as you implied.

Supposing arguendo that there are major differences between the definitions in the US, EU, and elsewhere, perhaps that is a feature, not a bug. Many other regulations are different from country to country, and to some degree that’s the point of having different countries. Can you explain what the problem is?

>In this context the world has no relation at all to its original meaning, it cannot possibly be concisely defined, as the only way to define it is with an exhaustive set of rules and regulations, and has no consistent meaning, because you can only talk about it in the context of the rules and regulations defined by one of many organisations at a time.

The modern world (to include agricultural technology) is indeed complex and consequently the laws reflect that. It’s not that difficult for the professionals to understand the details, and while I agree that the handful of pages of regulations are a bit too much for the average consumer, that’s the point of distilling them to a few principles and a regulated label. This way the consumer doesn’t need to decipher fine print on every label if they want to be cautious and environmentally responsible with their purchases.

Do you have an alternative to the current system to suggest? As it stands it’s pretty good for everyone. Firms that want to use modern biotech are able to do so, firms that want to hew a more cautious course are able to pursue organic certification, and consumers have a variety of products to choose from without being overburdened by complexity in an unfamiliar domain. There’s always room for improvement, can you suggest a way to improve this system without disrupting things for all the current stakeholders (consumers, biotech producers, and organic producers)?
Frankly I would put it the other way around. We have a system of work that doesn't serve society's interests. Created scarcity forces people to do undesirable labor instead of things that would be genuinely worthwhile. Universities are already training too many middle managers, even though the market is demanding more middle managers. There's a difference between what the market demands and what free people would choose for themselves.

Disclaimer: I work at a university.
You don’t know that so why bother speculating like you do ?
There’s absolutely an extra switch that needs to be installed, but I think it’s not so much the transfer switch requirement but two main things; 1) the battery cost, and 2) net metering.

Grid tie solar with net metering gives you all the benefits of a battery (except blackout coverage) with none of the cost. In other words, you get full retail value for 100% of your solar generation no matter when it comes or how much power you happen to be using at the time (because the meter runs backward, the grid acts like an infinite perfect battery)

Net metering is a nice solar subsidy while batteries where extremely expensive, but as battery costs plummet I assume net metering will also disappear. It’s not really fair for the utility after all to be paying solar customers retail rates for their generation.

Without net metering you will only get paid for solar power that you happen to use while it’s being generated, or that you can store for yourself to use later.

Finally, I’m not 100% sure but I would imagine a solar system with a transfer switch and no battery will just immediately overload or brownout if the grid is not there to keep the voltage steady. I would assume you need a battery to be able to serve any variance in your demand (e.g. a compressor turning on) even if your 1 minute average demand is actually running below your generation capacity.

TLDR: Batteries need to be cheap and net metering needs to die before you see most solar deployments that can run off grid.

The good news — if batteries are durable then a battery backed grid tied system can actually pay for the batteries and then some, if you can arbitrage the demand pricing curve. This is a win-win for everyone (including utilities) and IMO absolutely the future we’re heading towards.
“Civilization and its Discontents” by Freud

“Frankenstein” by Mary Shelly

“Picture of Dorian Gray” by Oscar Wilde
We understand how people work and think pretty well, their edgecases, and countermeasures to said edgecases.

We don't understand edge cases of AI much at all, and the terrain-space of "possible minds" they might be is vastly broader than that of a human mind, and utterly outside our experience.

An AI might work with absolute 100% flawless precision for 100 years, then decided one day to kill everyone. A lot harder to see that coming from a totally alien intelligence than a human one. AI does not think like humans, have human values, or care about what humans care about, that might make them extremely unpredictable and dangerous.

There will be no time for iterative development, or learning from our mistakes, a sufficiently advanced AI knows we would try to stop it, and make sure that we never can.

https://www.youtube.com/watch?v=tcdVC4e6EV4
Surprised no comments about this...

Seems a bit concerning no?
Yep, have been on a project that was burned by this.
I think it’s clear the author is only talking about bus transit in the US.
The Count of Monte Cristo
CDs for sure sound better then vinyls. It is also nice that you don’t need to turn them over half way through the album. However, when buying new albums, they almost always come with a FLAC download code. So you really have the best of both worlds when you buy the vinyl.

ps. The copy of “Von” by “Sigur Rós” I bought recently even came with extra CD instead of a download code.
CheckPrint: Print Full Checks
I looked into 3d printing vinyl but it didn't make sense for my use case, which wasn't analog temp files.

We have the technology to 3d print records, though the audio-fidelity maybe isn't there (~2 years ago) for music more subtle sounds (jazz or classical). It also did not seem possible on an (affordable) FDM 3d printer and I didn't have access to an SLA 3d printer.

Keep in mind prints would take hours to do, on top of the usual delicateness of 3d printing.

Part of the joy of having a record is the rest of it, the album cover, the notes, etc. I wasn't trying to copy an existing record, so for me there was considerable effort required for those parts as well which made it harder to justify the extra effort 3d printing a record would have required.

Which brings me to my last point. There are numerous services that will accept a digital audio file and mail a physical record, in the $200-500 range (length/size dependent). Depending on your budget (esp compared to gaining access to an SLA printer and your time), that may be more effective.
Pretty sure they took the "men out of the loop" back in 1983 ... https://www.youtube.com/watch?v=5bF1_PGMAj0
The author said at one point that it was written in a bit of a huff of frustration, and if I remember correctly, also after a pint or two. It's not the best answer answer by any means, but it is one of those small gems of the web, I think.
The Secret Doctrine [0]

[0] https://en.m.wikipedia.org/wiki/The_Secret_Doctrine
Help Create a Top-Down View of LightSail 2
I thought vinyls needed to be specially mastered to prevent the needle from basically being pushed to the adjacent grove by an amplitude that's too high on the track.
This is great! Thank you for sharing your experience.

I have a couple questions with your notes about politics.

Could you expand on what you mean when you say "fall back to first principals"?

"If politics thrives due to team of company culture, switch"
Could you expand on this if possible?
Look at any of the "flash crashes" of recent years were out of control AI escalated the problem much faster than humans could react to it. Just take that and imagine that there are nuclear weapons involved.
Something else in addition to the compiler engineering

Pure compiler jobs are far and wide between. You might get a good job but your career movement will be limited.

I believe the future of compiler design will go hand in hand with the demands of the industry. Traditional “by the dragon book” compiler is a solved problem. The growth is in the application of compiler technologies to Machine Learning, distributed systems, specialized hardware.
British Pathé Newsreels Starring Creepy Puppets, Ranked
The problem is that there's different types of multiplication. The fact that multiplication over the Reals can be thought of as "iterated addition" is a consequence of commutativity. But mathematicians often generalize multiplication to various contexts as an arbitrarily-defined transformation, which may or may not be commutative. E.g. multiplication over the Reals is commutative; multiplication over Complex Numbers is commutative; multiplication over Quaternions is non-commutative.

Incidentally, "exponentiation is just repeated multiplication", right? Try using iteration to solve 0^0.

lim{x -> 0} (0^x) = 0
lim{x -> 0} (x^0) = 1

The "iteration mindset" doesn't always generalize cleanly.
You asked about examples of life simpler than bacteria. You didn't stipulate that they had to be ancestors. How would that even work, anyway? An organism would have to be extremely long-lived to be living concurrently with its direct, more complicated descendent.
Micro-Front End
Plato's Dialogues
Um you could always repaint it, right? (~$1500-ish??? Maybe???)

But she made it clear it already lost a significant resale value before the paint job - "heavily modified and long suffering"

People also don't generally custom modify their expensive possessions unless they are committed to ownership for the long haul.
I think he or she is rather saying that they are not entitled to any of it, if I understand the topic of this article it is possible to have local agreement to fly in specific areas.
As far as DACs are concerned, you’d be surprised: A few hundred dollars (e.g. Topping D50) can get you drastically better performance than many multi-thousand dollar “audiophile DACs”:

https://www.audiosciencereview.com/forum/index.php?threads/m...

Now as far as speakers are concerned, yes, you’ll need to spend at least a few thousand for a stereo pair capable of doing justice to this level of precision and dynamic range.
Asteroid wipes out continents and evaporates oceans in simulation
Dr Strangelove, Skynet in Terminator, all of this has been talked about many times before. The truth is that already most of nukes are probably automated to ensure the concept of mutually assured destruction works.
> Cassette tapes could replace vinyl someday as the hip alternative to digital music

well, there is DAT ...
You can also just buy ghee at the grocery store. (Although I might try clarifying it myself since ghee is probably 5 times as expensive.)
React Hook Pitfalls