skysight-inc/HackerNews huggingface dataset:
They have a book coming out soon titled “Cynical Race Theory” which is a critique of the 40 years of academic thought that has gone from fringe to mainstream (And applied like the Inquisition mashed up with Maoist techniques like Struggle Sessions) and we are seeing played out unwittingly by the media, tech companies, and the tokenizing social media chatter class.
Yes and those are part of the cost/benefit equation which needs to be carefully (and continuously) considered.

In fairness I guess I was reacting less to your specific comment and more to the chunk of this community that seems to think anyone under 60 should be running through the streets with joyous abandon.
For french readers the french version in the Gazette of the Société Mathématique de France.
http://math.unice.fr/~rchetrit/smf_gazette_78_19-29.pdf
> Ocaml tools to tell you what your most general ".mli" file would look like

Thats a nice idea! Can those tools do automatic refactorings to use the generalized type?
Even if true, I'm sure the 'best minds' historically were often occupied by, say, justifying the existence of a God over exclusively dedicating their immense talents to fundamental scientific theory. We can excuse it, in some cases, I suppose.
Websockets bring them past the router and any other hardware firewall or NAT. Also various software only listens to localhost, on the assumption that local traffic is trustworthy.

They could still portscan from afar and it would still be sketchy, but using Websockets makes it worse
"too verbose" generally means that the writing style doesn't resonate with reader, making it tedious to read.
Demo Delta Lake on big data workloads
Zurich resident (and Swiss citizen) here. I agree that in the beginning, a lot of people and politicians didn't recognize the seriousness of the situation. The fact that the Swiss political system isn't really made for quick decisions from a central authority probably didn't help either.

But once people realized that this is going to be real bad if it continues unchecked, behaviour changed a lot IMO, even in regions that had very little virus activity.

True, mask wearing is still a problem, and you could see lots of people doing outside activities even during the worst part of the lock down. But as luck would have it, outside infections seem to play almost no epidemiological role. Turns out not wearing masks on the street or going for a Sunday hike on crowded paths isn't a big deal, and in retrospect I'm glad that our lock-down wasn't quite as limiting as in other parts of Europe.

I wish masks were mandatory on public transport, though.
Interesting study. Of course you are right. But this study poses the question: are ppm forced to work in julia?
> The attitude that undefined behavior is seen as an opportunity for optimization

When you choose to write C, you are accepting the contract that if your program has UB, there are no guarantees about what it does.

If you can't uphold your end of the contract, C is not for you.

There is a huge difference between complaining that this contract is too hard to uphold, which is a complain that you should take with the C standard, and complaining to the compiler that, on contract violation, your program misbehaves.

If you can't accept that, again, C is not for you.

For every novice that complains about their mistake misbehaving I have 100 expert C programmers that would complain about bad codegen for programs that do uphold the contract.

From a compiler writer perspective, it is impossible to argue that we should penalize those that take the time and experience to play by C rules in favor of those that write broken programs.

100% of the experts would agree that it is hard to write correct code, but "disabling compiler optimizations" is not the right place to fix that.

If you believe that's the case, you are free to compile all your code with -O0, use volatile everywhere, or just use Python or some other language that suits you best.

But the argument that you are making is ridiculous. You don't like the consequences of breaking the law, so your conclusion is that prisons should be 5 star hotels and all the law-abiding tax-payers should finance them so that you enjoy them at their cost. I wish you the best luck in life with that attitude mate.
I tried to do the same in Twitter but you can never avoid the politics/anger. Even if you follow just subject experts, some of them will tweet things unrelated to their expertise, or retweet something political.
Same issue. Seems it's just a redirect from the host itself, so source has been hacked probably
Imagine a chicken flapping its wings forward at a cat or something.
Because you dynamically change the widgets graph, like in Unreal Blueprints or Shader Graph.
Ability to add custom units via UI, custom plugins, that have direct access to the expressions. Some parts are also open source.
>> Look at phone checking as a cause, instead of a symptom.

So true. It's interesting that the most upvoted comments on HN are those which treat this as a cause.

"Leave your phone in another room", "Turn it off", "Throw it away"...

These ideas are themselves the product of the global lobotomy.
They are characterized by an inability to see that things are much more complex than they appear on the surface.

Of course, superficial ideas are more likely to be popular.
This is because the vast majority of people are system 1 'instinctive' thinkers.

The idea that the underlying cause might be "people have insufficient control over their own lives" is not on the globalist agenda.
This argument is far too sophisticated and abstract for most people to grasp. People will not even want to acknowledge it to themselves.

IMO, it's precisely the lack of control over our lives (at the hands of the education system, governments and corporations) which is forcing us to accept a passive consumer role. But very few people really want to be a consumer, they just don't see an alternative.
We’ve built a towering pile of shite
A lot of times the supplier matters as much (more than?) the gas. Ask around in your area.

Avoid bottle rental at all costs if you can... buy your own or bottle swap are the best.

Agree with sibling poster; just get argon for mild, stainless or alu. It is absolutely the standard for the tig process.

Most times gas is not an appreciable cost, usually time or materials but I guess it could be a factor if you're welding up a lot of scrap and count your time as free.

I haven't added it up but I think I spend more on grinder discs than gas :p
Interesting. It is the third most abundant gas in the atmosphere,; more than water vapor and carbon dioxide actually according to Wikipedia. It is produced via fractional distillation. We really should be using this stuff instead of helium where possible. I'm guessing it's density makes it more of a renewable resource than helium.
For the flight critical stuff there are physical controls below the touch screens as backup.
> you ain't going to fix the world, and wait for the new world order

I think this sort of Hegelian outlook is counterproductive. Human society is not external to us; we can change its course if we want to. As a matter of fact there are people who do this all the time - they're the ones who hold power and try to sway the course of events in a way that is favorable to their interests.

Whatever the new world order will be, it will be dictated by people's will (not necessarily the will of 'regular' people, mind you), not by the blind immutable forces of history.
I have no idea what this article is actually arguing for. But the author also has essays on “accelerationism”, making me somewhat suspicious.
Why I Use Suckless Tools
It is absolutely true.

The language features that make C++ libraries powerful are wholly inaccessible from Rust, and will remain so. Rust will only ever be able to use parts of C++ libraries specifically cut down or bowdlerized for access by foreign languages.

Much of the power of C++ libraries is in their ability to direct the compiler's treatment of the calling code.

You cannot write an equivalent of std::tie in Rust, or call it.
I knew about SSRI withdrawal symptoms, even experienced "brain zaps" first hand, but never heard about the vestibular thing.
Platforms need to Turn off/hide/delay/limit the Like counts. Including HN.

Just like we learnt the hard way about the conseqences of too much sugar, fat, nicotine, alcohol etc etc we now understand (and it took too long) what all damage a half baked reward mechanism does to society.
How does one commit their Kubernetes configuration to git without to yaml files (or similar)?

Should we be committing bash scripts with the command and flag invocation?

Ah, it's largely a wrapper around helm and kubectl, still don't see how to save my config to git
Monads are so cumbersome to implement and consume in OCaml that they are not very commonly used. Jane Street Core has monadic abstractions for things like async but it’s a pain without syntax extensions.
Satellite and Drone imagery.
This is the exact article I needed to read. I’ve been trying to wrap my head around leaving work and making the jump to follow my interests. I’m going to setup a website just like Pat. For example, I want to get my pilot’s license. Whenever I want to dedicate myself to something, it feels like I can’t, because 8hrs of my time are gone to work. It’s not that work is boring, just that other things might be more interesting, and I can’t seem to strike that balance.
My feeling was that the same thoughts could have been expressed in fewer words and that the article would have gained in clarity from that.

> Our attention spans are shot to hell.

I agree. My comment was mostly on the presentation, not on the substance of the article.
Although I don't want to say that this post is not insightful at all, I'm always a bit wary of people who place themselves above everyone else and think they know so much better. One thing the author doesn't explain, for instance, is why getting your little dopamin kicks from time to time is so bad. The post generalizes from the extreme cases.

For example, I buy too many VST audio plugins, stuff that I don't really need as a hobby musician. I know that I don't really need them, but from time to time when they are on sale, I like to buy another one just for fun, for the immediate satisfaction of trying it out. I can easily afford this, it's just a part of spending my modest discretionary salary (most of which I save). The habit gives me a nice feeling. What's wrong with that?

Maybe the author needs to take it a bit more easy?
Step 1: get rid of your smartphone. You probably spend a lot of time in front of a computer anyway, so you don't really need it. Trust me, it's good.
I might be late to the threat but you have a very insidious assumption left unstated. You seem to think certain ideas are to dangerous to be shared. That they could infect people and corrupt them. If we silence all the wrong think people will act better.

This is dangerous for many reasons but particularly, what happens if something is deemed wrong think when it is objectively more true than the "right think"?
> The phone delivers important news which must be checked at least once a day

I think you've nailed the reason why it's very difficult to completely cut your phone out of your life in terms of it being something you depend on in your routine. It's relatively easy to block social media and uninstall apps like Instagram but for me this was the use case that I hadn't been able to find a substitute for.

I build this service to deal with this specific problem, essentially allowing you to have news and other kinds of content (like blog posts) delivered to your Kindle to read in a newspaper format:

https://omreader.co

We're still in beta and I would love any feedback from HN readers. If you have any questions or feedback you can email me at the email in my bio.
Rust's safety and runtime performance are not unique, and these properties can be improved further from the level of Rust. Have a look at ATS:

- http://www.ats-lang.org

- https://www.youtube.com/watch?v=zt0OQb1DBko
This twitter user [0] asked a few friends to replicate the process and none of them were banned. People are theorizing that an international WeChat account that hasn't logged in for a while and then immediately changes the password after logging in trips automatic fraud checks as it's quite common for criminals to hijack international accounts (which have looser authentication methods than Chinese accounts).

[0] https://twitter.com/tianyuf/status/1268788887511617536
Big FLOYD and DJ SCREW R – I – P MIXTAPE
I think the closer your product is to something that developers can use the stronger the OS proposition. If there are other value props (privacy or cheaper at scale) that can definitely help though.
No HDMI pass though makes it difficult to imagine how this would be used for streaming a Playstation while watching on a TV. Am I missing something?
No-one is talking about you. They're talking about broadly-defined groups of people (e.g. white people, black people).
The optimist in me thinks this problem with corporations and addiction will soon pass. And my reasoning is two-fold: 1) all addiction is "accelerating", 2) social media is ripe for parasites.

First about accelerating addiction. There is a know phenomenon: the more drugs you take - the more is required to reach the same high. Same happens with porn: the more porn you watch, the more depraved varieties you look for in order to replicate the experience. Well, same happens with "clicks" addiction. At first a simple "Today I Learned" post gets you going, but as you indulge more and more the more depraved content is needed to sustain the interest. Soon it turn to memes, then to politics, then to actively looking for "other group" to hate on. And at this stage the same user base that was once "addicted" are no longer profitable. They manifest themselves as racists or anarchists or whatever gets them the same rush as they once had from a "TIL" post. But in either case they are no longer profitable for the corporation. Maintaining and policing everything becomes more and more expensive. The company begins introducing various "changes to policy". They try to sell those changes as "better thing becoming even better", but in reality they only try to combat the natural consequences of their own platform.

Second thing - currently the corporations themselves are an untapped resource in the market ecosystem (so to speak) and other companies will feed on them. We already see some forms of this happening. Take reddit for example. It thrives on addiction, but is also speedily acquiring parasites that, in turn, feed on reddit. Bots, ad farms, vote manipulation. Reddit wants to sell ad space, but how can other companies trust the metrics, when bots abound. How many of those "clicks" are actual people? Reddit tries to put algorithms in for bot detection? - old users are start selling their accounts for real money. It is an arms race. While at the same time new competing platforms also advertise themselves via reddit.

So those two observations, taken together, suggests that the profit part of the social-media corp is slowly decreasing, while operation costs are increasing. Sooner or later they will die. The new ones will spring in it's place. However the acceleration in new corps will be a lot faster. For one, the "parasite" companies now have experience and they won't wait until a platform becomes popular - they will jump on the host a lot quicker. And the users, coming from a dying platform, will demand memes, porn, and hate almost immediately.

Hence there is no real cycle here. Just one dying idea of a social media. At least that is what I like to imagine is happening.
I wouldn't to be honest; they are a whistleblower and unless they manage to get a lot of media attention, there's a chance they'll "disappear" or "commit suicide"; Palantir is a dodgy company with people, influence and interests going very high up.
A380 is EOL so doesn't really matter.

Knowledge loss...maybe for very large wings. UK is mainly responsible for A380 wings. But there are Airbus (smaller) wing operations in Germany too so should be fine overall.
47 upvotes, no comments. I'm guessing no one understands this.
>Any explanations for that?

A380 isn't profitable.
> Cingulata (pronounced "tchingulata")

As an English speaker, this makes me more confused about the pronunciation, not less.
Someone is paying them. Why continue delivering orders to someone who you think ordered, but then isn't paying?
That's awesome. I think it really adds a nice personal touch to own's blog. If only my handwriting wasn't that bad and I had a blog…
https://youtu.be/2AecAXinars
conversations.im is an excellent android client for xmpp.
Literally the next tab on that page shows you the results with the === operator, which is what everyone uses.

That you don’t know this shows me that you don’t actually understand JS very well. That’s fine! But don’t make and broadcast a judgement without doing the research.
+1 @dang
Photons are real whatever the light source.

Reality is more something related to trust, if you want a hierarchy to reality, you can trust more your direct testimony of an event from your senses that someone's account, and it's much better when you shared reality with a third party. «Did you see that ?»

Everything's real, the only point is whether it fits in your belief system or if you trust the information enough to adjust it.
It isn't a Microsoft dialect, rather what might be coming in ISO C++23.

Conan and vcpkg are already establishing themselves, and they have a killer feature over cargo, binary dependencies.

Also too many Rust libraries still reach out to unsafe, needlessly.
Show HN: Startomatic – domain, logo, email, website, legal formation in 48 hrs
Whats up with this strange URL/domain?
I'v always liked the idea of literate programming, but I was always wondering how it actually feels in practice. Do they usual editor/IDE features still work like in a non-literate environment? – I assume it might work in Emacs, but are there other editors that support this approach?

Thinking about it, is Jupyter Notebooks (and the like) a form of literate programming?

Thinking even more about it, I think I actually used (or tried to) literate programming in a course about Machine Learning using R and – if I remember correctly – LaTeX to generate the actual application and a PDF.
Doesn’t redirect me :/
Yep. Was hoping for someone to debunk or explain. My (probably deeply flawed) hunch was that one would need some kind of specialised virtual machine or something to make homomorphic stuff. I'm babbling now.

Yes, someone please explain Cingulata.
Willingness to lock oneself into corporate walled gardens never fails to mystify me.

To my understanding, the only reason Java was embraced with any enthusiasm in 1995 was as a way off of Microsoft's frameworks treadmill.
I am not writing off Workman or CarpalX just yet. Will try them all three and settle on one. They're close enough in score.
While z80 does have control, it only has jumps to constant addresses. You had to do a push and a ret in order to jump at a calculated address. Or use self-modifying code, although I don't think it was really used.
It genuinely bothers me that the biggest name in tech is a massive advertising company that hasn't made a significant new product in a decade.
As a non-native English speaker living in a English speaking country, I appreciate the phonetic guidance of a fairly uncommon word
Same. You can't just steal words[1] and change the pronunciation!

[1] https://en.wikipedia.org/wiki/Cingulata
Show HN: Create Pixel Perfect Video Preview and Screenshots for AppStore & Gplay
I am one of the developers, so I wanted to respond. Imagine you want to search for a coffee or restaurant nearby. You can now use an app which cares about your privacy by encrypting your location, and encrypting the intent of your food search (maybe you want to seek out only italian, chinese, mexican, or coffee shop places) and the app, sends that encrypted data to the cloud to retrieve an encrypted response back wherein the app, nor the backend service could mine anything about you or your preferences. It just satisfied your request. In such a scenario the app would likely be paid, but the service wouldn't use you as the product to grab all your information...
Seems to be using a university proxy to get around FT's usual paywall. I had not seen this method before, am somewhat surprised the university proxy doesn't require some kind of SSO/auth. (if it's indeed working the way I surmise.)
I used to love doing the electronics run to Tokyo...I made bank every time!
Link is outdated. Newer version(as highlighted & linked on page) is at https://zenodo.org/record/3710954

Newer filename is jshopl-preprint-2020-03-13.pdf (published 14 March)

Older filename is jshopl-preprint-2020-03-11.pdf (published 12 March)

> There is a newer version of this record available.
Do you have links about the flags that you mention or were you referring to process pining?

Have you tried out the new eBPF libraries and kTLS?
Acme: A New Framework for Distributed Reinforcement Learning
Economics is not really something people think of when they talk about humanities or social sciences.

Indeed, in Econ grad school I learned a lot about control theory, statistics, dynamic programming, etc. But I was never told to read Foucault, Levi-Strauss or even Marx - something that sociologists and other people in humanities usually have at least a basic understanding of.

If we judge what is science by level of quantitative rig our then economics is the only social science.
That's because this blogger is clearly inspired by the dark enlightenment.[0] They promote and use obscurantism in writing. Partially out of elitism, but primarily to veil the fascist (and often racist) motivations underneath. A recent post is literally "the myth of progress" [1] which is the central tenet of the Dark Enlightenment.

edit: How appropriate. The very first post quotes Deleuze who was perhaps not intentionally writing in this way, but is strongly associated with the tradition. Out of curiosity did some additional digging and found that indeed this blog is what I believe it to be: https://twitter.com/meta_nomad/status/1187046976950587398

[0] https://en.wikipedia.org/wiki/Dark_Enlightenment

[1] https://www.meta-nomad.net/the-myth-of-progress/
We don't have analog hardware. Nerves are digital. The best we can do with them is pulse-frequency modulation.
It’s weird but I feel like with a little more info this would be a case for Reddit to try and figure out.
Thanks! I think I was missing the key actually, I usually use the little pop up asking me to save to iCloud, didn’t realise the key let you save too and to any password manager. Nice! :)
Does anyone have book/website recommendations for maze generation/solving in Python? All the links so far are awesome, but i'd love a 1-axis challenge (i.e., learn the algos) rather than a 2-axis challenge (i.e., learn ruby while learning the algos)
Great work!
This allows to perform arbitrary computation on untrusted devices.

However last time I checked computation in this scheme is ridiculously slow: on modern machines, cutting edge implementation of FHE manage to get around 100 integer operations per second.

Never the less there have been some brave startups trying to commercialise this technology:

https://venturebeat.com/2020/02/18/enveil-raises-10-million-...

Other interesting things build on top of FHE:

sql database where data and queries are fully encrypted:
https://github.com/zerodb/zerodb

fully encripted brainfuck vm:
https://github.com/f-prime/arcanevm
In my view Jupiter notebooks can be, but must not be, a form of literate programming. Many tutorials take the form of a single juypter-notebook exaplaining concepts with code interleaved, which i would argue is a form of literate programming. But my data-exploration notebooks, mostly code and an abundance of plots with sparse comments interleaved, don't really resemble anything i would call literate programming.
wasm ffmpeg -> canvas

Granted, not tested on Safari