skysight-inc/HackerNews huggingface dataset:
I've been considering writing the exact opposite of this blog post. Working with an application that has maybe 70% code coverage but missing testing around some major functionality like reports. We've hit the point where the rate at which we add new features has slowed to a halt as we manually have to test a bunch of stuff combined with a growing fear every time we push new functionality. Sadly we're so overcommitted on new features that we aren't devoting the time to going back and filling in more tests, but we're trying to slowly improve the situation rather than let it get worse.

Then to make it extra fun we inherited two native mobile companion apps built by contractors with 0 testing that nobody even wants to touch.

So yeah, I'm 100% joining the frantic about code testing camp. My immediate state of flow getting broken up is a small price to pay for being able to sleep on nights when we push new functionality to production.
Your assertion that they were dicks is funny. Even if they just didn't like brown M&Ms if they were paying for the venue then surely it was no different than expecting their personal luggage to be carried to the dressing room, or having banners hung. Why is this request so egregious that it's dickish but having the right brand of sparkling water is not?

> Surely in most venues the people responsible for back stage hospitality are not the same people

They all get paid from the same pool. It's the boss they're testing, not the stage hand.

Does the boss treat every requirement like a requirement and have it done seriously or do they pick and choose based on what they think is important and surprise the artist?
Doing business with someone is not the same as condoning their actions. You 100% buy things every day from companies whose actions you disagree with.
I would say that blockchain usually means "with hash trees." There are a lot of centralized hash tree products marketed as blockchain technology.

Also, "Algorithm" might be a little too narrow, "computer program" fits the colloquial use of AI a little better. :)
Herpesvirus Triggers Cervical Cancer Affecting Nearly 1 in 4 Adult Sea Lions
When your main point is about determining the validity of information - the specifics are relevant. Specific examples give some ground work to build up priors around accuracy beyond just themselves too.

This doesn't excuse CRT related nonsense which should be similarly thrown out, but it doesn't validate Trump support nonsense either. The specifics matter because otherwise it's just tribal politicking.

The examples you used are not subjective stances - it's possible to learn what the truth is if you're trying to understand it (and aren't just driven by motivated reasoning to defend your specific tribe).

https://www.lesswrong.com/posts/34XxbRFe54FycoCDw/the-bottom...
Diplomacy does have a large community
For us, depends on the seniority of the role, but we've had good luck bringing in people coming from both directions (where I define the "directions" as "software engineering" and "data science/analysts")

Analysts and junior data-science types can often make the transition well if they can beef up their engineering skills (i.e. learn to write tests, make stuff that will be maintained for years)

Software engineers are often a good fit too if they can pick up some of the data skills (get really good at SQL).

Probably really depends a lot on the specifics of the position, sometimes "data engineer" means "write sql queries to apply business rules" and sometimes it means "maintain our interesting in-house ETL applications which were written in Java 8 years ago"

I'd also value the soft skills a lot if I were to be hiring data engineers - so much of the job tends (at least where I am) to be correctly interpreting business rules/needs and anticipating potential future use-cases.
So within 2 weeks, we met with 45 investors (76 calls in 7 days, that's our record ;) ). Our goal was to identify the 10 VCs that understood the best our vision and industry and that could bring the most value.

On those investors, you could see that 50% didn't know much about data infrastructure, or that it was a fresh topic for them. But for the 10 funds we liked best, they knew A LOT, invested in it, brought a lot of insight and value, just by interacting with them.

So for the next round, we will mostly focus on those 10 funds, keep them posted on our progress, so that the next round is just a question of when and how.

In terms of negotiation, I would say we had a lot of interest, so we could have negotiated the valuation higher, but for us, it was more a question of who we wanted to work with.

But will try to write a blog post on the process for more details, if you think that could be useful.
I think there are some edge cases where you might want them, but for most situations they seem like they make things worse?

When you do have a contract that a computer can execute, the value of having that contract executed on a machine owned by a 3rd party seems pretty low. At the same time, contracts frequently have undefined behavior and, when they do, courts step in to work out what to do. The option to stop or roll back a contract is usually a feature, not a bug.
> What anti-trust measures made Blackberry give up and switch to Android? Was it Apple's doing that Microsoft bought Nokia and Nokia imploded with Symbian and Maemo and inability to compete with iOS? [...] ?

The history of the mobile OS market is beside the point, I'm only stating facts about the current landscape.

> Apple have 27% of the mobile OS market.

And they are in a duopoly with Google with absolutly zero competition. If you want a proof of that, the only time their tariff ever changed was because of Epic Game's threat... of an antitrust lawsuit, you can't even make this stuff up.

> Simple as what? What do you expect, what do you want, anti-trust laws being applied to do? Magically conjour up a competitor from nowhere? Or just smash iOS in resentment for its success so you can have avoid having to suffer Android?

Yes exactly, smash both iOS and Android into multiple independent companies so that this broken market blocking the tech industry can function again.
> I think the main premise of this article is the fact that crypto's carbon emission is insane

I disagree.

The author of the article is the worst kind of statist there is, and many of his arguments fall in the "big brother ought to protect their poor defenseless citizens, whether they like it or not".

The CO2 emission argument is just the icing on the cake.
https://packagecontrol.io/search/terminal
No goto? Funny, but there is actually a Hoare rule for goto (by Hoare himself), and a rather straightforward one:

{ pre(L) } S; { P }
------------------------
{ pre(L) } L: S; { P }

{ pre(L) } goto L; { false }

You just have to use the same precondition pre(L) for every mention of the label L.
With it being so close to April Fools' Day, color me skeptical.
First, what you posted (and the article uses), is not really TLA+ syntax, but its ASCII source; it's like publishing the LaTeX source for your typeset maths. TLA+ syntax looks like what you see here: https://pron.github.io/posts/tlaplus_part2 Some TLA+ bloggers publish the typesetting source rather than actual pretty-printed TLA+; I'm not thrilled with that, but there's a good, mundane, reason for doing it: there is no convenient formatter for HTML yet, only PDF.

Second, TLA+ is very much designed for writing mathematical specifications that are much smaller than most programs (a TLA+ specification with ~2000 lines of maths is very big, while a program with 2000 lines of code is quite small), that are then read and contemplated a lot. Several hours of thought for every line of maths is pretty normal for TLA+. Writing maths [1] is absolutely not like programming, both for ergonomic and workflow reasons (https://old.reddit.com/r/tlaplus/comments/edqf6j/an_interest...) as well as semantic reasons (https://old.reddit.com/r/tlaplus/comments/enencr/yet_another...). Easily the hardest thing in learning TLA+ (which is a tiny, and extremely simple formal maths language) is understanding the difference between programming and simple mathematics, and it takes work to internalise that. The syntax, which is pretty much standard mathematical notation, more or less, helps.

[1]: TLA+ is roughly the discrete analogue to ODEs describing a continuous engineered system.
What would be a better way to call 'AI' then for the general public?

pattern recognition? matrix multiplication? fancy statistics? or maybe enhanced statistics?

gah, might as well just say 'algorithm' and just be done with it.
Have you checked out: https://www.indiehackers.com/?
Waiting for Quantum Computing? Try Probabilistic Computing
It's literally filed under the "politics & history" section. Sorry you got triggered that they acknowledged the existence of societal gender roles.
https://archive.is/kamx6
Moving to another state or country because you don't like their taxes is a vastly different response than refusing to buy a phone because you don't like the manufacturer's stance on human rights.
that will certainly depend on your definition of "major problem". Most software is certainly full of plenty of bugs, maybe it's still worth having it regardless, but I wouldn't call it not a problem, see also: https://danluu.com/everything-is-broken/
If you have the technical background and is interested in a general and short introduction I strongly recommend Ethereum White Paper (https://ethereum.org/en/whitepaper/).

Haven't went through it in a while, but I remember only having a clear understanding of how Bitcoin works after reading it.
Microsoft Machine Learning Kit for Lobe with Raspberry Pi 4 4GB
How is adding `Duration` to `DateTime` related to jupyter notebook? I use that much more often than element-wise matrix multiplication.
Running meetings in read-write mode instead of read-only
> If the BSD distributions hadn't run into problems relating to legal battles at the time, Android would be built on Mach with a BSD userland rather than Linux.

What legal battles were there? Wikipedia puts Android being started in 2003 [0] and then only legal battle I recall with BSD having settled in 1994 [1].

[0] https://en.wikipedia.org/wiki/Android_version_history

[1] https://en.wikipedia.org/wiki/UNIX_System_Laboratories,_Inc.....
I have worked with decades old codebases. I use up-to-date compiler where you get to use smart pointers and all the Modern C++ features. It's your fault if you not teach them how to upgrade the compiler. There is zero risk when compiling C++98 with C++11.

It's also student fault if he selects a company with C++98 codebase. The student shall do due diligence.

It's my advice for you to teach the Modern C++ before driving into legacy C++ sort of like how you teach History. You start what's current then drive deep under.

It builds intuition.
Does the --first-parent flag handle the case where the the line was change as part of a conflict resolution in the merge commit itself?
can't whip workers to work harder while they're at home
Machine Learning Kit with Adafruit
Not peer reviewed, but I saw an example of Zenz's shoddy research today: https://twitter.com/abovetheclouds/status/137719130043338752...

He then tried to cover it up by changing the revision date, an act which amounts to academic fraud.
Total layman here. Question: if 5ppm in drinking water is safe, which would imply we deem it safe to drink unlimited amount of water with 5ppm benzene in it for our entire lives; would it really be problematic to use hand sanitizers with 15ppm (3x) for a few months? (Also considering, as other commenters in this thread say, ingesting benzene through skin is less efficient compared to drinking, according to some claims).

I've no idea how they determine safe ranges for these chemicals, but as an engineer, I'm thinking if I were to do something like this, I'd leave some wiggle room. Like if I say 5ppm is safe, but if noticeable amount of people get leukemia with 10ppm, I would consider my job failed. Because 5ppm, although is safe, is too close to the danger zone therefore is not practical. So I'd guess small perturbations around 5ppm would not have noticeable affects (again, I'm a total layman, this is a question, not a claim).
I've had pleasant experiences with applications developed by the public sector. It's the consulting companies that are no good. Look at 18F.
This is the issue, what will replace Glyphosate? I think it peak naivete to argue it will be replaced by soap and vinegar.
Fundamentally different I would say. I understand enough about the brain to say that talking about any kind of machine intelligence in relation to brains, is comparing apples and oranges. Its not computing things in any way analogous to how a computer works. Why would it be?

Of course, computers might be able to imitate some things and far exceed some things that our brains do. That's different though.
First, congrats to the Airbyte team!

Second, I would say though that often having a team from the industry with previous exits, etc. is usually a winning formula, so YMMV if your team doesn't look like that, even if you have a great deck, etc.
only thing that worked was “<Company> AI Engine”... hurray for throwing my PhD at the wind...

You're lucky it didn't end up being "<Company> AI Blockchain."
1. This isn't lynch mob. Its a discussion.

2. RMS is a public figure by his own choice. This is not the same as your average HN commentor.

3. HN is definitely the place to discuss the public actions of organizations and people in tech

4. Please take the holier than thou, shaming attitude back to Reddit.
Wat? If anything, China's ability to wage war (compared to SA) should make us more inclined to look for a cold/peaceful solution.
Not really. Look at google maps sat view. These are two different projects.
This can't possibly be correct. You can send BTC to anyone without their consent. So you're saying that if he was to use a mixer to clean his bitcoins, the mixer would then interleave his transactions with other random ones and he would get clean crypto on a new wallet with no connection to his old one, but EVERY single transaction the mixer does with his coins would be tainted (?) so in effect it would give him his clean btc but screw the mixer's other customers

What if he also spread 100btc among random active wallets of coinbase users, would coinbase ban thousands of users? take their "tainted" crypto?
I used to use goto's all the time when programming in C for exactly the same reason.. goto label on error. clean.
I really don’t care much about Androids, I haven’t used/been educated about them in 6 years and don’t plan to.

That said, a general purpose personal computer is defined by its advertising not its hardware. My iPhone was never advertised to be able to run any arbitrary binary. The fact it can JIT some version of Python, or run a watered down variant of a program I want does not change what I purchased.

In fact my iPhone was advertised as a multi-purpose, specific device, “arbitrarily limited” to my satisfaction, with a walled garden for my personal protection. This is the device I very intentionally purchased and recommended to family and friends!

Forcing it to be ruined for billions of customers because a few hundred thousand developers are less happy is not only ok with me, I paid for that privilege, thank you.

If “developers” (which I am one of) wanted more open access computing devices, they should have self regulated and ensured viruses, scams, malware, bloat ware, etc were not so common as to drive away every user!

Now it’s time to switch jobs, or be successful with a 30% (which hopefully in the future is 3% - I’m happy for you and anyone to push for a reduction in this value). Now is not the time to complain that Apple is anti-competitive and should be forced to ruin a billion customers experiences, given its users are actively inviting Apple to their defense.
Cool project and story!

FYI - Just tried to view your demo at http://demo.airbyte.io - got a blank screen across multiple browsers (Safari, Edge).
Thanks for the links. I donate a pittance to Zig, I really want to see where CTFE goes. If nothing else, Zig pushes the state of the art and every time a new system does, it sets the lower bound (hopefully) for the future.
It is absolutely untrue that DL is immune to fat-fail problems, and it is important that no one operate mission critical systems under this assumption.

The two fat tail questions one has to engage are:

- is it possible that a catastrophic input might be lurking in the wild that would not be present in a typical training set? Even with a 1M instance training set, a one-in-a-million situation will only appear (and affect your objective function) on average one time, and could very well not appear at all.

- can I bound how badly I will suffer if my system is allowed to operate in the wild on such an input?

DL gives no additional tools to engage these questions.
AWS solutions architect here! (Opinions are my own and not necessarily those of my employer.)

Many of us now believe that CloudFormation is best described as the assembly language of AWS infrastructure: you can hand-code it, but it's challenging and verbose, and there's a lot of detail you have to get involved in.

CDK is the high-level solution to this challenge. With CDK you describe your infrastructure in terms of high-level constructs such as classes. Your stacks are described as applications instead of YAML templates. You can use many different programming languages including TypeScript and Python, and code is reusable. You can even vendor custom construct libraries to share within your org, or openly via npm.

I've become a convert since CDK came out - it's been ages since I've handwritten CloudFormation templates.

https://aws.amazon.com/cdk/
I think you're definitely learning more just reading Google. Enjoy!
I'm saying "smart contracts" nearly immediately wound up breaking the "code is law" principle it claimed to be built on. It didn't survive its first big challenge.
> "These numbers are all estimates but you can imagine if millions of website owners and Google Analytics users end up making a similar reduction in their website size too. The total reduction in the carbon footprint of the web would be immense."

If we removed 40k of CDN content per visit then the 1.8 kwh/GB would be 2.8 kwh/GB.
She wrote her whole third album alone.
Dollar’s Share of Global Reserves Sinks to Lowest Since 1995
A lot? A machine learning algorithm is a task-specific pattern matching algorithm. Sea cucumbers are probably more "intelligent" than any ML algorithm.
What the heck is EIP-1559?
While I mostly agree with Michael Jordan, I think that he overstates his argument a small bit. I feel comfortable applying the "AI" label to projects if they: 1) achieve human level of performance or better. 2) They use any or all of standard techniques like deep learning, NLP, knowledge representation, reinforcement learning, etc.

I am just about to hit my 40 year anniversary for getting paid to be doing "AI" related work, with a lenient definition of AI.

On the other hand, Artificial General Intelligence is a much stronger term, and is something that I don't expect to see in my lifetime.
> If someone came up with something ala D (strong C/C++ interop, fast compile times, good metaprogramming, modules, package manager) without the GC and LLVM based (so it's super portable out of the box) I'm sure it would gain traction.

D themselves did that, that's what I was referring to: https://dlang.org/spec/betterc.html
Modern was a poor choice of words for this title. It's three years old at this point and will only become less applicable over time. "A 2018 Investigation Into Code Review at Google" might have aged better.
I've come across diy powerwalls that have battery management, but haven't looked in 3 years
The federal reserve is not the government.

As they will tell you a every opportunity they get, they're an "independent" agency.
But that's just it: It's not a hack. The DAO was functioning exactly as intended.
Off topic: This website needs me to 'accept & close' cookies before i read the article.

I had people respond to me in a gdpr thread saying that they never accept cookies

example : https://news.ycombinator.com/item?id=26360345

What do such ppl do here? just not read the article?
AI isn't really a thing per se and it adds a kind of patina of false mystique to computation that is essentially no different than any other computation (which itself is also not really "a thing" out there in the world as a phenomenon). The only way AI really means anything is because the person in question has decided to frame something as AI. He is choosing to append to something meaning that it itself does not possess. Take a the linear regression type stuff lots of AI today uses. You put that in another context and it ceases to be AI. Why? Because it's not AI per se! If it were a real thing or real phenomenon, it would be mind-independent and the mental context wouldn't determine its identity.

Basically, it seems that whenever someone mechanizes something that previous only a thinking person could do, then its viewed as AI.
There's a difference between software quality and software value. Maybe your quality is low but you can still add value in the right places on the right problems by understanding the context and use cases. Focus on that and you can still have a career.

There are tons of examples of software teams weighing down their organizations with excessive investment in software quality and not enough on the business case and delivering value. Be a value-oriented developer and work for smaller organizations that necessarily prioritize value over quality. Learn and improve your coding practice on the job.

There are lots of bad programmers making useful things every day. We've all written bad code. You are not your code. Coding is actually just one of the skills of a good prigrammer. Sounds like you've picked up some others, too. Build on your strengths. Write more code, watch videos, read books. If you don't enjoy programming, find a different career. Not everyone likes to program, but if you do you'll improve by doing more of it.
> I imagine e.g. Samsung might have some hesitations about being even more dependent on Google as a supplier.

Does it make them more dependent? Google is effectively the only upstream for Android, and Fuchsia is open source, so it seems like it should be the same?
Gosh. I wish I knew. This thread is rife with alternatives, so other's guess is as good as mine. The unifi wifis I have running are still good and work extremely well. So my suggestion is to keep using them, but only if you host the controller software on your own hardware (I'm using RPi 4 as stated) and only if you avoid their cloud solution(s). (This IMO).

I am still looking for alternatives when the time comes to replace mine. Which I'll be forced to replace once/if they completely nerf the self hosted on self hardware options.
How's the half the person's age+7 work?
As somebody working in the printing industry, I would not call that "printable", but okay...

(Except you don't want your art to be printed in a reasonable size.)
Honestly, I really like CFN, but raw templates are a bit of a disaster... Most of the rest of my infrastructure is powershell, so I acutally write the templates inline in Powershell something like this:

New-AWSTemplate -Resources @{
$OAI = @{
Type = "AWS::CloudFront::CloudFrontOriginAccessIdentity"
Properties = @{
CloudFrontOriginAccessIdentityConfig = @{
Comment = "Access to the bucket"
}
}
}
....
}

If I were doing something without that context I'd likely use Javascript, and just stitch together template structures

I've tried out CDK but honestly it seems very opaque and hard to understand, I want to give it another shot but it just doesn't seem to be a direct translation from CFN templates...
The Big 4 consultancies hire college grads give them basic training on the big cloud platforms and then fill up projects. Otherwise they hire cheap engineers from Eastern Europe or India.

They are not looking for experienced engineers. At least in the Technology Advisory space.