skysight-inc/HackerNews huggingface dataset:
>The uncomputability of Kolmogorov complexity is beside the point here, just as Turing's halting theorem does not prove that it is always possible that any given program will fail to halt.

I never implied this. First off the halting problem only proves that you can never CALCULATE or PROVE whether a given program will fail to halt. It does not prove that it will always fail to halt or never fail to halt. I never said or implied otherwise.

The uncomputability of Kolmogorov means you can never CALCULATE or PROVE the simplest form of a program. It does not mean that such a form doesn't exist nor does it mean that we haven't randomly found such a form for a specific program. It just means that even if we have found something that we think is the the Kolmogorov complexity of a given program we can never verify it to be true.

This fact is sufficient to show the following can never proven be true:

"There exists a program where the Complexity can never be reduced or destroyed"

>Judging the complexity of a solution by how it responds to a subset of problems is the same sort of thing as just stating the solution, as that subset is the only set of problems that we are considering. In this case, that set is "products of a set of numbers including at least one zero."

But Kolmogorov complexity calculates exactly what you don't want to judge. See the definition:

>In algorithmic information theory (a subfield of computer science and mathematics), the Kolmogorov complexity of an object, such as a piece of text, is the length of a shortest computer program (in a predetermined programming language) that produces the object as output.

From the definition you need a predefined input from the set of all inputs and a predefined language from the set of all languages.

In terms of algorithmic complexity theory, I can define a problem to be as narrow or as large as I want. The domain for the previous problem can the set of sets of numbers that contain one or more zeros.

Subsets from larger problems can be used to create other problems and those problems and all problems in general can be used to make statements about complexity all together. If a subset shows something is not True then you have shown that you cannot make that blanket statement about the subset or the parent set.
> we have no way to know if two messages received come from the same person or not.

This is accurate. They partnered with us at FoxyProxy to prevent browser telemetry from revealing users' IP addresses and other metadata.

These guys are above board and even if there may have been a problem in 2017 with Firefox, that was no longer the case in 2018, 2019, and 2020. They bent over backwards and jumped through many hoops to hide their users' identity. They were very interested in the solving the engineering problem around anonymization. I know this from first-hand experience.

This is a loss larger than many people realize. There are so few companies with such integrity and who put their users first, above profits or shareholders.
Ask HN: As a backend, how do you do your sideproject’s front end?
I really hate the JS ecosystem.. I’ve tried several times to adopt it and I just find the thing ugly as .... am I stuck?
Ask HN: Good or bad, how are you doing?
I didn't even read the title before clicking and was blown away at the speed. Honestly thought something acted up since you're not used to seeing things render this fast.
Does anyone still take anything he says seriously?
> "We view these Musk comments as tongue in cheek and it's Elon being Elon. It's certainly a headache for investors for him to venture into this area as his tweeting remains a hot button issue and [Wall] Street clearly is frustrated,"

I'm sorry, whose fault is it that Wall Street react to tweets? I mean really, If I'm long on Tesla (I'm not, I own none of their stock unless it's somehow tied up in my 401K) am I selling all my stock because Elon said he thinks it's too high? No, that would be stupid. Sounds like day traders/HFT's are the ones that choose to react to this stuff and then get burned and I have zero compassion for that. Live by the sword...
Staffing is definitely an issue as you point out, but what you’re describing is what would happen if we were to run into a capacity issue, which we likely would have without the lockdown but which we have not (at least, in MA).
Language Design: This stuff doesn't matter that much. Focus on more important things.

Syntax isn't unimportant, but don't waste energy on trivial matters like these. Just pick something and people will get used to it. Focus on the semantics of your language - that's what really matters.
Really interesting, the transitions remind me of Myst [1]

[1] https://en.wikipedia.org/wiki/Myst
> sometimes

Correct. Sometimes.

And sometimes its better to text. See how not having the option to choose is limiting?
Loved the precise, concise, and complete technical expression in the Background section.

(Thank you for sharing your great work.)
Can't even select for PoW coins, let alone fairly launched coins (no premine or instamine). I prefer the controls offered by messari. E.g. https://messari.io/screener/fair-coins-9E7A9337
The end of the office? Coronavirus may change work forever
It is inherently unequal though. Not every community gets a dealership, especially poor neighborhoods. But they do have car purchases. If sales were online, and sales tax distributed by purchaser addresses, the tax revenue would be much more broadly spread out.
Postscript.io (YC W19) | REMOTE (PT-ET Timezones) | Full-time Engineers (Full Stack)
Postscript is a fully remote team of 20 looking for help in solving complex problems like real-time streaming data (1000's of events per second) on the back end and beautiful, simple ways of interacting with that data on the front end. We help ecommerce companies stay in touch with their customers (marketing, customer service, order management, and other notifications via text messaging).

We're scrappy hackers searching for similarly hungry individuals. We love LEARNING & BUILDING and we want every one of our engineers to leave us ready to start their own company.

Tech stack: Serverless Python / Flask - React - AWS

https://grnh.se/de0ca6d62us
AMD already does that with apple. their mac pro gpus (current and 2013) seem to be special designs.
Kagi Browser | Palo Alto, CA | Full-time, part-time | Remote

We are building a new web browser for macOS/iOS. It is based on the fork of WebKit with support for WebExtensions API. That means you can run any Firefox/Chrome extension while using the full advantages of WebKit rendering engine on macOS (fastests/best energy use). Kagi is the first browser that lets you install WebExtensions on iOS! https://imgur.com/a/OPdkpoL (this is live prototype)

What we are looking for:

macOS and iOS software development engineers

Skills we are looking for (5+ years of experience):

- Swift

- C++ (for macOS only)

- Javascript

Novel idea, challenging problems. Join us!

Email: vprelovac@gmail.com (send CV / relevant experience / availability)
Where is that source? I'm in the market for a used car and would love a good source for data!
Segment is hiring for sales as well as many other roles - https://segment.com/jobs/ Shoot me a note with why you'd be a good fit, and I'll work to get your application prioritized. Cheers!
SEEKING FREELANCER | Worldwide | Remote

croit is a 3 year old startup successful in the field of software defined storage. In order to improve our customer support, we are looking for skilled Linux administrators and if possible with Ceph knowledge.

Website https://croit.io
Email: jobs@croit.io
Osmind: A new treatment-resistant depression and psychedelic medicine community
>But the law wants to insist that you can tell what Colour bits are by looking at the bits

What makes you say that? I would expect that the law (or the judge enforcing it) cares more about the reasons people use the software and what they get out of it in the end than about the specific bit strings. The OFFSystem is clearly software for storing and retrieving files or media; it's built for that use and everyone using it is using it for that. How it accomplishes that internally isn't significant.

Do you think any cases would or should be overturned if it were revealed that, unknown to anyone at the time, a popular torrent program actually worked like OFFSystem, or hell, worked by magic without actually physically sending data between users as long as someone was concurrently doing the seeding-the-file ritual? -- I think this line of argument is strongly related to the argument that it's still murder if instead of shooting someone, you intentionally kill them by using a rube goldberg machine or by placing a land-mine that the victim triggers or by using a magic gun that erases whoever you aim it at. Intentions and results matter to the law. I think this makes technically-minded people squeamish because intentions are a lot harder to prove and are easier to mess up than questions of plainer physical facts, but to ignore them is too gameable.

The OFFSystem only sounds interesting because it's transforming the data for no other reason than to try to be a legal loophole, but strangely we'd never even consider the idea that software that transforms data for a reason (like zip archivers, https encryption, or re-encoding) would work as a similar legal loophole. I think the concept of a data transformation for no other purpose other than to try to be a legal loophole just manages to surprise people enough to think that it might work.
That's not really true. The guide seems to be javascript centric. The slash and flags is not part of the regex, it's a delimiter. In certain contexts like sed, perl, php, an arbitrary delimiter can be used to avoid needing to escape slashes. If you pass a string to a regex engine with a /, it does what you would expect, match a literal /. For instance, python and grep does not interpret slashes and flags. Those are pretty common.
All I've been saying is that they don't REALLY seem to have "moved to C++". FWIW
LeapYear | Applications Engineer | SF | www.leapyear.io | VISA
At LeapYear we develop a privacy-preserving ML platform that is deployed in production, at multi-petabyte scale, across global 1000 financial institutions, healthcare companies, and insurers.

Looking for a Fullstack Applications Engineer to develop backend services and full-stack applications for data scientists and data security staff.

Primary tech: Typescript, React, GraphQL, Kubernetes, Microservices. Experience with Functional Programming is a big plus.

Company Overview:

- Funding: $38M raised (backed by Bain, Lightspeed, Chairman of Microsoft)

- Customers: Several seven-figure accounts closed, including Fortune 100 healthcare companies and global banks

- Use case: enabling regulated enterprises to analyze and share extremely sensitive data with differential privacy

- Team: Engineers from Google, Palantir & MIT, rapidly growing, based in SF near Bart

More details can be found here: https://leapyear.io/careers/
Or send me a copy of your resume: burke@leapyear.io
ima junior programmer i need help
This feels a little nitpicky/idealistic, I don't think the post does a good job of conveying why it's more beneficial.

> This means that the vertical offset of names stays consistent, regardless of whether a type annotation is present (and how long it is) or not.

Why is this necessarily desirable? Strong typing systems have very expressive types, to the point where if something is typed correctly, most of the time my property names are just an alternative casing of the type. Types can be just as expressive or even more expressive than variable names.

> The i: Int syntax naturally leads to a method syntax where the inputs (parameters) are defined before the output (result type), which in turn leads to more consistency with lambda syntax (whose inputs are also defined before its output).

Maybe this is nice in theory? But `Int` really isn't an output here, and the value being assigned isn't either. Rather this seems more like `f(i, Int, value) -> assignment`. It seems just as arguable that `f(Int, i, value) -> assignment` is appropriate.

It seems like some of these are rooted in a "pure mathematical" approach which I can surely appreciate, but ultimately lambda calculus is as much a language as any other programming language, saying "lambda syntax does it this way" doesn't convince me very much.
PicnicHealth (YC S14) | San Francisco, CA | Full-Time, Onsite | https://picnichealth.com | Can transfer existing visas

PicnicHealth works with patients to collect, digitize, and manage their medical records, empowering them to monitor and control their care via a personal health timeline. Through partnerships with biopharma companies & academic partners (including Roche/Genentech, Novartis, Verily), patients can consent to share their anonymized data and power cutting-edge medical research.

To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/picnichealth

You can see all of our open roles here: https://grnh.se/3b566ba92

* Engineering Manager, Internal Product: https://team.picnichealth.com/careerdetails?gh_jid=468586900...

* Full-Stack Engineer: https://team.picnichealth.com/careerdetails?gh_jid=429692900...

* Product Manager, Patient Product: https://team.picnichealth.com/careerdetails?gh_jid=437728800...

* Senior Data Engineer: https://team.picnichealth.com/careerdetails?gh_jid=465624300...

* Data Scientist / Biostatistician: https://team.picnichealth.com/careerdetails?gh_jid=466020200...

Tech Stack: Our main web service is in Node.js, and most other services are in Python (mostly machine learning services, using Keras, Tensorflow, etc). Our frontend is React + Redux, database is PostgreSQL, and services run in a Kubernetes cluster hosted on Google Cloud Platform (Google Kubernetes Engine).

Contact - Technical Recruiting Lead, Stephanie Iannello - stephanie.iannello@picnichealth.com
Location: San Francisco

Remote: Yes

Willing to relocate: Yes, within the Bay Area

Technologies: Scala, PostgreSQL, functional programming, JVM, Play! Framework, web APIs, streaming, and more

Résumé/CV: https://drive.google.com/file/d/19Qalh5BVP7wbGxeI8P0eIpUe5b3...

Email: mopierotti@gmail.com

Experienced full stack engineer. I'm open to a wide variety of domains, but I have a special interest in work involving functional programming and/or ML/AI.
Thanks for sharing that list. Is there a good reference that lucidly explains the basics of all (or most of) those algorithms? IMHO readable pseudocode would also be helpful.
Web Audio API: Musically-aware scheduling and Dynamic looping (2016)
Yes, I agree that seems likely. Because recovery seems slow (with and without ventilatory support), we won’t have a final accounting for quite some time. My point is more that the 85% number is considered an error and caused a correction in the published record.
interestingly, focusing on performance in web dev (and actually delivering on it) really presents new UI challenges, because users are not used to near instantaneous feedback in web-apps. you have to start adding complexity like css transitions, and UI delays just to reduce user confusion.

lol :(
It's worth noting that the original iPad also had a keyboard available - it was just a keyboard stand, not a cover. Not the same as the portability that a keyboard cover offers, but it was what could be feasibly offered with the technology at the time.
The Wall Street Journal says:

> Asked later if the tweet was vetted or made in jest, the CEO said: “No.”

https://www.wsj.com/articles/tesla-stock-falls-after-ceo-twe...
Content Marketing Strategies to Get Traffic and Email Subscribers
I’m not sure that there were much better choices available at the time. IIRC property lists date back to NextStep.

By the time stuff like JSON started popping up, plists were pervasive all throughout OS X. Typical legacy problem!
I wonder if there are (legal) hurdles to Apple adding an additional x86_64 front end to their custom Mac chips to have hardware 'emulation' for backwards compatibility.
I believe that, with respect to government, the separation of private and public life you’re referring to falls squarely under the 4th amendment.

The open question to me is how we can maintain this separation with respect to employers. The nature of employment as changed dramatically since the early days of the republic, and I don’t believe the Founding Fathers could have conceived of the type and size of employers we have today.

That employers have abused their power over employees to control their private lives is a matter of historical fact (see the Ford Sociological Department: https://jalopnik.com/when-henry-fords-benevolent-secret-poli...). Clearly, we need legal protections for workers to prevent these types of abuses of power.
Why is it difficult for developers to learn another programming language? [pdf]
IBM Power + Motorola + Apple ---> PowerPC
Bandcamp is waiving fees today in support of artists
If you're going to be doing ML and require downloads of PDFs, I would recommend getting the bulk data from s3 instead of downloading: https://arxiv.org/help/bulk_data_s3
It's a little more complicated to use, but you get it ALL ;)

In addition to TfIdf, topic modelling would is a very good fit for browsing and finding similar papers. Here is a demo of LDA applied to 10% of the quant-ph arXiv papers that I worked on back in the day: https://www.cs.mcgill.ca/~isavov/arxiv_demo/readme.html
Hi everyone, I made this video showing how to use FOS to create an web app that looks like old windows software
A more practical reason as a language designer is that C and C++-style type-before-name syntax is a nightmare to lex and parse, as you can't tell whether

A * B;

is a multiplication or a variable declaration, or whether

A<B, C> D;

is a two comparisons with a comma operator or a templated variable declaration, without first knowing the names of all declared types.

This means in practice that you have to declare types before they are used in a file, which means forward-declarations if they are defined later, that you can't separate lexing and parsing because the parser has to provide constant feedback to the lexer, and that misspelling a type name can lead to a syntax error! C++, not content with merely inheriting C's problems, throws in the “most vexing parse” as a bonus.
>I doubt even 1% of people would elect to host their own node

The block size limit was kept small in order for everyone to be able to run their own node.
Thanks for the heads up, it seems i have some more reading to do :)
Hello! We're focusing only on candidates who can work on-site at this time.
If you're looking for a decent used car, watch some Scotty Kilmer videos on youtube. He reviews used car makes and models all the time.

Claims he has never purchased a new car in his entire life of being a mechanic of 50+ years.
In not-unplausible future reality: the anomalous robot dies about 2 and a half years old because of planned obsolescence, warranty is product-lifetime.
Only one category of the samples on the main Jukebox page are described that way. The rest of the samples were pre-existing lyrics, so the song linked above might also have had pre-existing lyrics.
I work almost exclusively with openshift- it's very popular for enterprise stuff. We've got a lot of clients in banking and insurance and those sorts of industries- where you need your technology to scale but you're not really a technology company.
It was a cooking gear store.
They do not have much on the web but the person answering the phone knows the stock amazingly well. I suspect she may have a good inventory system under her eyes.

I've been shopping for plants recently and there is a world of difference between two different nurseries.
Thank you so much! I'll give this a crack on windows and see how it turns out.
Meanwhile Intel's sitting with record revenues & profits. Like they haven't had wake-up calls in their history ...
What's the Business Model for VR Events? Part II
Agreed. Branches should be short-lived, anyway. If you need a long-lived pointer to a commit, use a tag.

I love the "naming branches for modern git workflows" in the subtitle...

You wouldn't want to be the odd developer out naming their branches like in those un-modern git workflows, would you? Well then, you should buy my e-book and Egghead course, subscribe to my tinypost, and follow me on Twitter.

The principles of marketing don't change, folks.
I bought my neighbor a bike for 50€ in 2015, and rode more than 5000km a year (50km to 100km week) on it ever since (commuting to work, shopping, week-end long rides now that I work remotely)
Would it be possible to allow for the cursor to still update when doing a horizontal scroll? When I move the mouse left and right it does that, but it doesn't move when I traverse the page by horizontally scrolling

Either way, just a bit of feedback on a beautiful page
Respect is a two way street.
Consider us your control group then.
Discussed earlier https://news.ycombinator.com/item?id=23043771
From the About page[0]

> Today, Android Chrome v81 supports WebXR by default. Hopefully other browsers will follow soon so that AR can be used everywhere without any plug-ins

[0] https://webxr-sneakers.lusion.co/
Yup, IIRC that disables Knox features and secure folder permanently (trips an e-fuse so there's no turning back). I don't remember if Samsung also intentionally degraded camera quality like some other vendors (Sony at least used to once you unlocked your bootloader).
I read novels. There is no option for that.
And they did it because IBM was not committed to laptop CPUs. Now similarly, they want to ditch Intel because they didn't commit to smartphone CPUs.
Me too! They single-handedly got me interested in "making a computer do stuff" with those charts of peeks and pokes! Here I am ~35 years later and I'm still making computers do stuff.

Well I started on a TRS-80 but quickly became obsessed when I got my hands on a II plus and then an IIe. I never got to use a //c but remember a friend got one. It was as close to portable as you could get then and I remember wanting one really badly.
"Have you ever had a conversation with a professional consultant and they have this weird habit of bragging about waking up at 4am to catch flights to NYC, and the only thing they ever tell you about NYC is how nice the Midtown Marriott's beds are? It's kind of like that." - you managed to very eloquently get your point across in the end. Totally got the great professional consultant analogy.
Actually, syntax IS important because a language has to be able to be read by both a human AND a computer, nowadays.

One of the things that using ":" does is it makes what is "type" and what is "name" unambiguous to both human and computer.

This is, famously, one of the failings of C/C++. Determining what is a type and what is a name is excruciatingly difficult.
Surprisingly Simple Anti-Dark-Patterns That Build Trust in Ecommerce and SaaS
What expensive parts are you getting for 50 euro?
It's an internet convention to refer to people by their first names.
It depends on what you're trying to get out of it.

If you really want to work less and enjoy life more, the FIRE community (Mr Money Mustache is a good gateway) is a more sustainable/achievable path. The specific types of businesses that The 4-hour Workweek recommends (dropshipping, podcasts, Youtubing, blogging, consulting) are crapshoots. And we can't have a world where everyone's dropshipping and peddling their e-courses and newsletters to everyone else for a living - it makes no sense on a macro level.

It's still a fun, breezy read and opens your eyes to other possibilities.

IMO The 4-hour Body is way more useful and practical. Pretty much everyone who reads it can find something that will benefit them.
New Android malware steals financial information, bypasses 2FA
AMD is ARM architectural licensee. They already tried to slap ARM frontend to their cores for their cancelled ARM based opterons.

Nothing prevents them slapping ARM frontend onto Zen
Someone should turn that into a new book/movie. This persona needs it.