skysight-inc/HackerNews huggingface dataset:
What you say may be true of CBD, I don’t know, but your quote is from the grandparent comment’s description of cannabis, i.e. marijuana. It is an accurate description of that drug’s effect.
Those are also harmful when taken to excess.
There is no credible, replicable, evidence that CBD does anything for anyone

There are studies that show it is reasonably effective for some intractable forms of epilepsy

https://www.nejm.org/doi/full/10.1056/NEJMoa1611618

Indeed there is an official licensed medicinal version called Epidolex and the FDA recently approved it https://www.fda.gov/newsevents/newsroom/pressannouncements/u...

(however this often gets overblown somewhat by the pot lobby, so I share your concerns about snake oil in general)
I suspect that in order to access any character index of a given string you must access the entire string and then the specified index. The longer a string the more indexes there are from which to access. I suspect the speed differences between short and long strings is negligible and possibly not something most tools can detect in isolation. There are second and third order consequences that compound over other operations when executed in a loop though.
The benefits of migrating Gov.uk Pay’s codebase to the Gov.uk Design System
I've heard that before but is it confirmed anywhere?

If so it doesn't seem like a very good analogy. In GoT the characters almost all ignore the white walker threat because they don't believe it exists. But most people do agree that climate change is real and will get worse. The apparent lack of action is not due to lack of belief but rather, lack of any obvious options for how to address it that aren't as bad or worse than the effects of climate change itself, i.e. massive shutdowns of industry and transport that would just as apocalyptic in impact as a rise in sea levels would.

If Martin wanted his story to be a metaphor for climate change (which I personally doubt, maybe he retconned that later), then he should have been depicting his characters as mostly believers in the threat even when they couldn't see it, because books told them it'd happen, and the arguments would all be about how to defend the kingdoms. Instead he wrote a story where the game of thrones continues so long because they don't really believe the white walkers exist at all until they literally turn up at the wall. Speaking of which, what's the wall meant to be a metaphor for, if it's about climate change? I can't think of anything we've built that's meant to stop climate change but which turns out to be ineffective.
i learned to love smalltalk and lisp after i realized that despite their age they are just as good as most younger programming languages.

it felt like a revelation, and almost disappointment that there is hardly any innovation in newer languages.
the compilers themselves (e.g gcc) aren't the problem typically.

It tends to be the dependencies (of the compiler and the libraries) that assume target==host.
Build Serverless APIs with Serverless Framework and NodeJs
I could never work in a vet office, obstetrics, neonates, or early paediatrics. I don't know how people do it.
True, I guess. An hour is a lot though; aren't road repairs signposted in a reasonable way where you live? (I.e., using actual road signs, not navigation.) Actually, in the Netherlands I've found some longer-term road works listed in OSM. I don't use navigation, or even drive a car, often enough to compare with Google Maps.
Facebook would still be maintaining the ledger, which means there's no such thing as letting everyone transact freely with each other. It's like the bank saying they're not liable for KYC procedures because it's their customers who initiate the transactions.
How to keep your Bitcoins secure offline and online
How can I make my Daily Motion video go viral?
Saudia Cargo extends its services to Calicut Airport
This brings up a question I have. Is there a way we can code up proofs in a computer language and have it checked for correctness? If so, how? What resources can I follow up on? Can current technologies check really complicated proofs like this one?
I first heard about her on facebook and it hasn't stopped. She also says some very controversial things, I guess that's the way to grab attention now.
>The former isn’t true for income

Wealth inequality is not about income is it?

>doesn’t remain true for wealth for more than a couple generations

So, it only remains true for as long as it has existed?

>The latter is of course true because... math. 99% of the people are always going to be in the bottom 99%.

The statement isn't that 99% of people are in the bottom 99%, it is that it is the same people staying there.

>When you talk about the 1 percent for income, you are capturing doctors, lawyers, professors, and small business owners with your angst.

What part of "wealth inequality" would make you think repeating a deliberately misleading corporate propaganda piece about income would be productive?
India on the way to complete survellience?
> They're war hawks, pillars of the military industrial complex, hell bent on keeping us at perpetual war in places like Syria and Afghanistan.

And they'll be replaced by exactly the same type of people (although many won't say as much until they quit a year down the road)
Thanks for the explanations. Do you know if people have attempted interfacing with Chiplink using homebrew FPGA solutions?
>> A whole bunch of complex software is written and in production using go

And also in Java, javascript, COBOL, FORTRAN, R, and many other languages that are associated in software developer circles with all sorts of developer-unfriendly nastiness. The truth is that most programming languages we use today are a bit shit, because they have to make hard choices to overcome limitations of hardware and, well, human brains. In my view, the real reason programmers are highly valued is because we can endure the hardship of using those primitive tools and make them shine despite their inherent limitations, not because we are so brilliant we can't keep ourselves from programming the equivalent of the Capella Sistina in the process of gluing together a bunch of library interfaces.

Otherwise- well, you can write complex software in Brainfuck, if you really put your mind to it. Hell, a whole bunch of very complex software is written in assembly languages. So what? That's a testament to the ability of humans to express themselves in very restricted formalisms, not to the quality of those formalisms.
Spotify Design
I know Coq exists but that's about it https://coq.inria.fr/
"And now you are standing up for them."

Um. That's not what I said. Not at all. Please re-read the Note: at the end and my (lack of) faith in human nature. I'm not defending anyone. But by the time we get done running around in circles and settle on what punched a whole on the bottom of the boat, we're going to be water-above-head. Is that not what we're seeing? Still?

As for "higher waters", the original article was about water levels and Amtrak. I stuck to that. If you want you make the problem bigger and even more overwhelming, sure, we can go your route. But from what I've seen that kitchen-sink approach - again see the Note: - isn't working out well. At some point we have to come to terms with what isn't working, and try another approach.

I agree with you (sans the "standing up for them" bit). But I'm far less naive, far less trusting of human nature.
I have not made any extraordinary claims, I have repeated the very standard scientific consensus, which is constantly repeated in the popular media. I do not presume that every piece of common knowledge is going to be considered an "extraordinary claim" by someone who hates search engines.

>Worrying about society overeating wasn’t even a thing in the US until the 50s.

So, our modern lifestyle is good because we've only been worried about it killing us since we've had it?
Ask HN: Have you lived on Svalbard, and if yes what was your life like there?
Yes! There are several different languages and systems used for coding proofs. Coq [1] is probably the most well known. But, as you alluded to, it is not convenient (or easy) to code all proofs in such a style.

1. https://coq.inria.fr/
That always amazed me. Why people keep torturing themselves applying Java to the usecase where Java is clearly not a right technology. I've watched very interesting talk by LMAX people and half of it was about how to overcome garbage collection gaps, latency, etc.
Acme (text editor)
RHEL version numbers are not telling you much. Nobody would be surprised to find some Linux kernel features announced for 4.20 in RedHat kernel 2.6.32-something.
Refactoring: Culture as Branch of Government
For web traffic, yes, it's a solution. But if you deal with gameserver traffic like me, Cloudflare can't save you.

OVH's anti-DDoS (GAME variant) is quite good in my experience for protecting non-web traffic.
I think we underestimate how “mainstream” digital currencies could be if the UX is right. In a lot of ways we already deal with “centralized” digital currencies already in the form of loyalty points with airlines, hotels, food/coffee chains, grocery stores and gift cards that can only be spent at specific merchants I.e. currencies that have some value and can be used to pay for things.
Nearly all regulation is to protect the public from something bad that someone did in the past. Why would you be against that?
I'm not sure how much of a pass we should give news media. Even before facebook they were still optimizing for click through rates and ad hits, which was enough to give rise to "clickbait" titles and images. During the election I remember people were _glued_ to CNN, and at work people would say "can you believe what trump just said" and then argue endlessly. Even now, media articles still choose publish about mass shootings, the rise of Chinese hegemony, and other threatening lizard brain topics. "If it bleeds it leads" is still as true as it was back then.
the only case to be made against marzipan is that there often isn't enough of it.
You don’t mention your citizenship or your age, both of which effect the advice I would give somewhat.

You’re basically opting in to a life of poverty until you monetize your projects. In the US you can find land in the rural Midwest wired with fiber/electric for $2k/acre. $5k to drill a well, $10k for a used camper. Then your monthly nut is just food, fuel, utilities, and property taxes ($350/mo). Upwork/codementor a few hours per month to cover this. Or full-time remote work for enough time to pay everything off and stash away your runway. Part of the game is balancing time and expenses (will you garden/raise animals to cut food expenses? heat with wood? maintain your yard?).

My fiancé and I did something similar after leaving typical big city jobs, but I think it takes a rare person/relationship to make it work well.

The part where age factors in is you need to know yourself and your partner very well. Skills matter, sometimes they can decide your security/survival. Emotional fortitude. Assume you are well fed in a quiet room. You still won’t be building anything amazing or unlocking the secrets of the universe if your mind won’t stop thinking about being lonely. If you are disciplined enough to treat it as a stepping stone along your path, if you have a remarkable partner, or if you’re ok being alone and mature enough to know that you always will be, then it can be a good strategy.
https://github.com/liuxinyu95/AlgoXY

In this book the author shows brute force, improved and functional implementations in python, c and haskell.
Generally speaking, if a society isn't "evil" - and the situation doesn't really fit into any of the 'whistleblower' or 'opposition against an oppressive regime' scenarios - then why does it have to operate in secret?

It's typical of mafia-like, criminal organizations. Case in point: https://en.wikipedia.org/wiki/Propaganda_Due
Exclave: Hardware Testing in Mass Production, Made Easier
Just found out that the devs are aware of the situation and posted about it last august in one of the most prominent french linux website.

they basically say that since 2010 they've been trolled on regular basis about the name of their software that happens to be a coincidence. These trollings gave them the inspiration to push further with visual elements and other part of the naming scheme used for other components.

The regular attacks from social justice warrior seeing in weboob a cisgender patriarcal homophobic masculinism are causing incomprehension among the female devs contributing to weboob and among the women gravitating around this project. Mostly it seems these attacks are coming from men who want to impose their view on women about what's right and wrong.

He ends the post by saying that he was supposed to give a talk with his girlfriend data scientist about the conjoint use of weboob and machine learning to scrape dating websites at pyconFR titled "find love with weboob <3", though the talk was well recevied, he was asked to provide a different title to the talk due to chances that people misinterpret it and complain based on the code of conduct of PyconFR.

https://linuxfr.org/users/moules/journaux/le-comble-du-ridic...
Thor Premium Home 2.5.166 RC/ 2.5.151 Mac and Windows Crack
I don't think you're the only one that likes this project
I'm not certain what is open sourced. What I saw is that Windows iis going to be able to access certain features of uefi, so they would be more standardized than anything.

Also, I didn't even have bitlocker turned on, that was just Windows being a PITA with regards to daul booting
Cloudflare has a product called Spectrum that is used for game servers and other things: https://www.cloudflare.com/en-gb/products/cloudflare-spectru... (does arbitrary TCP and UDP).
There’s no regulatory body testing most things, especially chemicals. It’s tragic.
Like everything else, it’s a job that you must emotionally separate yourself from to do it good.
If hemp is widely grown and a part of that is production of widely available low-level painkillers then there is, I imagine, a massive challenge to the pharma-corps -- a good deal of their income is probably low-level pain medications?

FWIW I've had hemp beer (quite good) and used compostable "plastic" cups made from hemp (no different in appearance or use to regular plastic cups).
You can use profile-guided compilation with an AOT compiler, too-- Or you could just add optimization hints to the performance-critical parts of the code. Either way, the compiler doesn't need to "guess"
"Hashing" is unfortunately a very overloaded term. Even searching for "password hashing" gave me pretty bad results for the top hits. "Key derivation function" (KDF) gave much better results.
Heh. Google translate actually recognises some of those, er, terms:

ATTENTION!

ALL TOURISTS AND NONTEKNISH LOOKENPEEPERS!
THE COMPUTER MACHINE IS NOT FOR THE GEFINGERPOKEN AND
CENTER DIG! ORWISE IS EASY TO SNAP THE
SPRINGENWERK, BLOWENFUSEN AND POPPENCORKEN WITH
TIP sparken.
IS NOT FOR TRADE IN STUPID HEADS. THE RUBBER TIPS
SIGHTSEARS KEEP THE COTTON PICK HANDS INTO THE POCKETS.
ZO RELAXING AND WATCHING THE FLASHING LIGHT.

I'm kind of amazed that it can go even that far. But mostly, I'm amazed at the fact that I can just pick up and read a completely made-up language, or a severely garbled real language, depending on your point of view.

We got some way to go before machine translation can match human language abilities, eh.
> If a centralized company wants to roll out electronic payments through its services it can just, you know, do that.

Not it can't. There's a world outside of the US where whole businesses run on WhatsApp. There is no solution, simply none today that exists to allow anyone from any country to register and start making and receiving payments. Not Stripe, not Paypal, none. If Facebook can deliver something that can then be exchanged for real dollars, that could be huge. If a person in a small village in Peru can just start receiving money from another person in another country and that the only barrier of entry is having WhatsApp installed on your phone, this could get ridiculously successful overnight.
Android Pie À La Mode: Security and Privacy
What do you propose as replacement for coal? Both for electricity and heating up homes?
I've learnt that programming languages, just like food and fashion, are a matter of taste to a high degree. You can point at awful smelling, too sugary meal and call it crap. Someone else spends years perfecting it.

One's taste however can change: food with high sugar leads to heart disease and diabetes, so I better stop eating that favorite dish of mine. You keep doing that for a while and taste of sugar (or salt, or fat) becomes disgusting.

Statements like "Go is crap, it has no generics" originate from one's taste in programming languages so there is no arguing with that. However, talks about what generics (or exceptions etc.) does to the health of the programs you write that span time and other contributors, are no longer subjective matter, but an argument worth having. This is, where I think, Go's strength comes in: its careful development process that puts programs' and programmers' health at the top of the priority list.

Health is not the same as comfort. Taste of a dish you've had for years is comforting. You're not going to feel comfortable when the ingredients you've come to expect are taken away. But if you can get past that, you may end up living longer and healthier. Similarly, your programs may become more maintainable and long lasting.

No one, who is familiar with the philosophy and motivation behind Go, can claim that what I've said above is false. You can say that Go team is slow in progress, but that's what methodical and evidence based approach is like: slow. You need time to experiment, learn and evolve. You other favorite languages act like the general public who at hearing in the news that "coffee is good for you", starts drinking 10 cups a day. Go's approach is more along the scientific way.
The non-native languages like to keep their build systems in a form of a big mess. Python is probably still not cross-compilable, npm that depends on an old ssl, things like that.
i thought maybe it is something about cases of bitter almonds used to produce poisonous marzipan.
> Too often, when secret societies are brought up, many people have convinced themselves that secrecy must mean something nefarious is at play

"Must" is an exaggeration, but it is certainly a red flag.

> Considering that the HN community is privacy centric and generally rejects the notion of “You don’t need privacy if you’ve got nothing to hide.”

A society by definition isn't private in the sense used here. Noone complains about book clubs not listing all their members on the front door. A society, however, is an organization with the purpose of playing some role in the public life. You can't have it both ways.
Was this sarcasm? Their tablet, watches and Airpods are all very well received and successful. I have the Watch and AirPods and they're great. As for USB, I assume you mean USB-C, what would you prefer? Another proprietary connector?
"His invention was inspired by something he saw while visiting Australia."

Exchange visits(+) a good use of money perhaps? - spark that innovation.

(+) not necessarily just to 1st world countries by the way
I see that your Kong service mesh using nginx as the underlying proxy. Are there any plans to use Envoy proxy in future? Currently Istio and Linkerd2 are based on Envoy. Unlike nginx, envoy doesnt have an enterprise version where some enterprise features are held off. Also envoy has very good observability and traffic management features.
Going down the rabbit hole of looking at the alleged evidence puts one in the same bucket. I'm from the UK and know for a fact the msm have covered for the establishment crimes for decades/centuries. Then you look at who owns the msm and it is clear why.

There literally is no point trying to defend this position to people who have not spent a great deal of time investigating it, because it takes a lot of time to investigate.... and the MSM is not the source of the truth. Yet, it is entrenched in UK political life, either by being involved, or turning a blind eye.

A search for Cyril Smith, for example, will begin to open the eyes of the most logical and rational of thinkers.

An example from the US of lies (that dragged UK and others into the war) is the testimony of a 15 year old girl to make up a fake eyewitness account to justify the first Iraq war: https://old.reddit.com/r/Sino/comments/a4mx0m/american_gov_g...
I have recently started saving in mutual index funds. I have no idea what I'm doing, but it makes me happy whichever direction the economy is heading: when things point up, I'm happy because it let's me withdraw more cash, should I want to; when things point down, I'm also happy because I know that means I'm about to get a really good deal on shares which I can later sell for lots.
Virgin Galactic in Space for the First Time
A true version controlled database is tough given the nature of the data. A bad migration and you lose data. Being able to do them on a replica and then run tests is cool. If you use MySQL look into Githubs tool https://github.com/github/gh-ost
>the BCC regulations state that a delivery truck cannot leave the facility it is licensed at until 6pm, must be tracked by GPS, and must be back at the same facility by 10PM. //

Weird legislation, how is it serving the people?

Can you have more than one facility, so you have a lockup 2 hours out, and step-stone product across the state?
The most coveted meteorite is still the Kaaba black stone. 15 million people travel to it annually. https://en.m.wikipedia.org/wiki/Black_Stone
Yes, you can provide such a service. With such a service, you have the power to access the emails. Telling people that you can not access the emails would be marketing bullshit.
We have some updated numbers, including benchmarking on Kaby Lake (AVX2): https://www.scss.tcd.ie/~andersan/projects/live/triNNity.htm...

I believe I will have access to a Skylake-X machine in the next few days, so hopefully I can post AVX-512 results soon as well.
It's weird that you take this stance. It almost feels like you're implying that ProtonMail is a bad actor, and end to end encryption is bad because 'civic duty'. That's like "but terrorism".

I understand that you're not a privacy-first company, but still, your communications haven't been reassuring me. There is extensive documentation (e.g. Yahoo FISA) that ALL content not end-to-end-encrypted is ingested for bulk surveillance and decades-long (if not infinite) retention.

The only solution is 100% end to end encryption, with NO mechanism for unauthorised access (including law enforcement). Like iMessage and Signal. Anything partial of that, while saying you are pro-privacy, is IMHO harmful to privacy.
Because seatbelts, airbags, building codes and things like that are just a huge burden on society.
So if I'm understanding, raw text is fed into the geotext python library, which parses out geographical locations and adds to the count.

I'm very skeptical that there are 18 new jobs on the island of Jinja, and that instead the analysis is picking up the Jinja templating language

Edit: same thing for "cambridge" in the same location as Jinja Island. Obviously probably refers to Cambridge MA, where Tufts/Harvard/MIT are all nearby, so tons of companies will be there.
It shows 18 jobs in Rennes, France. But couldn't find a single job post. Wonder which word could produce false positive for "Rennes"?
linkerd2 is not based on Envoy :)
It has its own proxy written in rust : https://github.com/linkerd/linkerd2-proxy
Does the book discuss foundations of numbers? Peano's axioms, etc. It does not look like from the contents or the sample chapter.
Imagine a terrorist cell, which consists of just some task-rabbits, receiving parcells and plugging parcels into the "maschine", which charges drones, and releases them according to some mysterious connection.

There is nobody on site, to actually commit the acts.
Gig economy terrorism, now that has to scale.