skysight-inc/HackerNews huggingface dataset:
Ultimately all the interesting stuff happens in loops and branches, the rest is just organization.
I cannot speak for others, but I don't have objections to my students paying their own way. The two things I'll insist on are:

- subject matches my interest,

- we seem to get along.

Okay, I'll probably also insist on a few practical things (sufficient time to keep some pace, awareness of what conference attendance costs, satisfies the institution's phd programme entry requirements, etc).

But other than that: sure!
> July 5, 2020

This both confirms my statement that it's a recent trend, and that it's political instead of just about race(ism).
Nobody has lost sight of genetic differences across populations. I don't know why you are bringing that up.

But, there are no human 'races' in the biological sense. At best it makes you sound like you're discussing the politics in your Tolkien fanfiction. It is purely a social construct.
Australia's Covid Internment Camp
Oh, I can't say that it didn't. But I was only 7, and more amused by things like

10 PRINT "POOP"
20 GOTO 10

than, what, reading a non-existant manual? My parents weren't programmers, so I learned by stumbling in the dark.

But, you've got me curious. I recall using BASICA, GWBASIC and QBASIC -- reading over their respective histories, I'd have gotten my start on BASICA on a hand-me-down 286. I'm not finding good docs on the language, but a familiar program [1] uses FOR loops -- so they were supported. But I distinctly recall hand-rolling a for-equivalent loop with GOTO and IF, counting down to zero.

[1] https://web.archive.org/web/20130918210121/http://www.coding...
Become water my friend - don't stick to just one way.
Some of the most amazing feats of the 20th century were inflicted by Bell. It was an innovative organization (body of organizations) whose inventions impact our everyday life today.
I have almost the same one in my elixir.json when I use VS Code! I'm pretty sure your YT channel was the inspiration, and I've used that snippet a ton over the past year or two.

"Inspect": {
"prefix": "ins",
"body": "|> IO.inspect(label: \"${1:$TM_LINE_NUMBER}\")$0",
"description": "Adds a pipeline with a labelled `IO.inspect`",
}

The only difference is that my version above makes the line number into a tab stop section so it's quick to swap out with another label.
What are the eigenfunctions
Agreed, article seems to be of the "vaguely rambling against everything" genre, and of little substance.

For instance, what is the paragraph mentioning Aducanumab and ivermectin even trying to say?
What do you mean by "classic religions"? If you mean faiths like Christianity and Islam, then they're not fading everywhere. Globally, they're growing. Only in the West do we see a decline in Christianity and the rise of various New Age-y mythologies and superstitions.
You can use WD40 to clean the chain, but you better put real lube on the chain afterwards.
"it's early" is carrying a lot of weight there. Covid deaths mostly take a while, judging by past waves/variants.
They want power inside institutions and he, a dissident, was in their way. The cause is irrelevant here
sanskirt is dead language ..
I dont support government support for the arts. At least not in a direct way like buying PPs for library.

Should government buildings be beautiful and be tastefully decorated? Definitely, but no art for art’s sake - it degenerates it

“ These watches are built on antiquated technology and, by design, cannot be mass-produced, so clearly they will never lead to technological innovation.”

By that criteria a Roman era neckless is worthless. Human excellence is not about technology advancement. Its about human advancement. Ill never see a PP except on a store window in NYC. I’ll probably never get around to see the Hagia Sophia either. But I’m overjoyed that humans can build the Hagia Sophia and relieved that in this era of mass produce mediocrity there still are artisans with the focus necessary to make Japanese charcoal, or PPs
>Really weird to immediately shoot/ad hominem the messenger

They said "If true, it's probably reason 1. If not true, here's a reasonable motivation." Hardly immediately shooting the messenger, more answering questions asked
I think the experimental warning was removed on the KVM platform a while ago?
Moving the building rather than demolishing it meant that they could keep telephone services running. I suspect they moved services to the new building sometime in the intervening years before demolishing the moved building.
Though incorrect, this is meant to be an example of proof by induction. Proof by induction is (to simplify a little) where you prove that any number N+1 will have a given property as long as N has that property. You can use this same rule twice to prove that N+2 has this property, and so on.

Finally, you prove that any arbitrary number (say, 1) has the property in another way, and you've proven that property for all N greater than or equal to 1.

The error in the proof is explained in the linked page, but basically the problem is that the proof that N implies N+1 doesn't actually work for all N, and particularly it doesn't let us go from 1 to 2.
This brings up an interesting problem with inductive arguments I’ve never thought of: how does one prove a base case is a sufficient starting point for induction? In the horse example, we know there can be groups of multi-colored horses so our intuition guides us to a counter example, but it seems like a detail like that could easily be overlooked for something more complicated.
> Given that the raison d'être of oxide is to use rust to build their product

Thanks for proving my point!
PeLU: Porcelain-Emulated Linear Unit
Also, make sure not to run out of film and disposable cameras.
I very much prefer mpv.
Is the Stock Market a Giant Gamble?
The nice thing about Guacamole is that you can wrap just about anything on it and get at it from most browsers (although it can be a pain to use from an iOS client).

Only the other day I wrapped an old version of a mind mapping desktop app so I could open my old files on it without installing it: https://github.com/rcarmo/docker-xmind
The replies are clearly cyclists.
I'm no nuclear weapons expert, but I doubt that a peaceful nuclear reactor is going to be a top target. It might just be easier to nuke an enemy's cities and military bases.
TIL Kurt Vonnegut was a Wikipedia kid (someone who's dad had/would've had a Wikipedia article about them)
If you take this stance you might as well start arguing for the extinction of humanity and destruction of earth. After all everything is "doomed to fail in their quixotic battle against thermodynamics".
Release of NASA's Ogma, a runtime verification language for hard-realtime C
I'm sorry but I cannot take seriously anything "social scientists" say on a range of make believe topics, as harsh as it sounds. Nowadays there are many such make believe topics, and Mātauranga Māori appears to be one of them. I've seen it countless times in departments of folk religions, fat studies, intersectionality of everything imaginable, etc. In New Zeland "Maori studies" seem to be the soup du jour but I doubt anyone sane respects that and expects them to sit on the big boys table of exact sciences, outside of Twitter perhaps. On the other hand having common sense seems increasingly a dangerous trait.
This has confused me before when trying to lookup mDNS/avahi/.local names. You can't use dig, host etc. to look them up because the answer doesn't come from a DNS server, but you can ping them.
This is pretty much how I feel most of the time. I think the value of the average good-but-not-great engineer who's just pulling a paycheck is heavily underestimated. We're the ones making the world go round.

You've never heard of the thing I work on, but if enough of us stop working on it lots of things people use and want every day will stop working. That's not a brag, just a reflection of how things are. Not every problem needs a billionaire or a rockstar. Some problems just need a few moderately dedicated, reasonably smart people, and a little time.
The people who're lining up to cancel Dr. Cooper wouldn't waste a moment calling Dr. A if someone they care about is sick. Virtue-signalling hacks embrace diversity and New Age crackpottery only when it applies to others.
> Given the vaccinated can still get infected and spread the disease, it begs the question if they're not being totally selfish by not self quarantining

Nothing about preventing disease is "all or nothing", it's all about risk reduction, which is why vaccines are important.

Total quarantine for everyone is obviously unworkable, so suggesting that vaccinated people do "Self quarantining" is not a workable alternative to practical risk reduction measures such as vaccination and masks.

This is nonsense, and misdirection.
Nonprofits are exempt
Social media has turned everyone into a politician. People like it when other people they dislike get punished. By being punishing, people become more popular, and gain social power. Truth is irrelevant, because politicians don't become popular and powerful by being truthful.

This is a fundamental sickness that social media creates. It is not just the "woke", it is basically everyone attached to non-anonymous social media.
How can a ski lift allow turns to the left and the right on its route? [video]
Apologies for the editorialised title. It felt better to me to be descriptive than to take the click-bait title from the video.
If they can do it at the fraction of the cost then I'd use it. Trouble is, AWS pricing is hard to parse, especially post factum. In my company's case, the leaders are not happy with the lack of billing transparency.
I started to write out what is happening here more formally, but I think it was not very elucidating. No matter what, the problem is that the proof of the inductive step is wrong. The problem is (as mentioned in the article), that for sets of size two, your inductive hypothesis is not sufficient to prove that h1 and h2 are the same color.

Saying it's the base case that's wrong is a little weird. In general your base case can be vacuously true without any issue. However, if it is (and your goal is non-vacuously true for something), then your inductive step will require a branch in it. One side of the branch in your proof will look like a proof of a base case.

I have maybe a skewed view on this from using Coq.
> most workloads could actually run more efficiently if they had more memory bandwidth and lower latency access to memory

Turns out memory access speed is more or less the entire game for everything except scientific computing or insanely optimized code. In the real world, CPU frequency seems to matter much less than DRAM timings, for example, in everything but extremely well engineered games. It'll be interesting to learn (if we ever do) how much of the "real-world" 25% performance gain is solely due to DDR5.

I remember getting my AMD K8 Opteron around 2003 or 2004 with the first on-die memory controller. Absolutely demolished Intel chips at the time in non-synthetic benchmarks.
https://wiki.archlinux.org/title/fish#Setting_fish_as_intera... you can use it as an interactive shell in bash as well. Fzf can also use Rusty fd.
;)
https://github.com/sharkdp/fd
PoS is more scalable because if you need faster validation all you do is add more parallel nodes. With PoW all the validators are competing against each other to be the fastest whereas with PoS there is no competition but consensus.

Eth2.0 is supposed to be much faster than Eth1.0 anyway, they say it'll be capable of doing thousands of transactions per second (as opposed to the ~15 it is doing right now). It's partly due to the switch to PoS.

This might also bring down costs, gas fees are high because when you have only 15 transactions that can go through every second and you have thousands, millions of transactions requested every minute... well, a lot of pressure is built and that pressure is reflected on the gas price. But if you were to have a system that is capable of doing thousands, even hundreds of thousands of TPS then you would have very quick transactions and very high availability which would bring fees down.

Really, the only people that don't want POS are miners, a node in Eth2.0 is meant to be run on any home set up. Even a laptop, the most important part is for it to never go down.
I think this is part of the love for the machine, and is a part of hacker culture I find endearing even if it's not necessarily rational. I'd put tweaking your Linux windowing system into the same category :)
The abstract software techniques they used to achieve certain properties is more substantial and generally applicable than the specific language they used to instantiate those properties. Citing the language as the causal factor in choosing those techniques and not their requirements is unnecessary evangelism.
true, there are subtler ways!
Allowing B to practice medicine and calling it medicine on the same footing as A is medical malpractice and should open them up to serious financial liability.

The same way homeopaths, naturopaths, and similar should not be allowed to make medical claims.
Exactly who do I vote for to end the inflationary, easy money, Zero interest rate policy of the Federal Reserve. You may have been taught in school that the United States is a democracy but I am afraid that does not apply to the Federal Reserve which is an unelected unaccountable quasi-goverment entity at best.

> You'd be lying.

Nope, not lying - just calling out the truth that the government systematically steals the purchasing power of the common man by means of inflation, officially at the rate of 2% per year, but I believe the rate is actually much higher.

Currently the official rate is 6.4%, so over 3x the target rate. I’m curious how anyone could see this situation and not be concerned for the future. See 1971 Cost of Living for example https://imgur.com/3YApK5i

Bitcoin fixes this.
We did flatten the curve. Look at any graph of COVID cases, hospitalizations, and deaths, and this becomes readily apparent.

Most places have let restrictions ebb and flow accordingly.
If you're renting housing (with slowly increasing exceptions, mostly at higher end hotels and recently renovated apartments) this is a tough problem.
It was a substantive comment, many are not aware of that fact.
Almost any time I'm running any Elixir project locally, I run it through IEx. You can do that by running "iex -S mix <app>" instead of just "mix <app>".

I like REPLs in general, but IEx is particularly handy for poking around at a program. With a .iex.exs file you can automatically run aliases, imports and other helpers every time you start the REPL. These can be set up both globally and per-project.

https://alchemist.camp/episodes/iex-exs
Before one studies Zen, mountains are mountains and waters are waters; after a first glimpse into the truth of Zen, mountains are no longer mountains and waters are no longer waters; after enlightenment, mountains are once again mountains and waters once again waters.

Translation from http://www.livinglifefully.com/zensayings2.htm
What’s wrong with it? I like KISS.

Is this better?

www.evenbettermotherfucking.website
Don’t forget the story of our previous cybersecurity lead of the nation, Rudy Giuliani, that posted a link by mistake by not having a space after a period and g-20.In became a link and someone bought the domain and Rudy blamed Twitter employees for sabotage.
“ Sarcasm is a perfectly valid rhetorical device. If you find it rude, I apologize.”

Its perfectly valid rhetorical device, a needlessly aggressive one that is good at putting down but never constructs. Worse of all, a rhetorical device that has become trite.

Im naturally very sarcastic. In my late 30s, I see it as a personal flaw that has brought me nothing but cheap dopamine hits.
Spotting Interesting Tasks to Work On
You forgot to add null-check ifs for `list` and `searchString`. Oh and check-wrap for exceptions too!
I would look at them more as a tool that you could use as part of your toolset rather than a complete replacement.

You can put an image through it and then do manual touch ups, copy and paste other images and so on and start building a composition.
The loss of taste/smell and risk of cognitive symptoms are really the things that worry me personally about covid. Like many on this site, I’m vaccinated and fairly young, but a world with messed up smells and taste or not being able to do the things I find fulfilling are pretty scary prospects, and there’s very little data that I’ve seen about incidence rates.
You have to find the minimal case where the inductive invariant is valid. In this case when the horses are separated into two groups, A and B, the assumption is that their intersection is non-empty (A ∩ B ≠ ∅). Because only in the case where the intersection is non-empty can we apply transitivity of equality to conclude that their union (A ⋃ B) satisfies what we are trying to prove. But as the article argues this fails for a very simple counter-example where A and B are non-empty but their intersection is empty.
Yeah the point with the Cray vector opcodes is that the SIMD instructions ARE the regular scalar/FPU instructions. The compiler doesn’t do anything to different when it vectorizes the loop. It is the CPU that does the vector optimization. The code just provides hints (to the CPU, not the compiler) about how to vectorize.
I think there's a general lesson to be learned here, which is that you should be wary of any colleague within any branch of IT that honestly claims the things you're working on are "simple". I'll take an insecure colleague that wants to do a good job over a confident colleague that refuses to listen any day.

Writing code that works is simple. Writing code that doesn't break is not simple.
You don't have to. See my top level comment. In short, you have to strengthen your goal in order to have a strong enough inductive hypothesis to prove anything. E.g., instead of "picking a base case" that's sufficient, you work the base case into the goal, like n >= 2 -> P(n). Then you do the base case as part of a branch in the inductive step, without using your inductive hypothesis.
> The sentence quoted in the Listener letter as proof of the need to ‘defend’ science was from a section I largely wrote about the strand of the Pūtaiao curriculum that did not have a direct equivalent in the NZC Science learning area, on the history and philosophy of science. The sentence quoted was part of a description of the possible scope of studies of socioscientific issues, from a Māori perspective, by senior secondary students of Pūtaiao.
>Or did some scientists take something out of context and misunderstand it, then scream that they were being cancelled when other academics expressed disagreement with their ideas?

This is an outrageously dishonest way to frame the issue given that the scientist is facing disciplinary action.

Unrelated to that, I find it somewhat frustrating how difficult it is to find the text of the original working group proposal. That seems quite important since the substantive disagreement seems to be about what it says.
It's also really good if you're standing up old VMs (e.g. testing older OSs/setups from images).

I think Microsoft, for a time, offered VMs for such testing... Or maybe it was a third party... Guacamole world be a very good gatekeeper in this situation so the end users don't need virtualization themselves.

If the network is otherwise set up correctly, you can reasonably safely run windows XP behind Guacamole. Of course, I don't recommend that, but it prices that you can write software and then see how any of OS or setup runs your code/website/software... Without worrying that your VM might be compromised in 60 seconds.

As an aide, the siding of virtualization is also helpful for schools... A Chromebook can access guacamole to get to a VM... But a Chromebook can't run a VM itself.
Can we compile it to WebAssembly and benchmark...?
The price of Bitcoin on any given day is simply the price someone is will ping to exchange dollars for it. No value appears or disappears due to a currency price swing, Bitcoin like the dollar isn’t backed by gold or corn in silos. It’s value is only what people are willing to trade for it, and that isn’t steady day by day.
I also like Svindler's et al. commentary better because they don't resort to computer analysis. They explore ideas on the chessboard from the human point of view and that makes their analysis much better than what you see on chess.com or chess24.
My theory is that the 'woke' have trouble distinguishing between the legitimately intolerant folks they oppose, who are not looking for any good faith expression of free speech, and other people who don't agree with them but are in fact making a good faith attempt to discuss it.

The situation isn't helped by the continued existence of bad faith 'free speech' trolls. That's probably by design.
I wouldn't call Bash a "language" per se... Bash is a user interface, first and foremost. Bash "scripting" is literally just the running of Bash shell commands in bulk. But every language does have people making the same complaints. Every language has quirks. Every language has obscure syntax (if you haven't found it yet, you just haven't used it enough...). Every language has people say either "There's no type checking!", or "It forces type checking!". And there are absolutely return values, they're just either integers or raw data on standard output. But the point is, it's not supposed to be a "good programming language". It just has to be more useful than manually typing in shell commands one at a time.

You're right about them needing to be short. Ideally every program should be short. But scripts are especially supposed to be short, because they're never supposed to get complex (or be fast/efficient); that's when you need a "real" program. Even the bottom of the Bash man page says about itself: "BUGS: It's too big and too slow."

(fwiw, back in the day we didn't use linters, we just had to write it all correctly the first time. punch card typos are a memorable lesson in checking your work)
Betteridge's law - "Any headline that ends in a question mark can be answered by the word no."

https://en.wikipedia.org/wiki/Betteridge%27s_law_of_headline...
Let's say the guy did take her out of context and use the issue because it fits his hobby horse. Why is the appropriate response to someone taking you out of context opening an official inquiry into his behavior? Miscommunication happens all of the time, why are they forming an investigative panel?

>Or did some scientists take something out of context and misunderstand it, then scream that they were being cancelled when other academics expressed disagreement with their ideas?

Well, wouldn't the existence of the panel lend some weight to their claims they are being cancelled? I mean really, what did the guy that was so bad that the university decided it needed to take disciplinary action? He published a letter, and it was a pretty respectful letter at that. Is he being investigated for taking someone out of context?
Show HN: MiroTalk – an alternative to Zoom / Teams
GitHub: https://github.com/miroslavpejic85/mirotalksfu

Live Demo: https://sfu.mirotalk.org/

[1] It's an Open Source made for You completely Free

[2] You can video call, chat, screen share, share files, use the whiteboard, recording and more

[3] No download, plug-in or login required, entirely browser based

[4] No rooms and users limitation, it holds online meetings for an Unlimited time.

[5] Self-hosted (run it to Your own website or application)

[6] Desktop and Mobile compatible

[7] Can grow further Thanks to Your contribution

Nothing is really ours until we share it.

C.S.Lewis
lol. Because people aren't always rational. And what does the NYT or her fame have to do with it? Anyone can lie at any time. And accusing someone of lying isn't ad hominem.