skysight-inc/HackerNews huggingface dataset:
The canonical example is https://en.wikipedia.org/wiki/Vitali_set

You can kinda think of it as "the set of real numbers MOD the set of rationals". Kinda. And they're dorked up because the length is infinitesimal, but a countably infinite number of them add up to length 1.

For a more precise explanation see here: https://math.stackexchange.com/a/137959/287133
Nobody claims that Turing machines in particular are well-suited to the task. What we claim is something more open-ended: Turing-complete languages can simulate each other given a universal encoding (a program we typically call an "emulator") and the simulation is only polynomially slower and larger.

Well, that's the Church-Turing Thesis, which most people accept but isn't being discussed by me or the OP - the topic being "theories of the mind", I think.
Boom Supersonic (YC W16) XB-1 Fuselage Construction Underway
How can anyone support Trudeau? Coming from the US, Canadian politics looks insane.
Never used the Apple TV version. But I have used the web and Android versions, and the Roku player blows them out of the water.
The countless commercial failures of such projects since OpenMoko proves otherwise.
Oh - up top is Bernhard Riemann and August Mobius
The sanctions would presumably be about cobalt from the problematic regions, so it would not change demand.

But the supply would have to adjust away from the sanctioned region(s) to meet the existing demand.
I think the problem was that USB can charge only @ 5 v vs firewire @ 12 v
> From that point of view there is nothing but messages.

Yes this is true. The observable's implemented by Rx is an interesting abstraction that can act as an emitter OR a listener of messages (events).

The events emitted from an Observable can be an object with methods. However, you need to subscribe to the observable to get the object and call those methods.

> To me, it turned out I always expect/require update.

Yes, most systems will need to send updates around to various components in the system. Rx is a great option for these use cases.

> So if there are useful transformation functions to use with Observables I don't know why not to use them in every case.

The complexity of an event-driven system is why you generally shouldn't use them every where. Events inherently make things more complex and harder to debug as dependencies between components become implicit rather than an explicit function call.

My advice is to use Rx to decouple parts of your system. But try to stick with the KISS principle and keep things simple to understand.

[1] https://en.wikipedia.org/wiki/KISS_principle
He has more support now than ever. The Senate will vote to not impeach and he will most likely be re-elected anyway. Bravo!!
The decision to embed SQLite had more to do with query capabilities than storage. We need to expose a query interface that is both flexible and powerful, and ideally it’s not something esoteric. We need something BAs can pick up without much or any additional training. With SQLite we both get the query engine and storage, but really it’s the former that’s important. While it may have started as a “what if” kind of PoC I think it’s gonna stick, unless we can find something that essentially gives us SQL the query language (superset is fine, subset not so much) and whatever storage backend is available, be it IndexedDB or something else. We tried various options, like AlaSQL and others, but embedding SQLite was pretty painless and gives a lot of bang for the buck.

The only downside so far is that the embedded size is quite large, so we do take a small hit in startup latency (sub second still) and if we ever end up having a requirement to work across the internet (I doubt it) it’s going to hurt because we’d be looking at a 3mb+ download (quite cacheable though.)

Anyway, point is our need was mainly SQL the language and not so much the storage, that’s kind of secondary, though SQLite really makes that part easy too.
I recommend reading some biographies of famous creative people. You’ll quickly learn that a sizable portion of them lived in poverty, took on enormous debts, or died young.
https://corruptionpedia.org/judge-david-ellis/

This judge?
UUCP email? Ouch! Sends me back several decades...
It is seductively easy to become jaded and "too cool" to show how into something one might be. Kids are allowed to, but starting at about age 14, I've found that society tends to do its best to tamp this exuberance down.

The other trap is to figure that even if you're really into something you somehow have to be "serious" about it in a way that means you can't admit that you're having any fun -- or that you have to work on "serious problems".

You avoided the traps! You are an inspiration, as a direct result. The very best people I know all have this trait -- a very early mentor in my life, my graduate advisors...

So, thanks. :)
Not OP, but Modo [1] in Vancouver, Canada has exactly this model with a $500 refundable buy-in.

[1] https://modo.coop/
So don't watch the trailer on Twitter then.

Problem: solved.
I want that touch-drag done yesterday!

Or at least the latency in half.

Which parts of the UI/hardware stack are the culprits here?

I want some butts[1]!

1: https://www.youtube.com/watch?v=AS9j_-mqSWc
> AGAINST: Women. Women stand to lose if their partners are tempted by legal prostitution.

If someone's partner is gonna be tempted away simply by legal prostitution, maybe they aren't the most faithful to begin with.
I am curious what your verification solution is. But please don't reinforce misconceptions about Tor to promote your product.

> To really DE-anonymize someone this way, you need to at least have the entry node and exit node of a Tor user... entry nodes are chosen once, and are kept for 2/3 months... if the government wants to become your entry node it has N% chance to be picked by you out of 6000+ nodes. If I am lucky, and pick a non-government node, the government will have to keep all their nodes running (costing lots of money) for at least two months before they get another chance of becoming your entry. Also it takes At least 8 days, maximum of 68 days before it gets up to full speed, to become a Guard node, as you see, this is slow, expensive, and generally a very unattractive way of finding a Tor user. While yes, they COULD do it, it wouldn't make sense for them to do it as there are a lot of attacks out there that are a lot cheaper to execute and try out. In the Tor stinks slides that were leaked in the Snowden documents, it was stated that they could de-anonymize a very small fraction of people, but it can not be used to target specific people on demand. which makes this expensive attack, not worth it in a real life scenario.

https://write.privacytools.io/my-thoughts-on-security/slicin...

VPNs are good for hiding your traffic from your ISP, but it's trivial for the government to issue a warrant and gag order on your VPN traffic. So I'm curious what your solution is.
Can we agree on this?

“Lisp dialects strive for elegance.”

Elegance is not always synonymous with simplicity. For example, Smalltalk’s use of Class and Metaclass is very elegant, but most programmers encountering this for the first time would not call it “simple.”

After they got over the hump and grok how the two things work together to serve as the foundation for Smalltalk’s OOP and allow programmers to alter Smalltalk’s OOP... Then the elegance emerges.

I think elegance is a measure of the simplicity of a tool relative to the complexity of the problem domain, whereas simplicity feels like a more absolute measure.
I asked for an early interview in 1998 as I had a month's consultancy lined up overseas. The interview went very well, there seemed to be some strange interaction between two of the interviewers. One kept asking me about my weaknesses and the other backing me up on my answers. It turned out later the senior intervieweress only hired women, the person I was going to work for wanted my deep industry experience and an outsider. He won out.

I made certain the interviweress never regretted hiring me.
Not sure, the city of Calgary did try to work with car2go and yet it was one of the first city they pulled out of.
Okay, I didn't know that. So political ads on say facebook show a disclaimer on them about who paid for it and by which party it was endorsed or not?
> The judge ruled that the government is entitled to any proceeds from those public talks, though it’s not clear how that ruling might be enforced.
> The results show strong correlations, but research that would prove a causal link is difficult because ethical experiments cannot deliberately expose people to harm.

This is kind of my hobby horse: you don't need to subject people to harm to test causuality. You can do the opposite: Remove harm and see what happens. Maybe give people free HVAC upgrades to filter more particles.
Reading the article, I thought of this contrasting quote:

“I could not forbear getting up to the top of a little mountain, and looking out to sea, in hopes of seeing a ship : then fancy that, at a vast distance, I spied a sail, please myself with the hopes of it, and, after looking steadily, till I was almost blind, lose it quite, and sit down and weep like a child, and thus increase my misery by my folly.”

― Daniel Defoe, Robinson Crusoe
I was able to partake in a series of seminars at Seoul National University earlier this year where one of the lectures was from a finance professor giving advice to the South Korean government how to reform their capital markets. The amount of control the chaebol companies (like Samsung) have over the nature of the South Korean economy is dare I say criminal.

A chaebol can own 51% of a company to get voting rights. That company can own 51% of another company, and 51% of another company, and so on. Multiply it all the way through a chain of companies, and you can get many companies near the bottom of the chain where the chaebol actually owns a small minority of the companies and yet controls those companies nonetheless. This leads to extreme agency-principal problems where many companies end up doing things not in the shareholder's interest.

The difficulty is that these ownership chains are not clear because accounting regulations don't require that level of transparency. So it's difficult to know if you're buying stock in a company that is in a position to actually care about your interests as a shareholder. It's safer to assume that you're going to get screwed as a shareholder. The ability of startups to grow up and become real success stories like the Facebooks and Amazons of the world are extremely rare.

So the chaebols get to reap all the benefits of raiding these smaller companies and never have to worry about their own positions being disrupted. A small company at the bottom of one of these chains can be forced to sell all their intellectual property at dirt cheap prices to a chaebol, and there's nothing other shareholders can do about it. The professor said in the US, securities laws make it easy for shareholders to sue a CEO from doing such stupid things. Not effective in South Korea. Heck, they apparently even have these temp CEO gigs where a guy off the street is hired to be a CEO and is paid handsomely to take the fall and spend some time in jail when legal troubles like that ensue.

Corruption is big in South Korea, and it's no wonder why there are so few new Korean startups that actually become household names. It's not for lack of effort or chance. Further evidence that corruption is big in South Korea, look at how often those big-time chaebol executives get thrown in jail and then they get to walk out free again to pursue their normal life because they're too important to the Korean economy. As a Korean Canadian, it boggles my mind why Korean people accept this status quo. There is admittedly a deep reverence for these companies that brought South Korea out of poverty creating economic growth the likes of which is rarely seen. But even so, I don't see a nice future if people don't stand up more for themselves, including the labourers who get exploited by these companies because they're the only viable employer in town.
ELI5 to Understanding Convolutional Neural Networks
President Trump has been impeached
> I led an initiative at my current company to enforce all commit messages start with an imperative verb and be less than 72 characters.

You are truly doing god’s work :). I’ve led a similar initiative and same outcome, some love, but those who don’t, really hate it.
Our company was providing a very high profile application level solution operating between many Samsung divisions across three countries (US/Korea/India) and multiple US carriers' backend services. It was the flagship DRM video application for the US launch of the Galaxy device series. Interesting project politically, wouldn't do it again.
International Space Station, the Moon, Mars?
Fair enough. Still nothing prevents LLVM bitcode to be fully CPU agnostic, if LLVM guys were willing to keep such variant around.
ZFC follows along a path including (but not started by) Russell/Whiteheads Principia Mathematica, which famously (infamously?) takes several hundred pages to prove 1+1=2. I doubt very few have thought ZFC (or it's variants) would be the last word.

Almost no scientists cared about formalizing or proving the soundness of the mathematical tools they used. In the same way the majority of programmers do not care about proving the soundness of their programming languages. In general, people seem to be interested in the practical aspects of their work.

But the general idea that symbolic logic is the primary basis for understanding the world is something a bit different and something we rarely question now. I think people assume that this is some obvious thing but it is actually an idea that was coordinated and forwarded. It appears to me that the debate at the beginning of the 20th century around using set theory to establish the foundations of math by way of logic is when the scale seems to have heavily tipped towards that particular idea.
Sailfosh OS is being ported to PinePhone & some of the most used third party native Sailfish OS applications are written in Python 3 + QML. :)
I agree with your idea but I would take it further. If possible I think the commit message is more concise if it can actually refer to the resulting action that is the result of the change to the code, unless the primary result of the commit is to refactor or clean up code formatting, etc. This way we avoid one more level of indirection to indicate that we edited code to accomplish something, since that is always the case.

Link to login from home screen
Enforce standard for PR titles

For refactoring, applying linting changes, or general formatting, I do prefer a prefix to indicate that it is not intended to change behavior. Something that is consistent for a project is good such as "Refactor:" or "Reformat:" or "Lint:" as a prefix to make it easy to spot these in the history is good.

I often see message such as:

Implemented new framework to...
Edited 3 files...

Then someone will edit it to be imperative and it reads:

Implement new framework to...
Edit 3 files...

Which is not really any better. They were past tense indicative because they described the actions of the programmer which are in the past. Writing from the imperative is not just better because it is more concise in english (shorter verbs) but because it is the natural way to describe what will happen in the program when the commit is merged.
Step one might be "stop reading Hackernews so damn much".
How to Generate Static Sites with JavaScript Static Sites Generators
Mobility, the Swiss car sharing company I'm using, is solving this by renting a dedicated parking space for each car (though of course this reduces flexibility quite a bit).

Recently, I tried to return a car only to see the parking space being taken up by an unauthorized car (all the more aggravating as my car was electric and should have been recharged overnight). I was advised to find a legal parking space where I could leave the car for 12 hours or so — which turned out to be a significant hassle. I was essentially unable to find a spot and ended up parking in my own driveway.
One of my colleagues (a backend engineer) was a CTO of a failed startup, he always talks about it. So one day I decided to talk to him about his experience, and it quickly became clear, that he as a CTO, was only focussed on technical work, complaining about how engineers build solutions that weren't scalable. How he fired people because they didn't write the code he wanted.

When I talked about a startup I worked at, and how most of our backend was written in Node.js, and about how we tried to improve our UI to make it more customer friendly. He quickly dismissed all of it, blamed Node.js for failing our startup, and told me customers don't care about a pretty UI.

It was then when I realised why his startup failed, at no point in time did he ever talk about the actual product they were building, or what problems he was trying to solve. He only talked about technical work, and about how that was his main focus. He even thought making our UI customer friendly equalled in just making it pretty.
I had two projects go through IARC. One was approved (after a month or two wait IIRC) explicitly because Google wants nothing to do with console hacking projects, emulators, etc. The other was a completely normal OSS project that ships in Ubuntu these days, and it was denied with no explanation or recourse.

It's gotten better, but that doesn't negate my experience. I'm sharing it now, and didn't in the past, because if Google really made a mistake in their Irish contracts in favor of their employees, I didn't want to jinx it for other people. I assume the contract has changed enough by now that it doesn't matter. I also hold no grudge with Google, I left on excellent terms and otherwise enjoyed my experience there - but this IP ownership BS was one of the things that tipped the scale towards moving on to other things in my life.

I was retaliated against, by being explicitly forbidden from ever actually using the relevant corporate processes that other employees enjoyed. I was lucky my contract turned out to be in my favor, or else I might have just left the company at that point.

As for the Boolean logic stuff, you don't need to know what Boolean logic is to be able to read an "or" in a contract. I simply used Boolean logic to explain the subtle difference between my Irish contract and California law. No Irish judge is going to look at my contract and say "well, actually, this is CLEARLY intended to be like California law so that applies here now". The contract, as written, gave me the right to my own work as long as I didn't use company property or do it as a direct result of my work at the company. Just because I explained it in CS terms doesn't mean I'm riding on some obscure technicality.
And thank you for your kind note, Protagonist of H.
Funny you should mention it ... round 14 years old, I stopped watching TV. I was too busy building a ham radio set; I'd come home and dive into electronics. And, well, I've not watched television since then. I've missed an enormous amount of popular culture & goodness knows what else. On the other hand, it's a bit like being given a few hours every day to build stuff or figure out how things work. I guess this tends to make my 'normal' into 'weird'.
Working with KIAM Roles in Kubernetes Production in AWS Cloud
Take your TV to trash. Ditch Facebook and other "social" network accounts. Never visit any mainstream media websites. Gain +100 to your mental well-being.
Or maybe… "we prefer not to compete against competitors burning VC money".
Please ban me. I'd rather not see the armbands and genocide happen again. If you want to keep posts that actually explain the issue buried, so be it. You are also complicit in the suppression of people.

Logging out. I wont be back.
This was a discussion with the Librem 5. I know that T-mobile USA does not whitelist phones (My Librem 5 makes calls, sends/recieves SMS, and gets LTE data on T-mobile). Calls/SMS don't work on LTE though (I think due to proprietary software, that is true at least on Android). The Pinephone Braveheart Edition is compatible with most of the LTE/3G/2G bands for T-Mobile.

However, I think Verizon at the least used to do this, and may still do it. Sprint also has some extra proprietary things on Android and I don't know their functionality.
This is incorrect. It absolutely is possible to prove consistency, what Gödel tells us is that in any consistent logic system there are true but unprovable (in that system) statements.

For this particular list, the statements have been proven to both be consistent with ZFC and for their negations to be consistent with ZFC.
It should definitely be the standard. I agree, it should not even be worthwhile mentioning.

It was still refreshing to see.

We talk about Dunbar's number quite a bit, actually. We're about 2X that, enough for several tribes.
Hourglass work? Can you say more about what you mean by this phrase?
If you work for a Samsung subsidiary, SEA or SRA being the most likely if you're US based, you'll likely end up making the trip to Suwoon at least once a year for various workshops. It's entirely likely they went over for a week and then came back once the workshop was over.
I don't want to become a broken record, but how is it an example of Apple "locking down what you can do with your own computer" when they also give you the ability to remove the lock?

I truly don't understand why this appears to upset you so much. I realize that disabling SIP is a very minor inconvenience but you've spent considerably more time writing these comments than it would take to disable SIP.

Now, if we were talking about the T2 chip and replacing your SSD, I'd be taking a totally different tune here. There's also a certain other Apple operating system that is considerably more locked down, in very annoying and non-optional ways...
That is what should likely happen and is already the case to a point. Much of the existing programs are funded at the state level. But the federal government is already meddling so you can't exactly do what works best for you. You have to follow the federal ACA rules no matter what you implement at this point.