skysight-inc/HackerNews huggingface dataset:
It used to be this way, but then Gmail appeared and changed the rules of the game. So these days you need to be aware that changing the subject line will appear as a new thread ("conversation" in Gmail jargon) for Gmail users. Which might not matter that much if you don't cut the previous e-mails that most e-mail readers append by default.
Kicking a high-profile account like Palantir off of AWS would probably have a domino effect which would result in pretty much every big player moving to custom data centers (or preparing a plan-b just in case it happens to them).
Bitcoin: Fragmented Transaction Protocol
You may have tried it/added it in, but a single point of anecdata if I may - try adding in rowing. It's basically squatting a lot if you think about the form used.

You describe almost exactly what I face in training and I've seen substantial improvements in conditioning by adding rowing to my workouts. I actually do 45 minutes at around 19 strokes per minute at a 500m split of (average) 1:45. More recently I've moved to doing 1000 strokes per workout. That's at about 275-325 watts per stroke. I use an adjustable water rower with heart rate around 150-170 average. I get around 15-16km per workout.

The action is essentially resistive aerobic training, not unlike squatting as I mentioned. I can't say it'll work for you but I can say it's helped me find a form of aerobic exercise that maintains strength and conditioning.

Your height will give you a mechanical advantage but a water rower will give a non-linear resistive load so you can adjust it to give you the desired heart rate/wattage to sustain difficult training throughout the workout period.

Rowers are considered to be the absolute top of the pyramid amongst athletes in terms of balancing power/vo2 max/aerobic capacity etc etc.
I had to read your comment twice before I realized it's not, in fact, a short poem.

[Edit] Maybe it is after all. :)
Any mitigation action we take is worthwhile as it will reduce risks and future costs. I'm not optimistic we'll do enough to prevent serious change. But we can't give up on mitigation strategies as they could still make the difference between 'really bad' and catastrophic.
Should the page go down again: https://app.pagedash.com/p/322a3507-a4cd-44e0-acd9-9adf52b3d...
I posted this after he was mentioned in this article
https://news.ycombinator.com/item?id=18236608

A sad story of missed opportunity.
Thanks! That‘s pretty much exactly what I thought and I agree Rust looks promising for this purpose. On the other hand this is a variation of the two-language-problem and I wonder if it couldn’t in theory be solved with an approach like in Julia (even though it hasn’t so far in practice).
If you don't have the time to read all, here's the summary:

> The highest performing leaders use simpler words to communicate, they respond faster, and they communicate more often. In other words, they are more engaged, more efficient, and more action-oriented.
It's back up. Should it go down again: https://app.pagedash.com/p/322a3507-a4cd-44e0-acd9-9adf52b3d...
> The tactic system then basically build the actual proof by putting everything on a stack and applying in reverse: once you've proved both goals, it knows it can apply the forward-reasoning induction proof function to construct a proof of the original statements from the two proofs you gave.

In Agda, you would type something like `nat-ind ?x ?y` into a hole of type (forall m -> P m). Then ?x becomes a hole of type (P zero) and ?y becomes a hole of type (forall n -> P n -> P (suc n)), and you can fill these holes with proofs at your own leisure. It does not feel all that different from using `induction m` in Coq. In Agda, you'd normally implement your "reflective tactics" as functions, or you'd write macros if you really need them (e.g. for ring solvers), but there is no separate tactic language and proofs are never tactic scripts.
It's very ironic that you're defending China's position on mass surveillance tech while complaining about leftists.
Can you explain what you mean? Are you saying you think the size of the display is a primary cost center for phones, so small screen phones would have a substantially cheaper bill of materials?
There’s not really any reason you couldn’t have a language that eventually offer almost all of haskell’s compile-level safety features, while keeping the vice grip, is there? Most of haskell’s benefits comes from its “sufficiently advanced compiler”, without reliance on gc benefits, I would think. Other than laziness, is haskell-the-language actually that dependent on a gc?
What I understand is that background checks of every traveler is absolutely necessary for safe flights. Is this what you say?
Travel is essential, just as the right to work, breathe when you want etc etc. So, my bet is that it is. Granted with some restrictions to make sure everyone is as safe as possible...without getting a cavity search
I have been getting a lot of items shipped from Thailand. And one cheap item from the Solomon Islands. I have no idea how the last one happened.
One of the reasons people have become so enamored with computers is that they enable you to experience new worlds you can create, and to learn what’s possible.

Could not have written it better myself.
We Just Made an Electron App 30% Faster
The typical 'leftist narrative' is a nanny state over-using its power to censor alt-right to protect 'minorities/dissidents/illegal immigrants'.

I'd place 'less government power' as more of a rightist narrative (see gun control for example)
Why doesn’t Silicon Valley just give Saudi Arabia its money back?
How Index Ventures became Europe’s startup success factory
I fast and maintain a ketogenic diet. Its 5:45am as Im typing this. Ive been up since 4. Went to bed at 11. Currently on hour 35 of a fast that I plan to end mid morning. Unless I still feel "great"...

I have high mental clarity currently. I had high mental clarity when I went to sleep. I did have issues sleeping, but this is nothing new on a ketogenic and fasting state.

From the vast research I've done, sleeping may be more important on a high-insulin-fluctuating diet. However, when the body and brain are fat adapted (less insulin), there is a constant fuel source. The brain operates very efficiently on ketones. Also, important to note that when fasting and doing keto, you must supplement electrolytes.

There is a lot more to all of this and the notion behind the importance of sleep. Anecdotally, diet proves to be more important for me. Do your own research.

related:
https://www.alzheimers.net/diabetes-of-the-brain/
I kinda lost interest after the second book, it was pretty bad tbh...
From the actual review the article links to, I've got to say, this is pretty cool:

Super Res Zoom is Google’s software that aims to make up for the missing telephoto lens. The machine learning–powered feature makes photos taken with digital zoom look better. Typically, photos taken with optical zoom are higher resolution, while digitally zoomed photos look grainy and blurry.

Here’s how it works: Whenever you take a photo, your hand is never perfectly still. It moves ever so slightly. Super Res Zoom uses those hand vibrations to capture the image from slightly different angles to get more information from that scene. Those angles are used to make digitally zoomed-in photos appear more detailed and higher resolution.
I didn't know https://twitter.com/nihilist_arbys was doing phone reviews now too.
They are not trying to convince you to join their case. Neither group. You are unlikely to be in position to do anything about their cause and even if they convinced you, you would likely remain passive.

Both are attempting to force change or prevent change. For all values in calm rational discussion pleasant discussion, it does not bring change. It makes you pleasant, but does not really bring results where real stakes are in question.
Completely forgot about Ventrilo. I remember it being a bit of a pain to get up and running.

I think between Nitro & the Store they're going to do well with generating income. Tieing free games to Nitro was a smart idea IMO, but they still have an option to use them seperate.
It's got to be a balance between niceness and driving a point home.

If you sound like a shouty crank with a weird idea then good luck trying to get public + politicians to make said idea happen.

It seems the internal dynamics of political groups can reward being shouty and extreme. So yeah I can imagine the message doesn't go down well there and is met with: 'yeah but X is SO important'.
You think intermediaries (e.g. dropshippers)
can't add value to a supply chain?

These days, don't Chinese companies mostly list the products on Ebay and Amazon themselves? Just today I ordered something on Ebay and got a paypal receipt for my payment to 覃尚田.

I don't see what value an extra intermediary adds in that situation?
You're assuming there would even be an array of callbacks if the code had been written in a different language, rather than the other language offering some nicer abstraction that eliminated the array. Having not seen the code, I can't be sure of this, but I know that, for instance, I rarely need to write array index arithmetic in the languages I usually work with (Python, JavaScript) whereas on the occasions I've dabbled with C such arithmetic came up constantly. If I introduced a nasty bug in some C code due to an array arithmetic error, arguing "Python wouldn't be any better because it doesn't do anything to make manually writing array index manipulations easier" would be missing the point.
Electric plant is also stressed by higher loads (thermal mainly, which has a number of downstream effects), and cyclic thermal stress would lead to cycle limits just the same. You also still have a lot of mechanical components just the same as combustion engines.
I haven't gotten a single message from a Skype bot in over a year. Sure, Discord may not have too many yet, but just wait. When it becomes more profitable to allow the bots than to block them, Discord will have them too. The same thing has happened to every communication method in the history of man. When the carrier decides they either can make money off soulless selling machines or that it's simply not worth the money to keep playing 'cat-and-mouse' with them, they'll enter the playing field. And as to the 'bot ecosystem', good. I'd prefer a bot-hostile ecosystem, where every user account has to belong to a human being and every account online has to have a human behind it.

You're right, there are no channels in group chats - why would someone need a channel within a channel? If I want a group chat with a specific group of individuals, it's trivial to create one and add people from either another chat or my friends list. What you're asking for seems somewhat silly to me. I also don't understand what you mean about a 'separate community mechanism', the group chat is a subcommunity within the Skype community. If I want to contact someone, I just find them in my friends list and send them a message. They'll get it the next time they're online.

I'll agree with you, the permissions controls aren't there - the solution is: don't add people you don't trust to a group chat with people you care about. If you want permissions controls and bots galore, go to IRC.

I disagree about the notification system; I've got two groups set up that only pop up unread if my name is said. It's not a "mention" filter, it's a word filter which I typed my name and my nickname within the group into. I also don't care one iota about cross-device syncing, it's not my use-case. I have one computer. That's all I use when it comes to chatting. I don't use a device (i.e. anything that's not a PC) to do a great deal of Internet things.

Social engineering is going to happen no matter what the platform is; that's the whole point of it being social. Heck, the first 'hackers' were arguably social engineers. You can't really defend against it as a platform, all you can do is educate. I'll grant that Skype doesn't do that well, but neither does IRC or Slack.

Also, my computer is not from the last half-decade. It is an x86 machine with 1GB of RAM and will remain such for the foreseeable future. I am not planning on upgrading, ever, because I don't see anything on the market that looks to me like a clear upgrade with no downsides to the software and peripherals I wish to run.
And what was an assumption, again becomes a circular axiom by the end of the line: "[it will be easy to do, because] the bar to clear is not high, [because it's easy]" Do you have any data to support that? (Or more precisely, are we talking about the 80/20 Pareto bar? ("it is okay, as long as it kills fewer people per million miles, on average"))
Best Smartphone 2018 – Best Smartphone Overall – Best Phone to Buy
She blocked a black man from entering his building,then followed him to his door
I really love the tin-foil-hat reference in the name and the product design.
Naming and ??

(Computability?)
Read the freaking docs.

> Note: The BrowserView API is currently experimental and may change or be removed in future Electron releases.
Booking.com – Annoying yet a Genius Experience (by Ori Feldstein)
I'd go on Craigslist or something and talk to landlords first, preferably in person. Try to figure out if they're actually interested in buying, and don't write a single line of code before you have an actual sale (have them pay you cash if necessary). If you're not sure what to ask I'd recommend the book "The Mom Test" (not affiliated to it). The basic gist is that you need to be careful which questions to ask so you don't bias the person you're questioning. For an obvious example think of going to your mom and telling her in an excited tone of voice "Hey mom I have this great idea, what do you think?", it'll probably be really hard for her to tell you that she'd never pay for that idea. Same applies to potential customers.

Anyways, I'm in the same boat as you (I'm looking for the exact same kind of problem as you), so if you wanna bounce some ideas, shoot me an email: a (dot) v (dot) f (at-sign) gmx (dot) at
Read the freaking article.

> Although browserview is still an experimental feature in Electron...
Three.js and webgl – materials – cube reflection Try 3D on the Internet
Nope. Luddites (sic) were a social movement, and a pushback against a better, more efficient system.

Whereas pushback against a system that's built on hope and today's slapdash software standards, essentially "you can't make an omelette without killing a few people, but it will be far more awesomer in Our Bright Future, if only you let us run the show" is somewhat different. Your analogy leaks all over the place.
Git-imerge: rebase/merge preserving history avoiding all-or-nothing
We would make a progress on some environmental challenges by simply taxing externalities and letting the market do it's work.

Climate change - carbon tax.

Trash Pollution - packaging and recycling tax.
What Exactly Makes “Bad” Code Bad?
I lost $150 because a certain mail didn't arrive in time (an intercity bus trip ticket) when I couldn't actually afford to lose that money. I had to borrow money from a friend. Those 1-2 hours were quite valuable!
Don't tell them your age -- or even hint at it.

It's illegal to discriminate on age in CA but if they can infer it they'll find some way to exclude you.

Do interviews by phone / teleconferencing if possible.
As a self-taught web dev, I don't think I could find any "mentorship" in reddit, discord or Slack. This is like saying HN substitute for YC office hours with experienced mentors.

Knowing a few people from bootcamps, it is clear to me that it is not "fun", it is work.

Your impression that bootcamps are for people who do not want to read anymore is plain wrong.

And self-teaching and bootcamps are not excludent. Actually, I was told that this is exactly what make a difference between bootcampers. The ones who think that all you need from bootcamp is the certificate, usually fail to have a career in software development. The ones that understand that the bootcamp is only the beginning, an accelerator and guidance for your learning, and you have to self-teach you a lot of things, those succeed.
Seconded. KeePassXC + Nextcloud Sync for me.
Just discovered this tool while doing a messy rebase, and can't believe it has had very little discussion I can find.

https://github.com/mhagger/git-imerge

No previous commentary on it so far on HN:

https://hn.algolia.com/?query=git%20imerge&dateRange=all

So, can anyone find any interesting discussion about this tool?

If you'd prefer reading rather than listening to the talk, here's an article which covers some of the same concepts:

https://wilsonmar.github.io/git-imerge/

The crux of it is that the tool does an efficient pairwise merge of all commits from the donor branch onto master. It can also be configured to run the test suite to detect conflicts.

Then you resolve conflicts in pairs of commits, which is only a small amount of work. The histories of your individual resolutions are preserved, so you can pause and resume the task.
As someone who has CLEAR, and flys frequently on airlines that are not enrolled in Pre (JAL out of SFO), this is simply untrue. CLEAR escorts me to the front of the Pre line, allowing me to keep my shoes on and laptop in bag -- even though the airline is not a part of the Pre program.
> planes are very often mostly full in my experience, while trains are not, and busses even less so.

This is going to be very dependent on the route/times. I've flown transatlantic flights where I've had entire rows to myself (on multiple occasions). Trains are regularly running at capacity, especially on commuter lines.
Show HN: Beacon: Monitor your AWS environments' security via Slack
This implementation:

mid = ((unsigned int)low + (unsigned int)high)) >> 1;

essentially extends the bit width from 31 bit to 32 bit by going from signed to unsigned, and is thus correct up to array lengths of order 2^31 rather than 2^30. Using an even larger bit width should classify as at least as correct as this.

In summary,

(low + high)/2 or (low + high) >> 1 is correct up to 2^30 for 32 bit signed and up to 2^62 for 64 bit signed, up to 2^31 for 32 bit unsigned, and up to 2^63 for 64 bit unsigned.
Really? I have on many occasions weld a lot of sway on tech hires as senior and lead developer at several companies. It's generally the tech lead/lead developer who has the most say on hiring programmers from my experience.
Me too. I did not understand fully what was going on, but I remember the excitement and optimism that hung in the air.
If what we read is true, they cut his fingers first. Brutal but also telling. Like the mafia cutting "a rat's" tongue. A lot of things we don't know, but looks like they are drunk on power. No one should do business as usual with MBS and maybe those petro-states should get a reminder on how fast things can change.

With a signature, you go from a tycoon, being worth tens of billions, to https://www.bloomberg.com/view/articles/2018-04-10/why-oleg-... no one in the western world willing to take a check from you or your companies (more or less)
> Why do you (and why do people in general) not use server logs for analytics of this sort?

It almost seems that the tracking of users has to be looped through as many third parties as possible.

I don't know, whatever, it makes it easier to block.
Array of callbacks (or long switch which is essentially the same) is a standard method to implement state machine.
No cue sports in the US?
The internet and amazon displaced the old business models with e-commerce. Bitcoin could do that with money/gold.

This is similar to train->car.
Great summary of the situation. Also the reason why my reply will not be seen by almost anyone.
> Google Analytics has a free version.

So did you ever stop to ask yourself, if it's free then who exactly is the product? And did they consent to be being sold?
"There are only two hard things in Computer Science: cache invalidation and naming things." -- Phil Karlton

But I do like "Computability and naming things" better.
I'd guess that repeating a vote favours whichever party has a particular demographic (younger?, less employed??) or whichever is better funded (to encourage/assist getting to polls) that subsequent votes get less and less attendees?

So, forcing a revote might be a way to swing a marginal seat in your favour.
They have a 2-5 page resume.

I assume the critique here is that a 2 page resume is too long?
Have you seen https://drawshield.net/create/index.html ? It can be a bit hit and miss but it will attempt to display your shield based on the blazon text.
Largest JVM Ecosystem Survey Report
Memoji – The Latest Animoji Update
You have some services made to support creators, like "Buy me a coffee" or Patreon
6 Emerging Players in A.I
A language is not just a set of possible semantics, it‘s also an ecosystem that herds people towards using it in a certain way. If that ecosystem breaks down under certain conditions the language becomes unusable. I think that aspect of language design is often underappreciated and maybe the main reason why we don’t have (and maybe will never) a one language to rule them all.
I have the same feeling. It concerns me because I'm not sure how to differentiate between my subconscious conservatism and my instinctive backlash against cultishness and/or over-complication.

The only thing I can put my finger on is this: those organisations - and this article - present themselves as being above-average rational and insightful. At least that's my impression. Yet many of these suggestions seem to be speculation based on very small data, for example the point about them not having competitors. Many others could simply be rephrased as "take a holistic view", for example considering whether recruiting people to your company is good for the cause as a whole.

Don't get me wrong, there is some insight here, it's well-written, and some of these heuristics might turn out to be helpful to some people. I just think that the website it's published on is inflating its perceived significance.
I am a great believer in Sir William Blackstone's view in 1765: "It is better that ten guilty persons escape than that one innocent suffer". Particularly with the state of our prisons and the utter ruination of an innocent life, even if later identified as a miscarriage of justice.

Innocent until proven guilty, and police gathering evidence of a crime and scene to find, catch, interview and potentially prosecute a suspect. If that proves more expensive, spend enough on policing to achieve adequate deterrence and conviction rates.

The problem with any mass trawl or systemic facial recognition is it makes it utterly trivial to abuse the rights of those who happen to be in a minority group, or to actively look for crimes with which to persecute someone disliked. This is policing the wrong way round.

I hold just the same views about traffic enforcement. Cameras and automatic fines worse than a police officer in a patrol car. The officer can let someone off with a chat if there were clear extenuating circumstances - cameras can't. The officer can catch bad or dangerous driving that happens to be at legal speeds - cameras can't.

I see no hypocrisy here.
> automated "background checks" (no doubt based on a secret methodology) against Americans, the results of which will then be applied at biometric checkpoints and used to justify taking individuals into custody for "further screening"

This is exactly the current system, but the current system puts a human instead of the biometric system. See all the business of "SSSS" stamps on boarding passes.
Insects, biodiversity, and mass extinction: an alarming new study, explained
A tiny library to map Contentful ️ space into Redis ️