skysight-inc/HackerNews huggingface dataset:
LOL. And reveals uncomfortable truths about what the law has defined as a “crime,” where killing one person in a $100 drug transaction gets you life without parole, while fraudulently marketing OxyContin as non-addictive while knowing it is addictive, thus creating the opioid epidemic that has killed 500,000 people to date, and hiring McKinsey to solve your “my drug is killing people” problem gets you a $3 million fine.
I think we’re mostly saying the same thing.

The end objective is to get the levels of COVID-19 down to as low as practical as quickly as practical with a population that has a high degree of immunity against current variants. If people are immune they won’t get infected and if they don’t get infected they won’t give the virus a chance to mutate via replication.
My father briefly worked in the U.K. in the 80’s and claims that British nurses would say ‘you’ll feel a small prick’ just as they were about to insert the needle.

I’m not sure if it’s true but it has always made me chuckle.
I suspect they won't want Intel hanging around any longer than necessary because it will delay the point where they can stop supporting both architectures in future versions of macOS.
I wouldn't call shipping a few hunderd kilobytes js file with your html file "installing". I don't know about iOS but android should handle a local html file fine.

Installing LaTeX is MUCH much more work then passing a small JS file.
I still can't find the settings on Twitter (web) to get a plain normal feed. I still get them pushing "topics" and my friend's liked content in my feed.
Ah yes, here it is: the monthly HN note-taking app. I'm no oracle, but here are some posts you will see in this thread:

- The people that swear by notepad/plaintext

- The people that swear by Markdown or some derivative

- The old curmudgeon that still uses pen and paper

- The one guy that uses Emacs (Org-mode) and he swears it's not that hard "once you get used to it"

- "Here's how I take notes..." -- followed by some weird/cryptic way of taking notes

- The inevitable meta post (hi mom!)

You guys must really love taking notes.
https://twitter.com/dhh/status/1363958307707367427?s=20
I just don’t feel I get anything out of 4 hours that I wouldn’t get out of 1 hour.

Someone either solidly sinks their chances in that time, or they’re adequate.

Maybe I’ve never been in a position where I had to pick between two great candidates, but then, either one would have been fine.
It's a complete waste. It turns energy into nothing at all.
I love this, but they don't really call it what it really is.

This is the Midwest aiming to break apart coastal software ecosystems and distribute them more evenly across the nation. Big tech firms don't just use their might to unfairly fight smaller competitors, they also use their might to recruit talent to certain geological regions. This causes salaries, cost of goods, among other things to stagnate and hurt their own economies. The real word for it is pushing back against state to state income inequality by attacking the powers and structures that reinforce them, which in this case is technological conglomerates. If you've ever wondered why you get paid $80k to be a software engineer in Oklahoma while someone doing the exact same job with the exact same requirements in Silicon Valley makes $200k+, state to state income inequality is most of the reason, while cost of living attributes a very small sliver of that calculation.
That is true. I've been dealing with Varroa in the US since I started beekeeping. I've lost many hives because of Varroa. I ran my own experiments treating some hives and not treating others, trying to see if nature would allow me to select the strongest (Varroa-resistant) colonies and selectively breed them. I didn't succeed.
> can still overburden health care systems

But they haven’t. The prevailing opinion I’m seeing on HN recently is that the US didn’t do a “real” lockdown which is why there are still so many cases. They opine that Americans largely didn’t “comply” with the government orders rendering any potential positive effects from lockdowns moot.

If you take that at face value, then shouldn’t we have had an overwhelmed medical system by now?

The Denver convention center was turned into a makeshift hospital for almost a year. They never had a single patient. My relatives lost their low-paying jobs and are still jobless today.

Remember the military hospital ships that were sent to NY and LA? They never saw a single COVID patient?

At this point I just don’t see any evidence that our healthcare system overwhelmed in any meaningful way. It’s FUD.

Don’t try and post an article about how some random ICU was at 80% capacity. ICUs are designed to be near operating capacity because it’s a waste of resources to over supply.
You don't need async-std for coroutines (generators) in rust (or async at all, they are two different, albeit related features). Async is implemented using generators.
The more impressive part is that the sky crane shot pictures, video and data and had to download everything to the rover before it was cut loose. As soon as the rover wheels touched ground, the tether was cut and the lander flew away.
Bird watching goes both ways
Ok. Well, then...maybe your next hobby project should be in Nim. :-)
You were probably making that in California though, not WV or SC. Houses are less than a year of developer pay there.
New Solar Access Act aims to implement automated solar permitting in CA cities
How would a fresh graduate be able to write safe C code when even experienced people are unable to?

I have worked with multi-threaded C++ code long enough to see that it's impossible to work in a team while keeping the code safe. Usually servers crash and canaries catch it in production, but if we have type system improvements that solve these problem, why not take advantage of it?
Building a Testing Community
Looking for best practices.
> where did those platform preferences come from?

GPT-3. Which I think is reasonable - not a lot of work to read it through and replace it with "on Zoom, or next time you're in the bay area".

Good point on the calendar though.
All members of the AP aren't they? Most of what you see in the news is just parroted from AP feeds.
Quantum Vacuum Gradients
I'm still using my MD player. It will work forever.
Lessons learned from 10 Game Jams
Combining real-time data, market with speculators and a product that demand immediate, real-time delivery is a recipe for disaster.

When demand exceed supply, given the real-time nature of the product speculators can come in a take you to the cleaner if they had any chance to beat you to foretelling this would happen.

As I understand it, ERCOT puts a $9000 per MWh to put a limit on speculation, but then what happens is you have to take people off the grid.

The desire to "maximize efficiency" by surfing the demand curve with real-time data is not worth worth the expense of smart meters and risks. Dumb demand curves have another advantage: the utility is forced to over-estimate demand, creating a built-in safety margin.
ConfigurationGeneratorFactoryInterface

Writing stuff like that isn't mandatory.
So far life on Mars was not really confirmed, right? I thought this is the main goal of this mission.

https://en.wikipedia.org/wiki/Perseverance_(rover)

> The rover's goals include looking for past Martian environments capable of supporting life, seeking out possible microbial life in those environments, ...

Also see: https://en.wikipedia.org/wiki/Life_on_Mars

> To date, no proof has been found of past or present life on Mars.
That sounds pretty close to fighting words to me.
Hey World
Guess you didn’t get paid for your time?
This is a fundamentally broken model.

You get a good developer they fix the issue in a minute get $1.

You get a not-so-good one they take all day and bankrupt you.

You have an expectation mismatch, you pay the developers for their value not their time.

Better to have a model like Quirky did, $80 flat rate or something and obviously filter out the bad developers on sign up.
Demystifying SEO with Experiments at Pinterest (2015)
Assuming this is not sarcasm, this can be taken to any logical extreme of "tolerable". I'm sure there are many other new restrictions we can put in place that would make people's lives (more) miserable, that are nevertheless "tolerable".

Furthermore, can the world really handle the restrictions in place indefinitely? We've been locked down for a year, and it's certainly starting to feel like the wheels are coming off for many. The economic devastation alone has been staggering.

Epidemiologically speaking, sure, doing this forever would save the most amount of people from COVID. But we can't just look at this from that point of view.
If you want to understand how your local elections work, just go volunteer when they ask for volunteers.
> Any improvement over nothing is worth having.

Sure, only if you completely disregard the massive costs to these mitigations. The costs in terms of lost educations, lost careers, mental health, isolation, etc, etc, etc.... those all have to be factored into the equation. Sadly we are 11 months into this and people are still pretending like there are no costs.

To make lockdowns worthwhile, you'd have to demonstrate orders of magnitude fewer hospitalizations and deaths. Haggling over which country or state did better than the other by 5% or 8% simply means that even if the lockdowns worked, their benefits are almost certainly not worth the costs.

The impacts of lockdowns (or any NPI) should be clear as day to the common person looking at the data. Thus far, all I see are people nit-picking tiny differences between regions. Which to me is a very strong indicator that they were not worth the cost at all.

In short, your line of thinking is a perfect demonstration of covid myopia. Nothing else but covid has mattered for 11 months. I strongly assert that covid myopia is a disease far worse than the virus. Civilizations in the future will remember this period for our myopic focus on one specific risk to the exclusion of everything else--the virus itself will be but a small footnote in history.
Bit of a mythical man-month going on here, isn't there?
> some more powerful than others, and others not able to run efficient Argon2 implementations.

Like what? It looks like personally my phone is 4x slower than my desktop. So if I calibrate for one or two seconds on my phone, the security should be pretty acceptable. Do I need to worry about devices much slower than that?
Basically, you want to put two versions of the same file(s) into one file.

If you need two versions of almost same set of files, then
chose different name for the package, e.g. package-2, chose different base directory for package files, e.g. /usr/share/package-2, and chose different names for binaries, e.g. /usr/bin/binary-2. It's not a magic. Just look at examples, e.g. python2 and python3.
Maybe every contract like this should be programmed to the same API twice. Then you could at least compare it the two pieces of software agree. You check the disagrees and get the companies to fix them (should be part of the contract).

And don't tell me you can't buy two CRUD applications for 24 million dollars. It's a silly amount of money for such a buggy application.
I'm sure there are people that will do this, but I view it as particularly grueling work. If I want to work an 8 hour day to pay the bills, I need to work 8 hours at top efficiency since I'm always being watched, and on top of it, be social in different calls all day.

Some of my best problem solving is while I'm out for a walk letting my mind wander. This is very much not for me.

Oh, on top of this, I'm sure the dispute process after spending say two hours trying to do something and failing for whatever reason is going to be _fun_.
I've also found Google's AIPs (https://google.aip.dev/general) to be pretty useful when designing REST-based APIs.
The way I see it, one aspect of this is software literacy. The bureaucrats would only be doing the task by hand instead of fixing the bug (or even cobbling together a more basic automation! Excel could probably get them most of the way there) if they are a) unable to do it themselves, and b) can't/don't want to pay an expert to do it.

We can no longer afford to partition the people who understand/use business logic from the people who turn it into code and maintain that code. Period. It's ridiculous and endemic at this point. This problem permeates virtually every large organization in existence; public or private.

It's partly an issue of education, partly an issue of organizational structuring, and partly an issue of accessibility of technologies. But the sum of these parts has become entirely unacceptable in the year 2021.
Hamachi: The virtual private networking system
> that'll happen, but it'll be too late and the currency will have devalued 10x or more by then

Im curious why you think inflation in the US is going to go from <2%, not to 3, or 5, or 10%, but to 1000%?
Recall Gavin Now Has over 1.7M Signatures: More Than Enough to Force Recall Vote
> If you take that at face value, then shouldn’t we have had an overwhelmed medical system by now?

We did, in many cases, had overwhelmed medical systems at the local peaks, which were not nationally synchronized.

> Remember the military hospital ships that were sent to NY and LA? They never saw a single COVID patient?

You mean the ones that the military explicitly restricted to not taking COVID patients?

Yeah, I remember that. Funny how they never saw any COVID patients.
I may be wrong, but I believe this goes back to a suggestion made decades ago by Carl Sagan. Despite being in the mission profile for a number of missions, it never made it (and turned on) until now.

https://www.planetary.org/sci-tech/mars-microphones
Note taking is a broad term for recording thoughts and information; the requirement is difficult to define, and fairly fluid.

We've had pens and paper since ancient times, and people are still inventing new ways of organizing their notebooks.

I think "the way" might never come.
This topic is near and dear to my heart and at a quick glance, I pretty much agree with all/most of this post.

I gained multiple years of industry software engineering experience before joining academia (non-CS, graduate-level). And I was flabbergasted at the way software and programming is treated in research setting where the "domain" is not CS or software itself. It took me a few years just to get a hint of what on earth these people (my collaborators who program side-by-side with me) are thinking, and what kind of mindset do they come from.

Then I took a short break and went to the industry. Software engineering, hardcore CS; no domain, no BS. I was expecting that it would feel like an oasis. It didn't. Apart from a handful of process improvements, like use of version control, issue tracking, deadline-management, the quality of the tangled mess of the code was only slightly better.

Initially I took away the lesson that it's the same in academia and industry. But on further reflection there are two big differences:

- The codebase I worked on in the industry was at least 10x bigger. Despite that, the quality was noticeably better.

- More importantly, I could connect with the my coworkers in the industry. If I raised a point about some SwE terminology like test-driven dev, agile, git, whatever, I could have a meaningful discussion. Whereas in academia, not only most domain experts knew jack about 90% of software-engineering concepts and terminology, they were expert at hiding their ignorance, and would steer the conversation in a way that you wouldn't know if they really didn't know or knew too much. I never got over that deceitful ignorance mixed with elitist arrogance.

In the end, I do think that, despite enormous flaws, the industry is doing way better than academia when it comes to writing and collaborating on software and programming, and that the side-by-side comparison of actual codebases is a very small aspect of it.
I'm curious to see if Tree-sitter can be used to provide fast and rich code navigation. I was able to implement simple goto definition/references [1], not sure if it can be used for more advanced navigation features in a language-agnostic way.

If you're interested, GitHub is already using it [2] for that purpose and Sourcegraph is experimenting it [3]

[1] https://github.com/alidn/lsif-os
[2] https://github.com/github/semantic
[3] https://github.com/sourcegraph/sourcegraph/issues/17378
Unfortunately, I think he's happily retired from child rearing duties, and I know he happily spends most of his time fly fishing in Wyoming. ;)
I could be interested, completely falling in the category of early stage (turning 33) and wishing to transition. I have some experience in dev but I have not practiced since college. What kind of dev are you working on?
There are some very nice features in this release:

1. VSCode MR viewing and CI autocomplete of env vars (and in next version adding comments) which finally means I can totally stop using clanky browser GUI for that but people that like it can.

2. PowerShell Core as shell runner on Linux

3. Suggestion in MR like on GH

4. Follow user like on GH

5. Automatic changelog via push tags

6. Recursive view of parent child pipelines (still some murky UI elements tho, like not being able to expand child on parent, something that worked previously). Unfortunately doesn't seem to be working with includes on trigger...

7. Reviewer follow up and viewed items. So far IMO, GH PR was much more pleasurable experience, maybe those 2 features will fix those problems for me - I am not sure if its just some quirk on my standalone or what but on GL I can't really understand what is going on after first review and provided fix. On GH PR, it simply hides changed lines that were previously reported as problematic but not on GL, several times it even didn't show commits that came afterwards. Rebasing also seem to mess the process up. Maybe I am just dumb.

I wish pipelines will get some filtering love, like viewing jobs by name and/or their status. Not really sure why this basic and very important stuff was never implemented. I sometimes have to scan several pages to find last instance of the job I am interested in (note that I use monorepo and each sub-service has its own standalone pipeline and parent triggers only specific ones based on code changes)

Another wish is option to select subset of all possible child pipelines when manually creating pipeline - now it triggers all of them.
I believe those are better links:

https://newsroom.porsche.com/en/2020/company/porsche-siemens...

https://www.efuel-alliance.eu/en/

eFuels are produced from hydrogen which is extracted from water via electrolysis. The renewable electricity that is required for this process comes from wind and solar power plants. In the Fischer-Tropsch process, hydrogen is synthesised into a liquid fuel through CO2 that’s been taken from the atmosphere (power-to-liquid process).

Thanks to their compatibility with today’s internal combustion engines, eFuels can also power vehicles, airplanes and ships, thus allowing them to continue to operate but in a climate-friendly manner. The same applies to all heating systems that use liquid fuels. Existing transport, distribution and fuel infrastructures (especially filling stations) can also continue to be used.
An interesting anecdote I listen to during a conference on eVTOL.
A long flight with an electrified 747 will require more power from the grid than Heathrow's electricity consumption for half a day.
I specifically said people who wear headphones in common spaces, not while they are at their desk.

Common spaces are kitchens, bathrooms, lounges, etc. Places where in-person interaction will likely be necessary for physical coordination and sharing purposes.
>So it's really more of an issue of presentation? The techniques are fine?

Well, both techniques are ultimately just a way of representing natural deduction (for a different proof calculus that isn't closely related to natural deduction you'll definitely need different techniques). Proof terms are the representation you get from the Curry-Howard Isomorphism (essentially the derivation is left implicit since it is unambiguous), while tactics based proofs are approximations of traditional proofs written in prose.

Are they 'fine'? Well, maybe there's some amazing graph-based way that will make current approaches look completely inadequate, but at the moment they work and we just don't know any better way.

>I don't understand. I rarely work with it, but I was under the impression that it's pretty standard for writing math and science papers? Are there no WYSIWYG tools for working with rendered LaTeX? How do people work with it now, I guess is what I'm asking.

It's definitely the standard, but I personally don't find working with diagrams in it pleasant (though I know some disagree). WSYIWYG tools exist, but don't find much usage. Everyone I know simply has a preview window open right next to their latex code, so it's not really an 'interactive' process. If you're fine with that, I'd just recommend generating latex code from proof objects/tactics scripts (which there already is some work on as far as I know). You should be able to generate e.g. proof trees very easily, they'll just be massive.

>I guess the question I have is why does no one use them? Is it just inertia? I mean this is a thread about promoting the use of Lean et. al., so even the non-graphical, well-known tools are still kind of a niche, no?

I imagine it's a combination of all sorts of factors. Proof assistants are very niche, the community is very academic and proof assistants require a lot of infrastructure which is why most users are concentrated among a handful of proof assistants. Proof assistants using dependent types (such as Lean) are also programming languages which I think naturally biases them towards text.

>Are graphical proof assistants only good for students and teaching, not "heavy lifting"?

I don't see any reason why that should fundamentally need to be - but I think the same applies to visual programming languages, which are essentially stuck in the same position for whatever reason.

>In any event, I still feel that we can do better on the presentation side of things. (That's not controversial is it? The Lean folks are working on it?) I want to understand what kinds of software would help mathematicians.

I don't think this is controversial at all - _how_ to improve presentation on the other hand might be.

>In the meantime, externalizing and formalizing these subjective intuitive processes with the machinery we've got seems like a fun and useful challenge, eh?

Sure, but anything beyond very incremental improvements also strike me as very hard, so it's not an area where I would expect much change for now, especially because there's still a good amount of low-hanging fruit in the area of proof assistants.
https://www.bbc.com/news/technology-21043693

Not the same one in all likelihood though.
"ready to begin seeking the signs of past life."

This is a brilliant engineering feat but I don't agree with the premise of that statement.

This is NASA's own mission statement:
"The goal of the Mars Exploration Program is to explore Mars and to provide a continuous flow of scientific information and discovery through a carefully selected series of robotic orbiters, landers and mobile laboratories interconnected by a high-bandwidth Mars/Earth communications network."
Ding ding ding! RDP fillrate is the name of the game when it comes to N64 performance.

Even with the strange FPU/ALU combo that NEC did, you can get away with a lot on the CPU side.
It sounds like you've had bad experiences with some devs and you're applying that to everyone.

Maintaining a codebase written in C is far far harder than one written in Java and that's far harder than one written in Go.