skysight-inc/HackerNews huggingface dataset:
a little off topic, but [here's a link to a chrome extension to get the image links back](https://chrome.google.com/webstore/detail/view-image/jpcmhce...).
I think it makes unsafe code less error prone to write, but additionally it allows you to interop with C APIs that have aliasing pointers.

Also, if they were restrict, it would be UB in rust, which I think is something Rust tries to avoid where possible.
> A hypothetical but not unheard of scenario in which immediate shutdown might be warranted.

Not without warning, no. It is possible that the customer intended to start a CPU-intensive process and fully intended to pay for it.

Send a warning first with a specific description of the "suspicious activity" and give the customer a chance to do something about it. Don't just pull the plug with no warning.
Chinese cars, not built to the safety standards demanded by other nations or built to the bare minimum at best, tend to be man-killers not Tesla-killers.
We've been providing online whiteboards, mainly for online tutoring, for the past 20 years:

https://www.groupboard.com

We were the first online whiteboard, and there have been quite a few that have come and gone over the years. As you say, many seem to be run as a hobby, with minimal support. There are many free online whiteboards out there, and it's difficult to make money from it that way unless you have some kind of paid-for premium version. Our software is used by the largest online tutoring company in the UK, as well as many 1-person online tutors.
I figured there were people here for whom the pain was fresh :)

Thanks for the pointers, I will check out those resources.
I'll just throw these out there as an alternative, or in addition to:

https://www.apollographql.com/docs/link/links/rest.html

https://www.apollographql.com/docs/link/links/state.html

The "apollo-link-rest" API makes it very easy to map, then query, your JSON APIs as a GraphQL service. So, no more mangling different query approaches for a client.

Then, simply add "apollo-link-state" to query/mutate local data using GraphQL as well.

This allows you to have 1 query/mutation language for both remote and local client state. This is much easier to deal with than adding yet another API to access your data.

Another positive is that you just might find yourself with the ability remove some redux boilerplate too as your local state can now be managed via Apollo's HOCs.

So, after writing this... What would be nice is to perhaps have the BlueChip API have an adapter layer that would allow it to read from something like the Apollo cache. This would allow for the implementation of resolvers on the client side to allow more fine grained control of the data being returned in a query (query parameter for filtering, cursoring and the like).
Just and FYI BlueChip and PostgREST serve different purposes.
This may be a good thread to let people know about a hidden setting I found out about recently called Google Verbatim. I thought certain sites I used to search for had fallen off the Internet, but the change was how Google ranked its search results.

Try the two searches below to see the difference:

https://www.google.com/search?q=java+vm+language

https://www.google.com/search?q=java+vm+language&tbs=li:1

Enjoy!
Huh? look at the PDF [1] and compare it with the Satoshi’s Bitcoin paper[2]. The bitcoin paper follows the academic paper standard. And that PDF is MS word-generated, absolutely no proper citation, and claimed a paper?

[1]: http://nakamotofamilyfoundation.org/duality.pdf

[2]: https://bitcoin.org/bitcoin.pdf
Ah, then I misunderstood you ;-) I've seen users replace Sophos UTM with other solutions quite often now, it seems to have too much 'invisible' parts and suspicious system connections to the world (as far as I've heard -- not used it myself). I'd say try OpnSense (and perhaps pfSense). They are the 'best' replacements for Sophos UTM free as far as I know.
I guess all we can do is provide our individual datapoints. From my experience, I find it much easier to do so with Clojure. Systems generally last longer, almost never need refactoring, accumulate a lot less tech dept, and easily accommodate future requirements when written in Clojure as opposed to Java. I come from a team who has a 50/50 set of systems in java and clojure, been the case for 3 years. Team size averages around 8 devs.

Tooling in Clojure is actually pretty great. Generative testing, linters and IDEs I find work better then in Java personally.

Where I agree with you is learning curve. Clojure is definitly difficult for new users to pick up. The community and core team I think are more focused on improving that now then ever though. So hopefully it'll change. Also, I'm not sure hostile is a good word, if anything, the best part about Clojure is the community is actually really nice, helpful and supportive, even to new users. There's no trolls, and a lot of great open dialogue, active members ready to help you on chat and forums at all times, etc.
Which is why the React "getting started" docs pages were just revamped to emphasis that you can absolutely use it without any tooling:

https://reactjs.org/docs/getting-started.html
A "consumer account"? I don't know what you're talking about. This is Google Cloud, not Spotify. I don't know a lot of "consumers" spending hundreds of dollars, thousands of dollars or more per month on Google Cloud. And paying bills by wire transfer instead of credit card doesn't change anything to the issue discussed here.
I was thinking about online exercises, although not integrated into the lectures. I'd rather have students stay with the material than wander off to questions.
If a stock dropped 60% you wouldn’t consider “it was very recently 10 times lower” a positive.
True, but I don’t need most of the those tools. Static analysis is most useful when working on large teams. When 3 or 4 people are working on a project, it is mostly unnecessary. I’m not saying error messages are not useful, or static analysis isn’t, they are, but not as much as people are thinking here(wrt clojure)

There is 3-5x difference in productivity between java and clojure most of the time, just because I don’t have to read a lot of code to make a change. Clojure, written right, feels like math equation on a board. My eyes don’t dart around up and down figuring out the code. It is terse, to the point and immutable.

It is subjective, but clojure vs Java is like doing math with Arabic numerals vs doing them with Roman numerals. I’m sure we need lot more help when doing math with Roman numerals, but that level of help is simply not necessary, and is more about the medium than the message
One of my friends who is still resolutely on Snapchat has told me that it gives her, “a space to be visible just to some people, to not have to share everything with everyone in order to share anything with anyone. That, to me, is too high a cost, and it’s a cost that so many other platforms require you to pay.”

One of the main reasons why I still use Snapchat.
Ask a student to come up and explain a small portion of the material. It will expose holes in your explanation and make that individual feel important.
[stupid comment]
Scid vs. PC (Chess Database)
Snark aside, it's important. There probably should be someone adequately numerate on every jury.

Most juries will have around half, perhaps more, who've done nothing at all mathematical since school 10-45 years previously and think percentages are in the difficult part of maths (ie it's more than basic arithmetic). HN is going to be very unrepresentative for numeracy. :)

You want them to achieve "beyond reasonable doubt" conclusions from probabilities, percentages, false positive rates and perhaps standard deviations, well you may as well be making your case in French or Ancient Greek that they can pick a few part-understood bits from.

Or hope for an eloquent statistician on the jury!
BBC – Earth – This video explains why we cannot go faster than light
I wouldn't worry too much about student feedback. I have got feedback like "This class was terribly organised." and "This class was extremely clear and well organised." from the exact same class, just look for the general trends.

Interactive activities are great! Do be aware that even with a very interactive activity there may be lots of students who are not actively participating. Two or three students who loudly share their opinions can easily make you forget about the silent majority.

Don't worry too much about capturing the interactive parts and demonstrations. The key thing is they are unique enough to stick in people's memory. I still remember demos from my college days and the basic principles they were espousing, even if the technical jargon and equations are now long gone.
I have been daydreaming lately about how the Tesla Roadster 2 should be easily able to take the record around the ring for a production car. I'm hoping it will smash the record.
I heard that BitTorrent is 40% traffic of today Internet
> the grey area of our tech

Cryptocurrency?
"If you can afford it"

There's a degree of complexity that comes with multi-cloud that's ill-suited for most early stage companies. Especially in the age of "serverless" that has folks thinking they don't need people to worry about infrastructure.

My point is that the calculus has more to it than just money. The prudent response, of course, is to do as you described. Have a plan for your provider to go away.

Offsite backups and the necessary config management to bring up similar infra in another region/provider is likely sufficient for most.
I find it better to develop strategies for 'safe' handling of student input than to resort to cold calling. If a student feels embarrassed because of a response, then not only will they never raise their hand again, but neither will anyone else.

The best way to do this is to try to identify the good part or motivation in a student's statement, regardless of anything wrong that might be in there too. Provide positive reinforcement on that part, and then turn the question back to the group again, with that extra foothold that the first student provided.

Example:
Me: "If we wanted to look at every relationship between these objects pairs of these objects, how many relationships would we have?

Student A: "N squared!"

Me: "Sure that's a good start; there's N squared possible two-ples you can form. But I think you may be overcounting a bit; can anyone suggest a way to cut it down?"

Student B: "You don't need to pair objects with themselves."

Me: "Great; so how many are we at, then?

Student B: "N^2 - N".

Me: "Awesome; I feel like we can still cut it down more. Any more ideas? Anyone want to try a small example?"

etc etc...

---

Other bits of advice that come back to me with some writing:

* Provide seeds for ideas, and let the students fill out the flesh.

* Keep the conversation moving around the room. Try to engage a variety of voices.

* Provide at least some positive feedback for everyone who participates. Modulate for effect: eg, bigger praise for more complete, well communicated answers, or for people contributing for the first time.

* If the Super Student blurts out the final answer, take it back to the class and ask if anyone can explain it in more detail.

* Choose good questions. It's easy to ask a question that only you know the answer to... Mix up easy and hard questions, and use the easy questions as a way to 'onboard' quieter students.

Do it well, and there's always going to be enough hands to avoid cold calling. If I genuinely get no hands on a question, it generally means I've asked a bad question; rephrase and ask again. (And on day one, I have a dumb joke where I have everyone "raise your hand if you have a hand" and then do 'reverse' hand raising...)
"Why you should not use Google Cloud" if you're a small business. A large business will have contacts, either on their own or through a consulting firm, that can call Google employees and get help. As a small company, you're at the mercy of what Google thinks is adequate support for the masses.
> Let them rack up a months billing in a weekend

Yes, there's nothing wrong with that. You have their credit card and can even authorize certain amounts ahead of time to make sure it can be charged.
Hey, mathattack and philip1209, those are really useful points of view, thank you.
On the horizon, algebraic geometry and category theory have opened up new ways to think of posets, and posets are in correspondence with DAGs. We can talk about mappings between Bayesian networks, as well as sheaves which encode the logical restrictions and can be further linearized or categorified.

You're right that it seems like not much attention is paid to this stuff. At a lecture a few years ago, it was pointed out that sheaves on Bayesian networks seem interesting, but that nobody seems to be working directly on applying the maths to existing problems.
It's also common in C++ (at least in some coding styles) to pass large structs by const reference, creating the dilemma of when to pass by value and when to pass by reference, which has no perfect general solution.
'It's nothing like a broken leg': I'm done with the mental health conversation
Find reasons in the present to appreciate life. Anticipation of new things shouldn't be your sole source of happiness. Criticism of flashy and ambitious but unworkable ideas shouldn't make you depressed because there should be plenty that already exists that keeps you happy. It's a big world out there.
The argument was that Jaguar wasn't serious because they're only making 20k of their electric car in the first year of production. I pointed out that Tesla hasn't produced 20k of any of their cars during the first year of production. That's noteworthy hypocrisy.

We know that established car manufacturers can ramp up quickly if they want to. Can Tesla? So far, the evidence indicates they cannot.
Exactly -- there is a lot the OP isn't telling us. Maybe Google was right to shut them down.
Individual projects without a GCP organization association are probably treated as consumer accounts.
No signature? No Satoshi.
mathematicians writing for peers don’t aim for the maximally explicit proof. details are frequently left out as obvious to the knowledgeable reader. leaving out tedious matter is a matter of professional style, like tightening regular prose so it doesn’t club the reader over the head with every detail. (my instructor in Fourier analysis would subtly grimace at my very explicit proofs in office hours, but he knew i was a computer scientist so he politely said nothing because he knew it would do no good ;-)
Is this something that will eventually spread to every single democracy? In a vacuum it does not sound that awful. You can identify illegal actions and individuals rapidly and effectively. As democracy entails a regular shifting of individuals, it seems that the chances of any given democracy choosing to consistently reject such utility in the longrun approaches zero. Even if the vast majority oppose it, opinions quickly change after a frightful act when whatever minority seeks to act such systems can effectively leverage the fear to achieve their goal.

And if the answer to this question is yes, then where does it end? Or will democracies invariably end up sacrificing any and all freedoms and rights of privacy, that can be sacrificed, in the name of security?
I am pursuing a self-sponsored PhD at one of India's leading institute of science and technology. I have about 15 years of work experience, including building a product which has seen a good amount of commercial success.

Validation of idea's was one of the reasons I decided to enrol in the part-time doctoral program. Also, vetting of technologies I planned to use in my work was another reason to become a part of a central govt. funded institute. It is easier to collaborate with faculty members when you are part of academia than otherwise.

Having said that, I am now of the opinion that independent research is the most optimum way to pursue one's own ideas. If you are working in the space of citizen impact or developmental projects, engaging with journalism editors has a far more positive impact than engaging with academic faculty. The science editors are able to articulate and help you present your work better than most other people.

Another group of people, I feel, might be helpful are "true incubating mentors". If you are looking at taking your work to the next level, I feel an incubator/mentor will provide you with the right direction (I've myself not experienced this but have seen people benefit from this).
Comically fast, like video-game-I-can-just-hit-restart fast. A couple highlights of that YouTube video from sections of the track that are notoriously difficult:

[YouTube Time]

00:49 -> 00:53 - Flugplatz at nearly 170mph is insane. Total trust in downforce and makes up many seconds if done right.

01:13 -> 01:25 - Fuchsrohre bottoming out at 200+ mph is nuts.

03:15 -> 03:20 - Interesting that Timo avoids the carousel.

04:21 -> 04:31 - Pflanzgarten into SBS topping at nearly 200mph. Suspension setup is huge here.

List of the sections:

http://www.nuerburgring.de/en/fans-info/race-tracks/nordschl...

Nobody in motorsports really thought Bellof's record was unbreakable, just that it was left intact out of respect and the obvious conclusion that any mfr could crush it if they so desired. The 919 Evo holds the Spa Record because the F1 record was done under all sorts of homologation restrictions. A sub-5 Ring time would easily be possible with a non-homologated F1 car similar to this unrestricted 919.

Still eagerly awaiting VW's Pike's Peak video. This has been the year of toppling track records!
>I have been chasing the 'perfect lap' for 7 years with no traffic, no road works, fresh air, dry track, no driving mistakes and a reliable drivetrain.

Sounds like that's how long he's been chasing a sub-10-minute lap
Not at all. A little glibness aside, I do think we should have replaced many things with better or less polluting alternatives far, far earlier than we do. The market is the wrong tool for many of these choices as shown by some of the current global issues.

At such a vast time distance there's likely nothing whatsoever left of us - except in the geological record as a few rare fossilised artefacts and environmental clues. We have a hard enough time understanding life a couple of thousand years back and religion is all too often trotted out as easy explanation for "we don't know why".
SD cards add PCIe and NVMe, hit 985 MB/sec and 128TB
As the years go by the Nürburgring gets ever more legendary. It is better known now than when they hosted F1 races on the smaller circuit they have there.

You could imagine it was designed by sick Nazis to kill racing drivers however it predates max-Nazi-ism and was designed for testing cars, not drivers. Hence tomorrow everyone will have forgotten who got the fastest lap but they will remember what car they were in.
FYI. This is the answer to the oddly non-cryptic puzzle adverting a new book's (if it is ever made) title.

It's a "don't forget to drink your ovaltine" puzzle.
> ... please don't post complaints about paywalls. Those are off topic.

https://news.ycombinator.com/newsfaq.html
Is this possible for GCP? Definitely seems the way to go.
5:19 almost seems impossible. I think we will see sub 5 minutes within the next 5 years at this rate.

It seems like Lamborghini just gave up in a dick measuring contest.

Nurburgring is Porsche's home turf. German's aren't outwardly nationalistic but they take a lot of pride and result orientated bunch.

Also ironic that Lambo is practically an Audi.

I will buy a porsche instead of a Lambo, this type of effort just shows to me Porsche deserves my money (Sorry Audi).

I am so crazy about cars that I am emigrating to Germany to be closer to the Nurburgring....

Will my 18 years of Gran Turismo on the Playstation finally pay off irl? I'm gonna start with a cheap JDM and then after I get really good (at least 100+ laps), I'm gonna buy a porsche RS and finally live the Deutsche Dream.
> I didn't say that, because I don't feel that way.

Yet your language betrays your feelings.

I would never in my life use words like "stoop to lowest common denominator" or "coddle beginners" when talking about beginners (or other developers in general).

The rest of your message is a thinly veiled contempt at best. So, good weekend to you, too.
Life at the Palace (1996)
Not a teacher or student (for a long time), but you might benefit from general training on giving presentations. There are plenty of YouTube videos discussing this, mostly for business, but I’m sure many concepts could apply in the classroom as well. General concepts on what to put on slides (not too much), how to get discussion going, etc.
Scott briefly discusses this issue in his book[1], where he cites a paper by Davies[2], which in turn cites one of Scott's talks[3]. I'm not sure about Davies' idea that the holographic bound should be formulated in terms of Kolmorgorov complexity instead of Shannon entropy, but the general question of holographic limitations on quantum systems deserves further study, it seems to me.

[1] https://www.amazon.com/dp/0521199565/

[2] https://arxiv.org/abs/quant-ph/0703041

[3] https://arxiv.org/abs/quant-ph/0507242
I prefer critical analysis to unthinking yes-men. To the extent that HN administration agrees with me, I appreciate them.
Yes, I'm aware of that. But you'd be surprised how many businesses are under the impression that using 'the cloud' obviates the needs for backups. Especially if their data is in the 100's of terabytes.
Lamport advocates for more rigorous proofs with a justification for every line, and lines arranged in a hierarchy based on assumption contexts. He is also the author of TLA+, a formal proof checker: https://en.wikipedia.org/wiki/TLA%2B

Fully-justified proofs are frequently used to teach geometry and abstract algebra, and are also needed for machine-checked proofs. Outside these contexts, I agree with Lamport that they are useful to catch mistakes, but I wouldn't write them myself because they are incredibly tedious. For communication in papers, narrative proofs can convey ideas and intuition at a much higher bandwidth.
It's sort of the opposite. If something is very simple, it's likely it is simple because you're standing on top of a massive tower of complexity and not worrying about it.

Rust is complex because it makes you worry about a bunch of stuff that other languages allow you to forget. But this also means that it allows you the control to create simpler things than can be created with the tools that make you feel like everything is simple.
The point is that anyone could fall into that category when laws change.

Imagine you're running a cosplay community, and all of a sudden all your content is being deleted because the SESTA/FOSTA bill gets passed in a country where your "cloud" happens to reside in: https://hardware.slashdot.org/story/18/03/25/0614209/sex-wor...
sayid is awesome. Spacemacs integrates it by default and it's a nice step up from tools.trace.
mighty arrogant to assume "civilization" will last that long
The original whitepaper was a technical document this duality.pdf seems more like a memoir or retelling. It was just posted yesterday, let's see if the person(s) behind it provide cryptographic proof.
That is correct. CC billing and individual projects could be consumer level usage. Anyone can signup for this level account and use for whatever purpose. Offline invoicing and G Suite / Organization setup / domain validation / enterprise support could be thought of as enterprise and would come with assurances such as billing payment stability.
Actually, &mut isn't equivalent to restrict, since two restrict pointers are allowed to alias in C as long as none of the intervening accesses are writes.
All medium traffic sites depend on google.
We had a good running shop. We changed some things.

Nearly one week site down due to server crash (don't ask!). No problem.

New server, new IP. No problem.

Force always SSL. No problem.

But then we switched the shopping cart. This killed us. Traffic down 70%