skysight-inc/HackerNews huggingface dataset:
That does sound reasonable.

I am not very familiar with extradition-related laws. Reading the Wikipedia article about extradition, it does not mention judicial reviews (I'm not sure what those are), and while it briefly discusses the considerations involved in whether to allow extradition, it does not mention that it comes before any sort of court for review or so.

From my perspective, it's mainly a political question (by politicians, or perhaps (I don't know) government organisations that are not independent courts, e.g. similar to the rubber stamping secret courts in the USA for national security letters) and not so much a "does the pursued trial even make sense in our eyes" kind of question weighed by an impartial judge, but from your comment, I understand that this is actually the case and it does come before court and people have a reasonable chance of not being extradited if they did something that we find acceptable in Europe?
I think, as your posts demonstrate, reading too much in to any action is problematic. If a platonic touch is 'symbolic stomping' to you, perhaps the issue is larger than a single action.
Somebody keeps flagging it, is this post somehow breaching HN rules?
Physically Unclonable Functions in Practice
> We're all adults here.

With all due respect, that sounds like something someone would say if they haven't spent a lot of time running events where all sorts of strangers show up.

Think of the Birthday Paradox. How many people does it take before there's a 50% chance of someone sharing a birthday? It's surprisingly low. How many people does it take before there's a 50% chance of someone being an unreasonable asshole? Significantly less.
Is the conclusion that a manifold is a space that looks like a lower dimensional space that it really is?
Expanding on the OP question, does anyone know anybody doing interesting things with abstractive summarization (outside of salesforce or whitepapers)?
Just out of curiosity, why not move to the US now? I know a ton of friends that went over once they did their Bachelors.
I think everything said here can applies to just topologies.
App designed to help power users “Eat the Web”
I think for most cases, old school Unix style is perfectly adequate. Where it isn’t xml is the least bad alternative (and yaml is probably the worst).
JS is a lot closer to Scheme and Lisps than an imperative language. In fact, it used to have a lispy syntax before Brenden Eich was forced to change it to make it more approachable.
> A fractal isnt a manifold

Some are. A Koch curve for instance.
> I'm not going to get upset if someone complains about me kicking them out. No big deal.

I'm glad you're a reasonable person, but I've been part of a group where people did get upset about being kicked out. They tried to argue about it. They tried to rules-lawyer their way out, they tried all sorts of emotional appeals.

> Maybe I'm in a place of privilege

It kind of sounds like it.
This is as ridiculous as those asking why Warren Buffet or Bill Gates don't send an extra check to the government while preaching for higher tax rates.

We all know this works when done across the population, not individually.
Besides the other answers, things also start to get interesting when you add some qualifiers.

E.g., asking for a "differentiable manifold" now asks for manifolds with enough additional structure to do calculus on top of.
Zoox: Robot Taxi
Everyone's income taxes should be $0
That’s the clue I used, but I didn’t find it very obvious which “Graydon” the URL referred to. I’ve never heard of Graydon Hoare before but he seemed to match up with the content of the slides. For some reason he seems to be intentionally obscure about who he is on the website, but I see now that there is a link to a named Github profile.
The only relevant data I could find in those links was from "ecologically sustainable recovery of bio-waste". A figure on page 38 suggests that bio-waste recovery could save between 29 and 194kg CO2e per ton of waste, but the breakdown does not appear to include the emissions involved in the collection of domestic food waste and the accompanying text acknowledges that the data is not based on a full lifecycle analysis. I cannot find the source document cited in the figure, possibly because of a translation issue from the original German.
The information and know-how in this talk is amazing.

It would be interesting to know the author's thoughts about other early influential software in the early PC era, such as the UCSD P-system (was UCSD Pascal an early version of Turbo Pascal?) and Microsoft Basic (fitting the whole interpreter, including floating point arithmetic emulation into 6.5K of RAM on an Intel 8080 seems like a minor miracle today.)
For real life experience with this, see reports about Norway, Finland and Sweden. For instance https://www.reuters.com/article/us-panama-tax-nordics-idUSKC... (random Google hit)
Is there some way to see this without the paywall?

I realize I’m just one data point, but as someone with anxiety, I studied up on the use of propranolol in fear extinction and was able to get my doctor to prescribe it around 5 years ago. It had absolutely no positive effect on me. I may as well have been taking aspirin. It did, however seem to have some negative effects on my memory. If I met someone while on it, I would often not recognize them if we met again. It’s like it prevented my brain from recording their face to my long term memory.

I was on nothing else but blood pressure medication, by the way.
All is well until the poor bug finds out it's on a Klein Bottle, or worse yet RP2.

Is there any way to distinguish between orientable or nonorientable surfaces when you're simply walking on it? If the bug was also 2d, I might have had some ideas hut I'm totally blanking for 3d.
To some extent, yes! It needs to have a 'nice' structure, though---this is why we have the condition that is should resemble, say, an Euclidean space.
> parsing xml may cause random random network requests (firewall issues)

inability to properly use a library should not count against it
I had the same experience on a small private WoW server. We knew each other very well and I have 4 friends from that era.

Btw even nowadays small twitch streamers are also a good place to find friends.
So apparently, “motion sequence” is Korg's term for automation—i.e. you fiddle the velocity slider while playing back a loop instead of putting the velocity in when playing the keys initially.
If you are out there and suffer daily 'stage fright' or serious social anxiety - propranolol is the drug for you. That weird fear that sweeps over you before a conversation - just doesn't happen. Need to talk in front of 50 people in 25 minutes? No problem. If you are crippled by social anxiety - this pill will turn you into Bradley Cooper in Limitless.
You can do this easily in lispy languages with eval
You can have a thing in some higher dimensional space that still "looks like" a thing in lower dimensional space (like the surface of the sphere in R^3 being two dimensional), but R^3 itself is a 3 dimensional manifold that "looks" 3 dimensional as well.
Well, when one whistle blower tells another whistle blower how to collect the evidence needed for... blowing said whistle about illegal activity, the methods themselves often seem a bit off-book. eg gaining authorised access to materials, transmitting them to third parties for public reveal, etc.

The thing with whistle blowing though, is (some) countries have protections for whistle blowers specifically because off-book methods are commonly needed.

So, even if Assange did assist Manning as stated... the "illegality" here isn't really the point (except to people trying to suppress whistle blowing).

The point is whether whistle blower protections turn out to be fit for purpose. ;)
> Going from Java to C# you will learn less than going from javascript to ocaml or Java to Haskell.

Depends on how you'll use C#. If you'll write Java-style OOP, you'll indeed learn very little. But C# offers much more than Java: generics, FP, LINQ, async-await, dynamic, native interop, unsafe and pointer arithmetic..
It looks like a normal minibus/charter company. We have a few hundred of them here in Argentina. At least here, they are not solving the daily commute problem, it is still a mess.
Isn't that Haskell? Or any other declarative, lazily-evaluated landuage.

Granted, you need to use something like the ST monad to be able to "change the value of x," but once you do, all other values fall into place like dominoes.
> executable-program-as-config I learned to hate in the JVM world

I don't understand how anyone who ever used gradle or even maven and went somewhere else can actually say that

Gradle is simply amazing and literally don't know what could be better about it. The link posted is so trivial compared to it's power, it's like criticizing a bullet train for the pattering on the seats.
> An effect system for Forth

I have to confess that I don't know what exactly entails an "effect system", but Kitten trying to achieve something like that?

http://kittenlang.org/
How would it work if instead of thinking of spiders, you thought of your wife?

Would you lose your feelings of love?

This seems like an incredible drug, I’d like to do some self experimentation.

Also, if people have been taking this for anxiety, why haven’t they been cured?
"The key mistake"

Not really because I wrote it.

I could have written 'glass recycling has the possibility to be sustainable', but instead I wrote 'glass recycling is sustainable assuming X'

You could complain if I didn't state my assumptions, but I did.

I currently buy 100% green electricity, I could use that to recycle glass today and that would be sustainable. So this isn't some hypothetical, it is possible today.

That isn't to say that I disagree with your points though. It isn't an easy problem, and 'best' now, doesn't necessarily match 'best' in an ideal world.
Yes, CosmosDB lets you choose your preferred consistency level.

https://docs.microsoft.com/en-us/azure/cosmos-db/consistency...

The performance impact of different consistency levels are available here.

https://docs.microsoft.com/en-us/azure/cosmos-db/consistency...

As you would expect, stronger consistency leads to lesser throughput levels.
The previous president was fairly down to earth and into fixing things but his opponents did their best to prevent all that.
HNPP
Or, perhaps the group aspires to grow larger.
Maybe I’m an outlier, but it had absolutely no effect on me for public speaking or social situations. I was prescribed a lot of it, tried for years and even still have some sitting around. I envy those who get the effects you describe.
Not companies I interview for. The last time I had any type of algorithm type interview was 1999 when I was applying for a job as a low level cross platform C bit twiddler. Since then all of my interviews have been a combination of soft skill, tell us about your experience, white board architectural discussions type of interviews. Of course they asked me technical questions about the language and stack they were using.
We are in the GNSS stage now. Galileo, Glonass and Baidu do not care about what the US does with their constellation.
> Is there any way to distinguish between orientable or nonorientable surfaces when you're simply walking on it?

Draw a circle on the surface and orient it. If the surface is non-orientable then there's a way to take a long walk, return to the circle, and find that the direction of the orientation has changed.
I have seen this in my own friends and family. But unlike 10 years ago, when fox was an easy outlier to pick on, most news seems to push a routhless agenda now. I have been called a: filthy capitolist, ballless socialist, bigot, racist, snowflake, and everything else. I am not right, or left enough for anyone it seems, and they let me know. I think we all just want a happy productive world, but the narrow ways we approach it are hurthing those it is meant to serve.
Public sector salaries are publicly available not because we have a right to know how much you made, but because we have a right to know what we (as taxpayers funding government) are spending.
Error in /~/index.ts (19:21)
Cannot read property 'replace' of undefined
DW's Spanish TV has been taken off air by Venezuela's communications regulator
> [The article] sorta implies the serial number has something to do with the caching mechanism, but it doesn’t.

I agree, as I said yesterday in my sibling comment.

> In fact, the formatting shown for zone files is specific to BIND.

No, the format is a standardized (defined by RFC 1035 section 5) serialization format for zone data, called Master File format. It is used as an interchange format for zone file data.

It may (or may not) have originated with BIND, but that is beside the point. It is not, and should not be seen as, being specific to Bind in any way. Is is analogous to JSON for DNS data.
A Y-shaped "line".
Thanks for the link - a lot of interesting literature to dig into!

Generally with unknown (at compile-time) variable types, you need to box the variables (carry type information in addition to the value).
The operators may then either work on the boxed variables and choose behaviour based on the type information or the operators may be specialized in many versions to work on the unboxed variables (this requires the run-time to dispatch to the correct specialized version, if the types cannot be determined statically).

This is generally a trade-off between space and execution time - if the number of possible types are low (either because of a limited type system or because the possible different types can be determined statically), then it may make sense to specialize.

In JS, in addition to mutable types and values for each variable, you also have a challenge with variable scope. It is possible to introduce new variables in the global scope from a local scope, so depending on run-time values, a variable for a given statement may or may not have been declared.

An example from the thesis:

function f(){
a = 5;
}

function g(){
console.log(a);
}

if(x){
f();
}

g();

Assuming that 'a' was not declared elsewhere also, the call to 'g()' will either print out the value of 'a' (ie. "5") or will result in a run-time error.
It's a shame F_r_k's reply here got flagged. It's actually quite insightful.
There’s huge difference between public salary and public total income.
We have no idea, but their work is apparently a key contributor to ECHELON.
I wonder what effect this would have on wages. It might create upward pressure, in that people could see when they were paid less for a similar position as a colleague and seek an increase, but it might also create downwards pressure as management were more reluctant to give anybody a raise given that it might cause other employees to demand one too. Seems like it would be good for small startups, as most employees would have different titles and hence no reason to expect similar compensation.
Agreed. A number of defensive comments here seem to be emotional reactions to perceived attempts at being 'told what to do', when in fact, most codes of conduct are not much more than social contracts. Or at least, that is how they have worked in most groups I have been a member of.
An edition is just another word for version. If the language were truly backwards compatible, you wouldn't have to tell tools like `rustc` which version/edition your code is written in.
This is just an extension of the same idea: if I have a right to know I paid $2 of a $50k/year public servant, I also have the right to know that my neighbor didn’t pay $0.
Sounds similar to cockroachdb, by ex google devs https://www.cockroachlabs.com/
Not really. Back in Italy most people throw trash and cigarettes on the ground, but I don't do it because believe it's not the right thing to do. It only makes a difference if everyone else does it too, but that doesn't stop me from acting according to my beliefs.

If I thought hiding your income taxes was wrong, I would definitely publish mine. If I was Bill Gates and I was uncomfortable being taxed at whatever tax rate Bill Gates is, I would definitely send an extra check and stop my Fortune 500 company from eluding taxes.
Well, consider a white-owned company catering to the African american market. That would not be rightly called an "african-american" company, nor would it be an "african american success story", etc.

It's just PR presenting it as such.
Yes its Graydon Hoare.
> Adding noise to any encryption has it's upsides

That's assuming that the secret is the encryption algorithm itself rather than the key. Modern symmetric encryption does not work that way - the algorithm is public and well known while the key is the actual secret required for encryption/decryption.

I don't see how adding noise in modern encryption can help other than increase the size of the output.

Some modes of operation make use of random noise (IV in CBC, nonce in CTR, etc) because it's a convenient way to get a unique number but it's not for obscurity, it's because it's needed to prevent attacks on these modes.
Search and Download International Terminology – Microsoft
A smartphone is a device designed on all levels to be used against you, not by you. In a better world you'd have a choice on the driver level to give or refuse access to any data you choose, or to send fake empty data. With every version of Android it's progressively being made more and more useful to Google and advertisers, and less useful to you. At this point they should be given away for free, because paying for something that is designed to enslave and exploit you is just silly.
Facebook, Instagram, Messenger, WhatsApp Down Globally
Something with jq's filtering (and likewise JMESPath) and output for stream processing could be quite interesting indeed.

In terms of my own pet desires for a language I was always a little sad that the iteration constructs from ICSI's Sather didn't see more love.
Tmds.Systemd: .Net Core library for interacting with systemd
"If we need to dig up landfills to recover materials in 2100, so be it"

You were talking about burning plastic bottles a minute ago???

Agreed we need to minimise energy usage and move away from fossil fuels as quickly as possible, plastic usage risks creating a market for fossil fuels, where petrol/gas become cheap byproducts, so it isn't a straight forward trade off.
The one time I went to hospital in the UK (wisdom teeth under general) I was forced to put on pyjamas and stay on the ward much to my annoyance as I would rather have wandered off to get a coffee. I'd had no drugs or treatment - I'd just walked in.

The reason I was given was insurance - if patients were able to wander off they might fall over and the hospital get held liable.

They also wanted to stop me driving home at the end but I got around that one by fibbing.
SWIM disagrees on grounds of plausible deniability, but you do you.

(There is the persnickety universe inside one's head, and there is actual experience. Please speak from experience or remain silent.)
Isn't this exactly what __restrict is for though?
No, it really isn't hard to avoid touching someone who doesn't like it. If simple accommodations like that are a "slippery slope", I'd suggest a little empathy.
I hate saying this, but people who take advantage of norms is why we can’t have nice things.

In this case nice things is social interaction that’re natural which don’t require a “contract” (I.e. I’m thinking of hugging you, may I hug you?).

It’s so big brother-like. It’s a bit opposite of being social. It becomes more like a mechanical contract and lawyerly. This is not a path I wish to go down.

Some people are over touchy, but, and here I agree with Pelosi, you have agency. Put your hand out for a shake, or whatever. Yes, some people smooch too much or hug or touch too much, but they are outliers and introducing these artificial mechanics to, in theory, thwart these people, I think is not worth the trouble.
Funny enough, “my music is more danceable” was the exact RDJ's argument is the little (indirect) exchange with Stockhausen.
Except that fully local tasks now cannot be done fully locally, more data than needed for the task is leaked to the service provider, and the whole thing becomes a centralized ordeal. It turns into a single service what should be a product giving access to mulitple services. It offers degraded user experience due to latency (reason #1 I don't use voice assistants, #2 being not much useful to be done with them if I can't trivially write code gluing them with stuff I have in my house), stops working completely when there's not Internet connection (Internet isn't and can never be as reliable as power), and I'm doubtful of how significant power benefits are once you account for the power that's used by various routers to transmit your voice to the cloud and get the results back.
Why we’re switching to calendar versioning
Guide to European Rail Maps and Atlasses (2013)
EV batteries give new jolt to old lithium mining in North Carolina
Mercury brings a bit more sanity to Prolog with its mode system. This is one of the key reasons why it runs fast and can be used to build big systems like Prince. That said, it _is_ a restriction on expressiveness of programs, and sometimes that makes it hard to do certain things. That's true of any type system.

There's still an interesting question about whether a different iteration on the mode system could capture more of the semantics of Prolog while still being useful, but so far nobody has done that research yet. It's more trendy to do FP research these days, so I'm expecting it could be a _long_ time before we get an answer, sadly.
Why Nightingales Are Snubbing Berkeley Square for the Tiergarten
It is not. Its syntax is simpler and more regular than Java or C#, and on par with Kotlin. I haven't heard many complaints on them having complex syntax. Ironically Kotlin is promoted as simple, when its syntax is almost the same as Scala.
Learning to program most definitely doesn't take 10 years of self-study. Someone of reasonable intelligence and enough disciple can learn enough in about a year to become reasonable useful for the average company. Does that person still have a lot to learn. Sure, but that can be learned at the job.
>I don't find the summary particularly promising. So much 20th century European philosophy seems to dodge issues of truth in favour of constructing stories of (psychological & social-cultural) motivation.

Humans don't operate on truth, they operate on psychological & social-cultural motivation, and use "truth" as a pretext.

We not only lie to others (e.g. saying we want X for justice and truth, but instead we only care of being elected, and we might even harm X with out actions).

We also lie to ourselves all the time.

And we also have delusions we consider as truths (based on psychological & social-cultural motivation). Those lynching black people, for example, didn't consider themselves bad, but as people doing the good thing, and punishing people that are bad for their community.

Similarly, Adorno and Horkheimer's starting point is 40 years of carnage (WWI and WWII, plus USSR gulags and the holocaust, Hiroshima, Dresden, etc.) from supposed Enlightened states, and where even those against enlightenment ideas made use of enlightenment methods (e.g. the Nazis building their technical industries, creating rockets and novel weaponry, engineering the elimination of Jews on industrial scale --even using IBM tabulating machines--, and so on).

Plus, it's not like Adorno and Hork. propose some bizarro alternative fake-truth universe on the other hand. They don't say truth doesn't matter, or it's all stories etc (that would be later post-modernists, and even for them it's a gross oversimplification). In fact they critique this (e.g. the use of "alternate facts" and erasing of history in the USSR trials, etc).

Their emphasis on psychological & social-cultural motivation is precisely to show the hidden actual truth (e.g. profit motives, social conditioning, etc) behind many actions that pretend to be themselves the "truth".
are you a contractor in data science area in Germany? Can we please talk?