skysight-inc/HackerNews huggingface dataset:
That is an area that I need to improve. With a high focus on privacy, it makes it hard to track what users read without creating a user tracking system and that is something I really want to avoid doing.

The thread links use the CSS :visited selector to show the links in a different color to help identify the links you have previously clicked without the site knowing that information itself.

There is a history function for logged in members, but for user privacy it can be limited or disabled by the user via the Settings page and is also auto-purged periodically.

At the very least the site needs to show content that has been added since your last visit and that is something I plan to implement soon.
Dafny (and formal verification for imperative languages) is a lot of fun.

But does Dafny have any library documentation? Is it .Net?
I don’t think splits are necessary. Fractional shares are an abstraction of share ownership though. Many people prefer not to rely on their broker for that.
But what is it we are really being asked to stop watching? The same organizations that winked at each other on election night because they were "with her" and in doing so were saving democracy from someone they saw as a tyrant. The media has an agenda, and likely a bias, so to stop watching is to stop being manipulated.
The people making decisions at Patreon look like fools.

Seems this Owen guy won without even trying and rightfully so.
Why would Gmail's market share correlate with the number of emails sent? 99% of the 300bn sent daily will originate from bulk senders. Thats not Gmail.
years ago, I'd proposed (to the 5 people who used to listen to me!) that we put together a protocol to be able to tie audio files (for comments) to specific commits in a subversion system (2006 maybe?).

perhaps if GitHub gave us a way to do media attachments with particular commits, we could let people embed instructional/teaching moments in their code bases...

not suggesting GitHub is the only player out there, but may be big enough to give this a try as a side project for some of the internal folks.
Even two years ago, OSMAnd and Brouter were open source and available from the F-Droid repository.
>> More than 300bn emails are said to be sent every day and if only one-third originate on Gmail—a conservative estimate—then a stack of print-outs would be 10,000km high.

Given:
thickness of paper 0.0039 inches
Lets say each email is at least a page

0.0039 inches * 300*10^9 pages to km = 29,718 (km)

Maybe if some emails are more than a page its not too far off.
validation is noisy, and can be just as hard as building the the thing.

If you put up a landing page and people immediately start buying, great. What happens if you get no conversions? Is it the product, market, your marketing? How much effort/money do you put in before you say it's a negative result?

marketing is an adverse learning environment, and beginners typically misattribute the cause of failure. It's difficult to learn incrementally via trial and error, unlike coding.

the best way to mitigate "no market need" is to solve an existing pain (that the market is already buying) rather than inventing new ones.
Lengthwise.
Recording of him reciting it in person:

https://www.youtube.com/watch?v=8AyHH9G9et0
Plot twist: it does support SQL out of the box!

HAProxy logs syslog messages, in a configurable format and to a destination of your choosing. All you have to do is to setup your favorite logging agent between fluentd/logstash/syslog-ng to listen on syslog and forward messages to a SQL database.
The timing is based on quarter end dates. There’s a season of a few days each quarter when everyone on a standard calendar reports. Similar companies move together on the assumption of “if Walmart has good earnings, Target should too”
May I suggest the Wall Street Journal? It seems to have the least amount of reporters inserting their personal beliefs into news articles.
A look into how Video Signal Processing emerged as real-time art
There is no such thing as fractional share as far as a company is concerned.

This is effectively an investment product no different from a fund: The trading platform/bank buys shares and you buy shares of the pot. You don't get the same voting rights because as far as the company is concerned you do not own any shares.

Stock splitting is to help liquidity by making shares more affordable, and it also as a side effect helps stock-based compensation (e.g. RSUs).
Gompertz–Makeham Law of Mortality
Wow.

Thanks for sharing your story! Priceless.
Windows was a far more liberal and fair platform than Android is. Once you have your software installed, it could do with the system all it needed, if the user gave it enough rights. On Android, you can't really run your app in the background (trust me, we develop an app that depends on being constantly in the background), so the developers are forced to use proprietary push notifications, which are fully controlled by Google.

... And each new version of Android puts more and more restrictions on things. For example, in Android 6 I could record incoming calls easily. Not so much on Android 9, "you are forbidden to do that because it is illegal in some jurisdictions" (not in mine, btw!)
But do 300*10^9 emails really get sent through gmail every day or is that in general?
Payments in 2039 and 2064 [pdf]
> figure out what American public housing has done wrong (namely the idiotic towers in a park idea) and fix it

I think an issue with this approach is that it's top down, as as mentioned in the article, "those at the top can’t manage all the information about the economy".

A counter-argument may be to just let towns and cities decide what to develop then, since local people have the best information about their neighborhoods. However, 1. this is already the default method and has resulted in housing crises where NIMBYism is rampant. 2. UBI would also help in this case as you're increasing the demand for housing while increasing competition between people living there and not (assuming people want to move to the area in the first place).
I'm positively surprised that Dropbox (at least from what I understood from the post) didn't require lots of changes or patches on top of the upstream codebase of Envoy to migrate their traffic!
> Shivji’s Atari 130ST display units were hollow cases, but people could see them.

Those were live STs, running actual OS bits. There weren't many of them working (I think we had five machines, and limited supply of the custom chips). But they were there for people to see, pushing real honest pixels. From time to time a display machine would die (IIRC they were overheating a lot), and the hw folks would take it away and fix it.
I don’t think RVs are a good indicator. My wife and I just bought a 32’ Class A motorhome to travel around the country in the fall, since I’m forced to work remotely and the kids will be doing school remotely. If there were no pandemic, we would have never dreamed of buying one.
> if the candidate responded saying

Responded how, when? (At what point in the process)
It was in the renewal of the Applesoft Basic license that Apple gave Microsoft a perpetual license to the Mac interface:

> Apple's original deal with Microsoft for licensing Applesoft Basic had a term of eight years, and it was due to expire in September 1985. Apple still depended on the Apple II for the lion's share of its revenues, and it would be difficult to replace Microsoft Basic without fragmenting the software base. Bill Gates had Apple in a tight squeeze, and, in an early display of his ruthless business acumen, he exploited it to the hilt. He knew that Donn's Basic was way ahead of Microsoft's, so, as a condition for agreeing to renew Applesoft, he demanded that Apple abandon MacBasic, buying it from Apple for the price of $1, and then burying it. He also used the renewal of Applesoft, which would be obsolete in just a year or two as the Mac displaced the Apple II, to get a perpetual license to the Macintosh user interface, in what probably was the single worst deal in Apple's history, executed by John Sculley in November 1985.

source: https://www.folklore.org/StoryView.py?project=Macintosh&stor...
for those seeking more info i collected other book launches (developer focused) here https://github.com/sw-yx/launch-cheatsheet/
"I forgot to ask an obvious question: Dafny uses .Net's garbage collection, right? If so, that presumably rules out its use on hard real-time systems."

I was just about to point that out. Yes, Dafny uses garbage collection (which makes formal verification much easier). As far as I know in SPARK (and FRAMA-C), verification of memory allocation is still an open research question.
Thanks for writing this! Now I'm really curious about who this poet was.
So interesting that Apple does this around $400... meanwhile Amazon's over $3,000 and couldn't care less.

It's very curious to me how and why different companies decide whether this is important or not.
The iPhone SE has the top of the line processor that is still faster than any Android phone.
Would you mind sharing which blood thinners? My partner has one of the conditions you mentioned and we’ve had a heck of a time trying to get care for it.
Would it though? Consider the term ballot harvesting[0]: "

"Ballot collecting, also called ballot harvesting, is characterized by the gathering and submitting of absentee or mail-in voter ballots by third-party individuals, volunteers or workers, rather than submission by the voters themselves directly to ballot collection sites"

How would someone get caught? If you went around a nursing home collecting ballots and then dumped them in the trash on your way home, unless there was some really strong accounting system, you may never get caught. Ballot harvesting is a tried and true method for the democrats, and frankly I trust no one to cast my vote but myself.

[]. https://en.wikipedia.org/wiki/Ballot_collection
Trump Might Try to Postpone the Election
For people who like charts.

https://sixcolors.com/post/2020/07/apple-q3-2020-results-eve...
If you're on unemployment or welfare payments the state pays for you. If you live off savings and don't have income you can pay a base rate (a little bit below 200€).
Not to mention that most companies don't need great engineers. Average engineers for average companies is perfectly fine. Of course, then the company leadership has to be realistic about their place in the universe, but that's a separate problem, plus hiring authorities can have a realistic view of the big picture and sell their hiring selections as "great engineers for a great company" to management.

It's kind of mutinous, but it's not like there's anything to be gained from loyalty to management who aren't loyal to employees.
Another thing, what if it seems some people just want the money, and didn't try seriously

Then what? Would it feel good to pay
This article recommends using SOC2 compliant vendors. I wouldn't put faith an a SOC2 certificate. A vendor who's infrastructure consists of almost entirely of hardware and software that's been EoL for years (and wasn't up-to-date before support expired) can pass SOC2, so long as they show that their firewall does NAT for security.

Okay, I'm being somewhat hyperbolic, NAT for security is not the only box a company has to tick to get a SOC2 cert. But I'm being less hyperbolic about long-EoL kit passing SOC2 audits. IMO, a vendor running unsupport(-ed|-able) kit should be an immediate disqualifier.
you can buy a new Nokia 2.2 android phone for $100 on Amazon. it works perfectly for 99% of what you might ever need to do. phones are now at the point where PCs were in 2010--commoditized and at a technical peak. so there is no longer a compelling reason for the average person to buy the newest most expensive model every year. Apple should be dying. maybe it's delayed and we'll see Apple's first decline in revenue in 2-3 years.
Direct debit requires an authorization that’s the PAD/PAP yes it’s a click but on the backend there is a contract signed and approved, you can initiate a transfer to anyone with just an account number no approval needed.
Yes, but UBI lowers the risks involved in moving.
In my opinion, a non-insignificant amount of cryptocurrencies tout a global low-friction exchange system with good APIs as their main feature. I am not qualified to say how related the markets are, but it seems like there is at least some overlap. (E.g. one of the first results I get when googling Adjoint is an interview conducted by a crypto company)

I think our disagreement stems from how vague Stephens post is. By not naming any names he could be accusing any crypto company, including those that might indirectly compete with him, of being fraudulent.

My stance would probably change if someone were to point out one of the "right-wing conspiracy theory cult" Haskell companies that Stephen is alluding to, but as it stands this mainly seems like fearmongering to me.
Sorry I spaced and totally copied the wrong url.

https://www.medrxiv.org/content/10.1101/2020.05.07.20094110v... is the correct url
It is not true that all banks in EU require that.

I actually thought that SMS as 2nd factor for Banking is not allowed in EU anymore.

All the serious banks that I know of offer asynchronous password tokens (like Digipass), since not everyone trusts those mobile apps, or they simply don't own a smartphone. They don't advertise it too much, since it is easier for the bank to get everyone to use an app, but most of them offer it. If they don't, you should consider changing your bank.
> one can argue that the demand wasn't bigger than what the public libraries would have been able to handle

By this logic, I can speculate that there is probably at least one copy of the Star Wars ep V DVD sitting in some library's bookshelf not being watched right now. So it's completely ok if I "lend" myself a copy and watch it without paying. Since the demand was probably not higher than what could have been satisfied with the number of phyiscal copies of the DVD present in the libraries of the world today. Or maybe it was, who knows man?

This is, to put it mildly, not how copyright works. Internet Archive will have to learn that the hard way now in court. Which sucks, because I really like IA. I wish they will refrain from pulling any more crap like this.
In the article they mention that this is done if a stem cell transplant didn't work. I thought Car T-cell therapy is tried before a stem cell transplant? Even in cases where a donor exists.
Reverse Engineering Starling Bank (Part I): Obfuscation Techniques
There is precisely zero stopping you from distributing through F-Droid or Amazon Apps or another third-party app store, or even sideloading... Except there's no customers. There's no market. The user's took their freedom of choice, and chose app stores, because freedom is scary and the wild west doesn't get stuff done.
The original goal of reducing news prevalence was to show less outrage/clickbait and show more friends and family content. Of course, hindsight shows that the move was of limited efficacy, but it's disingenuous to suggest that it was done in order to 'squeeze journalists'.
> Is this what people mean when they say, Haskell's type system is sound?

It depends on the context, but it's certainly in common use (e.g. see https://stackoverflow.com/questions/21437015/soundness-and-c... although I switched 'positive' and 'negative' in my example: e.g. I treat 'true positive' as 'correct program was accepted', that link treats 'true positive' as 'error message was justified')

> As long as one understands that consequence doesn't it pass Milner's definition?

Milner's definition is usually summarised as "well-typed programs have well-defined behaviour". Haskell does fit this description, although certain optimisations may be unsound (e.g. library-supplied rewrite rules).

To me, the key deficiency is that Haskell can't ignore 'absurd' branches. For example, let's say we have a function like this:

foo :: a -> b -> LessThan a b -> Foo
foo Zero (Succ y) _ = bar y
foo (Succ x) (Succ (Succ y)) _ = baz x y

If 'a' and 'b' represent numbers (with singleton values), and 'LessThan a b' describes proofs that a < b (see e.g. http://chriswarbo.net/blog/2014-12-04-Nat_like_types.html for how to encode such proofs), then these two branches form a complete definition of 'foo': the combinations 'foo _ Zero _' and 'foo (Succ x) (Succ Zero) _' can't occur, if we trust the 'LessThan a b' proof. In Agda, Coq, etc. we can either leave out those absurd branches (if the compiler can spot their absurdity), or in more complicated cases we can satisfy the type checker by proving they lead to a contradiction.

In Haskell we can't do this: the type of one argument can't rule-out values of another. Hence we must define those branches (or else leave the implicit "unmatched pattern" error, which is a "bottom"), and we need them to return values of type 'Foo' (which may be impossible to construct, unless we return "bottom"). This satisfies Milner's definition, but also goes too far: we're specifying well-defined behaviour for programs which aren't well-typed! In practice, this leads to redundant branches like 'Nothing -> error "Shouldn't happen"', which (a) introduce potential crashes and (b) are so close to being statically avoided!

> having to avoid or prove termination would be a pain in the rear end for most large programs

It can be. If we're being lazy, we can just wrap things in a 'Delay'/'Partial' type (described a little in the above "nat-like types" link, and also at https://news.ycombinator.com/item?id=17472926) or run proofs in Coq's Mtac language ( https://plv.mpi-sws.org/mtac )

> And in practice I still think of Haskell's type system as sound.

Me too. This tends to be called "fast and loose reasoning" https://www.cs.ox.ac.uk/jeremy.gibbons/publications/fast+loo...
I started playing the guitar when I was sixteen. My good friend from high school who knew the start of a single ballad but otherwise couldn't play got waaay more attention.

Perhaps it had something to do with the fact that I was a proper nerd and he was built like a greek god.
Spike in buying Kodak stock BEFORE the govt loan was announced
This whole debate originated in some people noticing that there was a lot of wrongthink on the internet and then starting to yell at tech companies for not fixing it. But it turns out that problem is legitimately hard and the tech companies don't have a magic wand, so all their attempts have been ham-fisted disasters that trample all over everything like a frightened elephant.

That problem in particular isn't really one that competition would solve, because it's fundamentally a demand for censorship, and more competition would make censorship harder. Which is maybe a good thing anyway.
That’s how Direct Debit works all over the world, that tick is the PAD/PAP contract being signed you basically pre-approve debit requests with it.
UBI would ideally be based on taxing automation and increased productivity, not worker incomes.
That's so true! If I heard Trello Power-ups, I will definitely give it a go.

Actually for Backlogs, some features are already taken from IndieLog, like the upvote and commenting. I just implemented the roadmap boards and the changelog page.

Haha, I built the Backlogs on the side, so it is a slow process :)
Why does it need to be accessible from user-space? Applications can just ask the OS what extensions are available before using them.
Sounds like a horror show. This [0] isn't very reassuring either, even if doesn't pertain to this product in particular.

[0] https://epson.com/Support/wa00369
> The problem is information wants to be read and be free. Copyright is a wall around information that has already been thought of and recorded.

Copyright isn't a wall around information. Copyright doesn't prohibit anyone from taking the information in a book and presenting it in their own way. For example, you or anyone else can take a copyrighted book, extract the valuable information like mathematical equations and methods and data, write your own explanations of the information, make your own diagrams, write your own exercises for readers, and then publish it and sell it. Copyright won't stop you or anyone else from doing that, because copyright only protects expressions of ideas, not the ideas themselves.
> Show HN: UPUP Simple Credit Card Verification to Reduce Fraud

Not to mention their horrible management of physical goods as well. A lot of vendors like HTC have had serious issues with with product sales, returns etc.

If it's Digital River, I look for alternatives or don't buy. Glad to seem i'm not alone.
>> The US doesn't want Chinese tech because China won't allow US tech. That's really what it boils down to. And I can't really blame the US for it because China has locked out US tech companies for decades.

> Exactly. And it would be nice if people were just upfront about that instead of making it out to be a one-sided moral quandary.

Eh, not so exactly. You're talking as if "people" were hiding their true movies, but the reality we're not talking about a monolithic entity and different people have different motives. Some people think the way the GP describes, others think differently. What is true is that many of those different lines of thinking are starting to converge on the same kinds of responses.
thank you so much for doing this work btw, archival is one of my loves :)
Hey Sam, glad to have you onboard!
Because the price of rent is based on housing supply and housing demand. Neither of those change significantly with UBI. At best people will upgrade their housing.
Ah, I generally don't consider doubts of that nature (merely the magnitude of our effect being questionable) to qualify someone as a "climate denier", at least personally. I reserve it for the ones who call it a hoax, or say that warming trends are completely natural, or one of the many other easily refutable claims.
I don’t think harming journalists was the motive, but it was the outcome, and in hindsight it seems predictable. At least it should serve as a lesson to anyone who faces a similar decision in the future.
Oh, worry not, I firmly believe that sometimes the government absolutely should take your money under threat of violence, but we should always remember that's exactly what taxes are.

Every time we propose the government spend money on something we must remember where that money comes from and seriously consider if it's justified.
Yes, that was a weak argument. How is that not analogous to:

"Password hashing and salting is useless. When a service enables password hashing and salting, an attacker can simply move to a different service that stores passwords in plain text. This means that a new attack isn’t necessary, just a new service."
> Second is, is there a way to gain the safety of the chip and pin with online purchases.

Yes, there's this 2FA thing where you're redirected to your bank's website and you have to enter the code they send to your phone. I've had this for ages and I'm surprised there are still places where it's not mainstream.

Magstripes tho? I remember using mine when I visited the US in 2016 and that's about the only time when I used it. It was weird too, because most terminals had the chip slot but cashiers insisted that you swipe. The most bizarre part is that sometimes the transaction went through with just the swipe — no PIN, nothing.
I'm also out of the loop, there were tons of social media companies before Facebook so no creation of something new and disruptive. The comment you are responding to reads to me as survivor-ship fallacy of whatever social media company managed to move away from investor money and into ad money in an effective way. Which, in my opinion, seems like a luck factor mixed with more luck regarding on how the end users react to it (or if ad-free investor backed competition came at that moment too). In another world, MySpace would've done this transition but they didn't and someone would be arguing that MySpace and Tom is an excellent executive and that only them could achieve what was achieved.