jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
So how do you plan to make autofree work without move semantics, an ownership model or borrowing annotations? If your answer is "like Lobster", then how do you plan to deal with the semantic differences between those languages which the Lobster model relies on?
Bummer, looks like an intriguing language.
SEEKING WORK | Munich, Germany or Remote

I help my clients with their data science and data engineering problems. I have experience with location, sequence, and graph data. I come from five years at the edge of robotics and behavioral analytics as team lead and CTO, with a Ph.D. on modeling and querying data with uncertainty.

After successfully completing my last project, I am looking for the next challenge.

Keywords: machine learning and data mining algorithms, experience with Scikit-learn, TensorFlow, Seaborn, Pandas, NumPy, Joblib, Jupyter Lab, Apache Zeppelin. Data engineering, static and streaming data processing, experience with Cassandra, PostgreSQL, Parquet, HDFS, Hadoop, Spark, Apache Airflow, Celery, Fabric, Docker, Flask, Alembic. Indoor and outdoor localization methods, cellular network data analytics, urban traffic modeling and optimization, experience with SUMO simulator. AWS EMR, S3, Lambda, CloudWatch. Python, Java, Scala, C, C++. Graph Mining, experience with Neo4J, NetworkX. Robotics, experience with ROS.

Email: michele.dallachiesa@sigforge.com

LinkedIn: https://www.linkedin.com/in/dallachiesa/

Website: https://sigforge.com
As I said, the JVM startup latency is a real issue. I'd like to be able to write little command-line utilities in Scala (or a Scala-like language) and not have to wait a second when I run them.

But yeah, I'm writing and shipping in Scala, and life is good, I shouldn't care about people hyping what I don't like.
'... But is it working? the numbers would suggest that it isn’t. ...'

but it's being written on techcrunch and other news filters. How long will it take for some tv spot on wacky ads in pubs and billboards?
I love Rust, but rust being slow annoy me to not end, MUCH more than his complexities.

I have worked in Pascal(Delphi), that is a bit more useful in catch issues at comptime.

Being able to iterate quickly is also a way to fix errors without loose the train of thought!

--

And answering your question: Slow comptimes are directly proportional to burn more energy (no green, cost more). And it impact the cost of that CI pipelines and all that.

And yes: I have been hit by slow build times with Rust with serious bugs/problems with customers, unable to move fast enough.

One of the worst affect me with a combination of several issues that get slow to note because each one was slow to compile-ship-see effects, enough bad to almost lose a few customers...

So, in my mind, the #1 thing I wish Rust has, more than anything, is speed!
You might be experiencing trypophobia[1]:

Trypophobia is an aversion to the sight of irregular patterns or clusters of small holes or bumps. It is not officially recognized as a mental disorder, but may be diagnosed as a specific phobia if excessive fear and distress occur. Most affected people mainly experience disgust but not fear when they see trypophobic imagery.

1. https://en.wikipedia.org/wiki/Trypophobia
Thanks Kord! Founder of ngrok here, just a quick note of correction for others in this thread: ngrok is absolutely intended for production use cases. There are many customers both hobbyist and enterprise running thousands of production workloads over ngrok's service (including ourselves! we dogfood ngrok for our ingress). We're excited to be sharing more about that with the HN community really soon.
People think these two are incompatible and that's not true. This issue shows how to combine or alternate between the two of them.
This is bad design. Why excuse bad design? When I send a text message and it doesn't arrive, my messaging app lets me know. With Signal, this is a step backward.
Us less powerful people should also have a habit of cleaning up our social media presence.

When people go digging around other peoples old social media posts, nothing good has ever come from it. If your 5+ year old tweets or instagram photos have actual value to you, curate them to a blog you control and delete from the platforms.
80% of machine learning time is spent cleaning up bad data.

Go into medicine, you’ll dodge a bullet.
In school?
HN doesn't like jokes. It's dry.
Thanks. From that page:

Pointers in SLAM2: Efficient evaluation of pointer
predicates with Z3 SMT Solver in SLAM2
Why did you enjoy it? It's a complete lie. We are in a pandemic and scientific consensus should require randomized trials. I think we can rewrite this to say: "experts disagreed with other experts on mitigation strategies."
I mentioned it in a different comment, but take a look at Syncthing. It does mesh-style backup to synchronize a folder between multiple machines. That provides robustness against hard drive or PC failures, and it's easy to add an offsite node for extra confidence.

You can use Takeout to bulk-download photos: https://support.google.com/accounts/answer/9666875?hl=en

I don't know if you can automate syncing Google Photos to a local disk. Wouldn't be surprised if there was.

(edit: Wow. Lots of people wanting to help! I wasn't expecting two sibling responses.)
Raspberry Pis are toys, don't use them for anything important.

I've been running NextCloud on an Intel NUC i7 in a Linux container so I can easily snapshot and backup. Recovery is easy in the event of a hardware failure as replacement NUCs are available off the shelf. All I need to do is swap the HD and RAM and I am back in business.
> I rather use visual design tooling (think Qt Designer,

Oof, I did professional Qt development and Qt designer was basically a joke. Not sure if it improved, but I've never experienced a visual design tool that saved me time. Not that they can't exist, just that the implementation is usually too buggy to justify itself. I don't enjoy debugging XML that gets compiled to C++ (I think it's compiled, anyway--maybe it's parsed at runtime... I forget). In whatever case, if you build a visual design tool for C++, you can build one for Rust as well.

> bigger fish to fry in distributed network calls than who is owning what

Agreed that I don't think distributed is the sweet spot for Rust, but there are certain niches (high performance, low level, etc) where Rust would be valuable. Previously I worked in automotive which is basically a bunch of distributed embedded computers talking to each other over a CAN network, and Rust would have saved a lot of time and money. On the other end of the spectrum, you have high frequency trading where performance is so important that C++'s myriad problems are worthwhile, so certainly Rust could add value here as well.
This is a great place to ask. Are our brains susceptible to this kind of interference and if so do you think the structure evolved to handle some corruption of this kind?
> having to surreptitiously waste 35 hours a week turns out to be quite draining.

I 100% agree with this. I'd much rather have actual work to do. My workaround has been to find 35 hours a week on something meaningful to me that won't upset the company if they find me doing it. So when I need to kill some hours looking productive, I find a way to use that time on a side project or hobby work.
I wouldn't call smart pointers an "upgrade". If you are using smart pointers, you are not using the same language.

There are many features of C++ that would make a "better C", like namespaces and templates (which are better macros). But as good as they are in other contexts, smart-pointers are the last thing I want in C-like code.

Also, an advantage of C over C++ is that it doesn't have a runtime and it doesn't use name mangling. That makes linking much easier and particularly well suited to embedded applications.
Surprisingly enough, it's already doable:

http://www.redmondpie.com/how-to-set-up-the-galaxy-nexus-as-...
This chillingeffects site is quite fascinating. There seem to be a _lot_ of instances of completely mistaken and reckless DMCA takedowns. Here's a particularly absurd one:

https://www.chillingeffects.org/notices/1148744

I'm not sure a single URL in that list is actually infringing. The only thing they seem to have in common is the name "Adam".
Inspired by this thread i just created this site (took me couple of hours today), monetizing by Amazon associate program. :

http://www.watchaisle.com

Will complete it by next weekend.
Originally, yes, but it's grown since then, and bear in mind that it is critical infrastructure that Facebook are now completely dependant on.
Since you mentioned IRC, checkout #Startup on Slack. It raised some attention on ProductHunt: http://www.producthunt.com/posts/startup-2.
Looks like the site got DoSed by HN. Here is the Google cache:

https://webcache.googleusercontent.com/search?q=cache:idihHm...
Has anyone explored the potential for these hints to be a front-end to Cython, or provide optimizations in CPython/PyPy? Static typing has big perf benefits too right, is that included in the eventual goals?
It supports Bluetooth, so you could pair a remote or a smartphone with it, and it's easier to carry than a laptop. Remember there's a full version of MS Office on it, too.

What makes more sense to me, though, would be a phone with an HDMI port (or wireless video capability) that connects directly to the projector. It's one less device to carry. If you don't want to walk over to the phone to advance to the next slide, you could still add a Bluetooth remote or control it from one of those smart watches.

(I'm kind of suprised that Blackberry never tried something like what I just described--it would have been a great way to differentiate themselves in the enterprise sector and keep the iPhone at bay.)
The current MacBook Air doesn't have a sleep light - the next round of MBPs might not have one either. The idea it to close the laptop when you are not using it. Sleep is the default state, so no need for a status indicator. Just like the iPhone/iPad/iPod.
"Prior to the industrial revolution, status in most societies was based on one thing only: heredity. No matter how much you accomplished - or didn’t - you stayed in the same station of life."

Status has always been based on power. Plenty of poor men grew up to be powerful men in the pre-industrial world. In this corner of the world (West) the routes open to the "self-made" man were the military and the clerical orders.

(It is of course true that the nobility had de facto access to the same spheres.)
Piracy is theft in the sense that it deprives a producer of the income or potential income that they would otherwise make from someone buying a good.

So do successful competitors, boycotts, Internet FUD, and a whole slew of other things, in fairness.

It occurs to me that property (of any sort) is a metaphysical concept.
> Static typing is like unit tests that take no maintenance.

Um, no. At best they are like a tiny fraction (and trivial fraction at that) of the unittests required. AND static typing often requires maintenance (as all code does) including initial burden of creating them in first place.
It's not hard to calculate ROI in GA. The author's gripe is that there's no big ROI number on the dashboard. If you ran an ecommerce site with known prices for each item, and your only marketing channels were paid and organic search, I could see how this would be possible. But what if your site is for lead gen. How is GA supposed to know the value of a lead, or your company's closing rate? For many sites, having a dash widget for ROI would be misinformed. And that's why I presume most analytics platforms don't include it by default.
Most likely a quip about how Go's type system is uninspiring.
"The credit of acquiring that customer, and the cost to acquire that customer, really should be spread among all the different marketing activities."

Wow. I have been banging my head against this problem on the ad-tech-product-side for months. But this puts it really clearly. Other than having omniscient view of all marketing activities, any thoughts on even imprecisely measuring this.
I'm distressed by how unscientific a lot of this stuff is. It's all good advice, but some of it seems to come from some pretty naive perceptions of how consciousness and the brain work. The example in 3.1, for example:

> Recent example from Anna: Jumping off the Stratosphere Hotel in Las Vegas in a wire-guided fall. I knew it was safe based on 40,000 data points of people doing it without significant injury, but to persuade my brain I had to visualize 2 times the population of my college jumping off and surviving. Also, my brain sometimes seems much more pessimistic, especially about social things, than I am, and is almost always wrong.

Fear of heights is a very primal, very understandable and even reasonably well understood response. Our brains have specific hardware for this kind of circumstance, and it exists for good (even "rational") reasons. Sweeping it into the same generic bucket with all other "irrationality" is just silly.
I don't think so, check what ActiveSupport brings to ruby (http://guides.rubyonrails.org/active_support_core_extensions...).

TLDR: with RoR, things like `[1,2,3].third` or `foo.present?` is highly encouraged.
> The author does a poor job explaining the macro-economic effects. You get a glimpse of the reasoning in the last few lines, where he states that the ratio of corporate profits over GDP doubled, from 6% to 12% of GDP from pre-80s to nowadays.

That's the last few lines of the first of three pages. I made the same mistake at first.
Yours is the very essence of a HackerNews comment. Comma is everything a startup should be. They are not wrapping a lame business model in CRUD and living off of malinvestment. They are solving ridiculously hard problem with a small team of very smart people. Their competition has burnt billions. Meanwhile, Comma is profitable, has a better safety model than anyone.

Hotz is a legend and is not running from anyone.
From your terms of service:

"While you retain all rights in such communications or
material, you grant us and our agents and affiliates a
non-exclusive, paid-up, perpetual, and worldwide right to
copy, distribute, display, perform, publish, translate,
adapt, modify, and otherwise use such material for any
purpose regardless of the form or medium (now known or not
currently known) in which it is used."

How do I retain all rights If I am giving a ton of them to you?

PS
Your lawyers did a poor cut and paste job on the terms of use page.

There is some unicode conversion problems:

"User’s Materials" (this is not the only time but you paid them not me)

The terms of use mentions sections named "Use of Your Materials" and "User’s Materials" however neither of these sections actually exists.
I agree with this suggestion, but will add that you should get an affordable tripod to keep your image stable. (Your linked articles, of course, have plenty to add on this topic.) The lucky point here is that binoculars are small enough, light enough, and low-enough magnification that you can get a pretty cheap tripod without it ruining your experience. You can break into the hobby with a pair of 25x70s and tripod for like $150.
The link is good and insightful, if you copy-paste it into the browser bar. If you click it it redirect to a fairly tasteless image complaining about being linked from HN.
If I were trying to dismantle the USPS by destroying morale and public goodwill, this is the vehicle I'd pick. Then I'd paint it an ugly color.
Yes, it is. There's a fairly big "JDM" (Japanese Domestic Market) car interest in the US, and I've seen plenty of them registered, insured and driving here. I think getting them emissions certified since the standards are all different is a bigger hurdle when importing than anything else, and that wouldn't apply here.

Edit: Also, the other direction, you'll see a lot of LHD cars in the UK where American troops are deployed. That's a pretty specific loophole, but I remember getting a lot of confused looks driving around.
Congrats!

Really nice work, I just bought it and put in on my reading list for today
This article seems to me an extremely negative spin on a business relationship that appears to have progressed in a very standard way:

- Palantir's U.K. head of sales meets with NHS Chief in 2019 over dinner. Apparently there were some fancy cocktails involved...how sensational!

- Pandemic rolls around; Palantir--among other tech companies--awarded contract to do data analytics work on early Covid response

- Palantir's contract now extended. Ostensibly NHS is pleased with their work?
just go to https://francoisbest.com/horcrux
and set Number needed to 10.
It blows up
Why are certificate serials highlighted in red?
That is true, people are generally optimistic about startups but i really do wonder if i have a lack of vision or something, because when i look at this list at exchangel, i see a pile of useless stuff with only 1 or 2 diamonds and 3 or so useful ideas...
The very first example on Github show that checking a conjecture results in one of 3 outcomes:

- Unsatisfied (unsat)

- Satisified (sat)

- Unknown (unknown)
I don't believe that it anonymizes me, for certain, though I hope it might help. I'm certainly not going to make their job any easier than I have to.
Amazing!

When I was prototyping a programming language with support for contracts (or refined types, e.g. `x : int if x > 0`), I tested a few different SMT solvers, including AltErgo, CVC and Yices (these seemed to be the most used open source solvers).

However, none of them were nearly as useful as Z3. In particular, they had no concept of a stack that allows the user to define different assertions locally, and then cancel them later. Without the stack, one would need to restart the solver and re-declare all variables (with all their constraints) for every function call with a constraint, compared to a single SMT script for each function verified in Z3.

Also, Z3 supports much more theories, in particular it supports non-linear integer arithmetics (which is an undecidable, incomplete theory), either by using some heuristics, or by translating the statements into the theory of real arithmetics (which is complete and decidable).
Why do people take themselves - so seriously. There was a lot of subtlety in this work and I interpreted it as part fiction. Thanks for sharing it, some of his other work was equally good.
BigLaw is getting squeezed by its clients. There are increasing numbers of companies that don’t want to pay hundreds of dollars an hour for fresh grads no matter how bright. That leaves law firms with the choice of either subsidizing young associates, which is dangerous given the competition for top partners, or finding some way to cut pay. While few have wanted to break away from marquee associate pay, the quiet rise of staff attorneys at BigLaw represents the breakdown of the bimodal system.
Unfortunately I can't answer that with a strong "yes". I've been considering the FT, based on a couple of recommendations (one of which was on here), but you have to go in with your eyes open: it does lean right. Newsweek isn't too bad, and the fact that it's a weekly does give it at least the sense of a bit more distance and objectivity.

The BBC is supposed to be balanced and unopinionated but they implement it in the most passive-aggressive way imaginable. What I mean by that is that sometimes their coverage simply has massive holes in it, which makes it very hard to keep abreast of unfolding events (bear in mind I don't watch the TV channels, only look at the news website). I presume that's because they won't report on something if it would give them impression of bias, but it can be pretty frustrating.

A recent example is the attack on the US Capitol: the BBC's coverage was constantly out of date, missing tons of key information. CNN, The Guardian, plenty of other news sites across the political spectrum, and even Twitter (!) were better sources of information.

Basically the BBC, at present, implements the letter of its charter whilst completely ignoring its spirit. Super-annoying.
The didn’t imply anything about the NYT’s reporting in that post. I was just adding a funny quote regarding a hilariously innumerate take.
They have before[1]. I think one reason salaries started to climb so much recently in silicon valley was because this collusion to suppress salaries ended.

[1]https://www.cnet.com/news/apple-google-others-settle-anti-po...
As I understand it, if a patient Googles him and reads about his views it can affect the patient’s treatment. Even in the general “ordinary writers” case, writing pseudonymously is a well-established convention, and many people including the NYT are happy to protect one’s identity if they have the right politics.
I sometimes wish k9mail was available on the desktop.
> Last result showed a break from that

Correction: The last two results.

> many students which could have been expected to test poorly were dissuaded from participating. So the result from that year is in question

You mean newly arrived immigrants. They would greatly decrease the results depending on how many were excluded, yes, but PISA makes a distinction between immigrants and natives anyway so just look at the natives results and you still see a strong positive trend.

Also you could argue that immigrant performance isn't a good indicator of the school system of a country, only an indicator of what kind of immigrants they take in. So the only real number from PISA is actually the performance of students who grew up there and got their entire education in the country.
I’ve set up teamcity, Jenkins, CircleCI for past projects and companies.
Tried to use gitlab with all their built-in DevOps feature and found it extremely frustrating to get to a good setup.

I dig the idea of all in one but think it really needs some polishing
Correct, it's entirely the plaid integration. Actually I cleaned up the code considerably since writing that statement and now it's about 100 lines.

I wish I could have better integrated tests with the javascript, but considering, the live view suite of tests is really quite good.
Following is my ADA comment, with no relation to what RMS done or actually does not done.

On the extreme end, ADA does not insist on blind people being art gallery painting curators. ADA also does not insist on people with very little abstract thinking and logic being programmers. Accommodation does not mean that company have to put unsuitable people to positions. That includes influential positions and men/women who have severe social issues.

> Mr. Stallman likes women, but his interaction with them has been awkward and embarrassing in my personal presence, without ever reaching the level of forcing or violence.

From all I know, this is painting Stallman in even worst light then his detractors? I mean, this sounds much worst then you think. It is good that he never got criminal, but the workplace line really should be lower.

> his presence created an uncomfortable environment for women, which fits behavior I have witnessed

I think that sub-issue here is that why no one told him off, why he was not listened. People who merely dont understand can be dealt with, really, by frank and direct instruction. It more then just existing for those people to actually influence the culture around them - it takes cooperation of others, it takes them having actual influential power and being happy about creating uncomfortable environment. Whether for women or men.