skysight-inc/HackerNews huggingface dataset:
Fuji X-Pro line is direct Leica competitor. I never owned Leica, but I love my X-Pro cameras. Rangefinders are so interesting to use and X-Pros give you variability - you can use optical rangefinder, mix of optical/digital rangefinder with focus peaking, fully digital view finder or back screen, if desired. This gives you a lot of flexibility as different things works best for different lenses. Physically, camera is very nicely built and joy to handle, because all important settings can be set mechanically.
Is it just me or are all these apps just recreating video games without the "game" part. "Walk around your office" "Interact with your friends". Interesting.
>was a note saying something like “Excellent robe isn’t it? Feel free to take it with you, we’ll add it to your bill no questions asked.”

Now, imagine guests being offended and not coming back to the hotel and leaving negative reviews out of spite, even if they didn't have any intention of stealing the robe.

That would make the hotel staff less snarky and rude, and more mindful about what they write on notes to guests...

Because this is the rude equivalent of the store clerk following around the aisles assuming you're a thief. A high end hotel for the rich would never dream of writing something like this -- at least not in the good days before the race to the bottom.
Expensify.cash
Good theory, thank you.
It is, but on the other side, the hatred for small displays (like my Macbook 12) is apparent. Every toolbar is just thick and huge, because on 20+" retina no one cares anymore.
Remember, Tesla does more than sell cars. Their grid-connected batteries are extremely profitable.

A quick skim of the article makes no mention of Tesla's other businesses.
> Have multiple romantic partners in parallel.

Do those "multiple romantic partners" know about each other? If the answer is "no" then yours is a very jerky suggestion (I know "jerky" is a harsh word for this forum, but I can't come up with anything else to describe this).
Stan is exceptional if what you need is a hierarchical Bayesian model, and if what you want is rigorous way of quantifying the uncertainty associated in the parameter selections in your model.

Stan users are more often R users than Python user and mostly come from science backgrounds. They often use Stan via a package called BRMS which stands for "Bayesian Regression Models using Stan" which should give you some idea of its core use case.

You wouldn't use Stan if you weren't trying to model your problem as a distribution based probabilistic model.
I'm curious about the emphasis on fixpoints and lattices. These are two quite simple concepts often overlooked in CS and emphasized even less in programming languages. Lattices are natural to CS in that any time you have an order or even any binary relation, that imposes some structure on your values, and knowing the/solving for unique fixpoints (considering also continuity conditions) can be powerful, for instance the most general type of an expression, the "final" result of a recursive definition, infinite streams, final states of an imperative program and so on.

Seems to me that Flix would further blur the line between logic and functional programming (using what looks like some Prolog-esque search and datalog integration), amazing!
It,s kind of like launching a successful startup. It used to be a struggle for me as well, but having more open time has given me more opportunities to work on it.

It,s still a shitton of effort, not a walk in the park, but it,s also fun and rewarding.
I found this press releases [1] on the Maps.me wikipedia page with some details about the sale.

[1]: https://corp.mail.ru/en/press/releases/10761/
Email isn't secure is why we can't cancel an account?

What makes you think security has anything to do with this?
If our war machines crash because of spectrum allocation, there may be a problem with the military’s threat modeling.
Stan: Predict the values of parameters in a model

Deep Learning: Predict an outcome variable

For example, if I want to know what effect household income has on a student's chance of getting into college, Stan would allow you to estimate that given a proposed model.

If instead I wanted to predict a given student's chance of getting into college, I might use Machine Learning.

Of course, those two problems are linked, but it's a fundamental difference of focus.
Your idea of "long polling" sounds more like periodic polling (repeated requests within a frequency), though that's not what long polling is or how it works.
Elon Musk Says He Once Approached Apple CEO About Buying Tesla

https://www.wsj.com/articles/elon-musk-says-he-once-approach...

https://archive.vn/txoFX
You can look at individual IPOs. The most high profile one recently was Airbnb. According to the NYT [0], they sold $3.5 billion worth of shares, at a valuation of $47b, so only 6%. For another example, Mark Zuckerberg still owns 30% of Facebook, 8 years on from the IPO.

You're correct that the whole company "goes public" at the same time. But that just means it becomes legal to sell shares to small investors, and the company becomes subject to the reporting requirements, etc. The previous owners still typically own most of the shares, and (almost always) are forbidden to sell them for around 6 months after the IPO.

[0] https://www.nytimes.com/2020/12/09/business/airbnb-ipo-price...
A rural pastry heist?
The IC engine, with cheap gas and long ranger versus heavy and short range lead acid batteries/
When you put it like that, it doesn't make sense for the company at all. All they have to do is treat their employees well and fair. Like I said, if my company gives me the opportunity for a promotion and a fair salary increase, then I wouldn't need to jump ship.

I also prefer to stick to one company for a couple of years and make my way up there. But if after a year all you can offer is 1% salary increase, and often no promotion, then as an employee, I don't feel valued at all. (Obviously, this all depends on my performance as well)
See: mobx
I asked essentially the same question as you 5 minutes before you did. Have an upvote anyway.

[Edit] I don't understand these downvotes.
I think this should work fine (modulo typical git ui infelicities; but you can certainly make an alias that does it).

How about something along the lines of:

git stash --keep-index
git stash
git checkout right-branch
git stash pop --index
git stash pop

? Untested, so I might have messed up a detail.

Another alternative is creating a tmp branch (again untested) and cherry-picking (with --no-commit) across.

git checkout -b tmp
git commit -m 'staged'
git commit -am 'unstaged'
git checkout right-branch
git cherry-pick -n tmp
git reset HEAD
git cherry-pick -n tmp^
git branch -D tmp
It's nearly impossible for a foundation like Gates to survive a loss of visionary leadership.

If it were handed to me with no checks-and-balances, and I were given absolute control, I'm pretty sure I could run Gates Foundation as well as Gates. That's not a statement about me; I know a few people who could run it BETTER than myself or Gates. The problem is finding them and the no checks-and-balances bit.

Beyond a founder/donor, no checks-and-balances is a really bad way to run an organization because although MANY people would do a great job, MOST people wouldn't. A good dictatorship beats a good democracy, but a typical democracy beats a typical dictatorship.

The sorts of arbitrary decisions "Let's dump a billion dollars into making a vaccine for COVID19 economical" become impossible once the founder of a foundation goes away, unless you are willing to accept that whomever comes into control might just as well say "Let's dump a billion dollars into buying paintings of myself at 10x markup." You move into competitive processes.

Competitive processes mean people apply for grants under standard criteria.

If grants have a strongly positive ROI, you have more people applying to the program, and if a negative ROI, fewer people. This means grant-funded organizations will spend a significant portion of their time applying for grants; grants become thin-margin beasts.

And the people who do run late foundations? They're connected people good at climbing corporate ladders.
> [to use blah mic] you’ll need an external sound card with phantom power supply. A decent one can easily cost you $200

I got a decent one for $40. The more expensive ones generally have more in/outputs and such, they're not better in sound quality.
(3) is exactly how SQLite is developed
Yes they are. They are the drug pushers of the modern era and the harder the drug the harder it pushes you

Sure, it works fine for "normal" content. That's fine. But for "divisive" stuff it's like having someone trying to push you off road at every moment
Just got an email from them about this new chat app they're launching. Curious to hear what HN thinks of it.

Part 1----

When people hear "Expensify", they typically think "expense reports". But with the introduction of the Expensify Card, Concierge Travel, invoice sending, and bill payment features -- all in 2020 -- it's increasingly clear that we're becoming a whole lot more. Indeed, this is why according to Google, more people search for "Expensify" by name than "expense reports" as a whole: what we're building goes beyond any single function. Rather, Expensify can replace several expensive, disconnected services with one fully connected preaccounting platform for a tiny fraction of the cost.

And now I'm happy to offer a sneak peak of our latest addition: open-source financial group chat. Like Slack, SMS, or WhatsApp, but optimized for financial conversations, designed to be used both at work and between friends, and maintained by a community of open source developers.

If you're in a hurry, go to https://Expensify.cash to join the waitlist. And if you are a developer, share your GitHub handle to skip to the front of the line, and check out our Upwork jobs to earn some extra cash over the holiday break. But if you've got time, pour a stiff cup of eggnog and read on...

Now, when we launched the Expensify Card, people "got it". It's very tightly connected to expense management, so it makes sense. Same goes for Concierge Travel booking -- it feels pretty close to expense management. Invoicing and bill pay were a bit more surprising to people, as those have historically been different industries. But expense management sits in a company's accounts payable/receivable department, and all these do too, so it generally makes sense.

Chat -- even financially-optimized group chat -- is less obvious. And launching open-source (where anybody can see and contribute to the code) is even less obvious still. To help make sense of that, let me explain two radical beliefs that underpin everything we do.
Watching René talk about this stuff on his Youtube channel is delightful. I highly recommend it.
"...anyone invested in an S&P index fund is essentially being forced along for the ride".

Yes, that is exactly how an ETF is supposed to work. If you don't like it, don't buy ETFs. There's hardly a shortage of investment options out there.
Part 2----

First, Expensify's long-term product vision derives from a core belief:

Payments and chat are the same thing.

Every payment is a structured chat to resolve some kind of debt tension that exists between two people. The way we see it, there is a spectrum of functionality between "freeform chat" and "expense management" -- and every form of payment is somewhere on that spectrum:

* Expense management is the most sophisticated form of payment possible: it's a complex transaction with coding, accounting, and legal ramifications, that requires documentation and auditing, that reconciles to various accounts, and goes through a complex approval workflow before reimbursement. It's truly the most complex workflow a company will ever experience, and exists as a kind of structured chat: to submit an expense is to formally state "I have made purchases A, B, and C in line with expense policy X, as demonstrated by documentation Y, and hereby formally request reimbursement from Z." Expense management is really just a kind of templated chat system, optimized for this highly constrained but extremely complex kind of conversation.

* Invoices are pretty much the same kind of complex conversation as expense management, but with a simpler approval structure (because your customer is expected to pay all or nothing) and more knowledgeable participants (removing employees who don't care about the accounting).

* Corporate travel booking (a subset of procurement as a whole) is also like expense management, but simpler still: a structured chat between the employee and the travel manager to make purchases in line with a travel policy.

* Freeform chat is really just the same common structure, but with all the constraints and workflow removed.
Accordingly, everything we've done to date is largely just research: we had to become a major player in all these separate industries in order to ensure we understood them at an incredibly deep level, as well as to lay down a technical and legal platform that enables us to operate freely in all of them.

But none of that was ever the goal; that was just a tool to learn -- and Expensify.cash is a from-scratch reimplementation of everything we've learned to date, atop the most thoroughly modern technology available, wiping away all technical debt in one fell swoop.

Interested in helping us build the future? That's great! Here's how:

1. Go to https://Expensify.cash and sign in with your normal Expensify account

2. When prompted, provide your GitHub user handle

3. You will be immediately granted access to the web/desktop
version of the app, and we will reach out to invite you to the TestFlight for iOS, or Google Play beta for Android

4. You will also be invited to a Slack channel to talk with our team in realtime (yes, I'm aware of the irony; help us move this to an Expensify.cash channel soon!)

5. Read CONTRIBUTORS.md to learn how to get started

6. Pick an open job in Upwork, and go!

7. So we believe payments and chat are the same thing, and we have been steadily building our product platform with that in mind, all along. However, there's a second belief that is also important to understand:
No mention of any kind of encryption?
> I would love to have undo!

not sure if they added this literally in the last 18 hours, but the usual CMD+Z undo shortcut seems to work for me.
I can barely work and write code without a pen & notebook. It's like a natural extension of a thought process: I draw quick diagrams and take notes to see how ideas are connected, and only then I can start implementing these ideas in code.

I tried taking similar notes in a text file/org-mode, but it didn't work for me because it's not free-flowing and not expressive enough. Probably, an iPad or a tablet with a stylus pen would work just as well, but paper is still easier and cheaper. :)
> What the ACLU should be demanding is "show us the warrants".

Before the ACLU can ask that, they need to see that the FBI are breaking encryption. This is shown in some court documents (where there are warrants).

So the ACLU asked the FBI, hey, are you breaking into phones, as these court documents say? (probably so they can ask the follow up, "show us the warrants").

The FBI then responded. I'm not saying a damn thing! not gonna even confirm whether we've broken into anything. NOPE.

At which point, how can the ACLU ask to see warrants. The fbi need to say that they are breaking into phones (as court documents state) which they won't even do, so the ACLU are suing to say "hey that's not fair, you definitely are doing that, don't deny it."
Who cares if they have less bad content than Facebook or Twitter. They did the right thing. The impact of that illegal content is huge. That's like saying more people get murdered in big cities so we shouldn't have police in smaller ones. Porn is fine. Sex trafficking and extortion is not.
Bayesian modellers are typically scientists and Stan probably has more indirect than direct users. For example, rstanarm and BRMS are both R regression packages which use Stan which are wildly popular in Bayesian circles. They enable hierarchical Bayesian modelling which can be used to perform a very flexible kind of regression which allows the integration of lots of prior information, and better quantification of uncertainties than previous alternatives.
Unfortunately, Android has a maximum password length of 16 characters.
Most Powerful Pattern Libraries for Your App
Perfectly said!

Again and again i have seen well-functioning teams ruined because a "Manager" was appointed to "Manage" Technical people. Middle-management in particular is the worst, because their very existence depends on it.

Give Technical folks a caring, nurturing environment, set clear boundaries, protect them from management BS/politics and let them be. Thats it.
Interesting decision they made, I wonder whether they would decide differently now after seeing all the complexity.

So Rust does not decrease the complexity, but only removes certain kinds of errors which the compiler can detect.
Neither logic errors nor speed regressions.

Thank you for your input.
>generally cost around $100 per head for the full experience (...) The whole place will usually be done up like you are dining in a side hall of the Vatican

That's not "steak houses in the US", that's a specific type of steak house for the upper middle class. I've had excellent steaks in places like the Cattlemen's Steakhouse, OK, and they were nothing like $100 per head.

So, it's not like this was the parent's only option for steak outside the house. They could have a $30-$50 fine steak experience in tons of places.
Sorry for meta, but what's the hn markdown for strikethrough?
In the old days, you got an exposé style feature by compiz and friends. I don't know the current situation, but for instance KDE/KWin also features an exposé style (can be triggered by keyboard shortcut or magic edges/corners for the mouse cursor).
At least one (very bottom of [1]) of the 5+ variants makes you list which fields the code gets access to (in a tiny 6 line Nim macro). That is an alternate, perhaps more keystroke-heavy solution to the problem bothering @simias.

[1] https://github.com/c-blake/cligen/blob/master/cligen/macUt.n...
So—expense reports is the same as chat, if you ignore everything that makes an expense report an expense report.
Android cryptography analysis results to $$$, Bug bounty writeup
They're extremely profitable, but they still contribute to Tesla profits and Tesla revenue that are factored into the P/E, and are still tiny in comparison to the current valuation.
Yes, but like any encoding, it has its problems. One potential issue is that you will need to formulate your transformations as strict catamorphisms (folds), e.g. you cannot match two levels deep. This has reasoning advantages, but makes it harder for the average user. Type classes can also have issues with ambiguities, if many type variables are involved. Lastly, you also cannot match all remaining terms, like these examples:

getDates
:: Exp
-> Set Date
getDates = cata alg where
alg :: ExpF (Set Date) -> Set Date
alg (EDate i) = S.singleton i
alg e = fold e

substitute
:: Map VarId (ExpF Exp)
-> Exp
-> Exp
substitute env = cata alg where
alg :: ExpF Exp -> Exp
alg (EVar i)
| Just e <-M.lookup i env = Fix e
alg e = Fix e
Has anyone tried runnig those benchmarks with AOT Java? Microbenchmarks like these tell absolutely nothing about general performance because they are short-lived. JVM is a beautiful piece of engineering and I believe you guys chose well this platform to host it, always hoped for a ML-inspired language running on the JVM and this looks like it.
> You also can't use Stan for online learning.

Can’t you loop posteriors as next iterations priors to get a system that learns online?
Bayesian methods are great if you want to squeeze all the information you get from each of your data points, and also injecting specific prior information to help prevent over fitting.

These methods are ideal for small datasets with correlation structures that aren’t necessarily independent.

Also great if you want uncertainty with your estimates.
My youtube sucks, I'm always looking for stuff to kill my time and youtube recommend the same crap videos 500 times in a row. It take a long time to find something I want to watch.
I’ve been wondering how Telegram would survive after their token fell apart. I’ll admit, I didn’t expect ad-based revenue to be the solution. It makes sense in theory, but at the same time it might be a hard sell for existing users. Most people I know that use Telegram use it because it’s not WhatsApp. They appreciate privacy. While Telegram promises to protect privacy while serving ads, that’s become harder and harder for companies to stick to.

Then again, network effects. Telegram could probably do anything they want and still retain a sizeable chunk of their user base because of their current network effect.
I also like to DIY so what you are saying makes sense to me. However I also realize that there are things I don't know how to make and I have no interest in (for me it's taxes, administrivia and co). Those things I am gladly paying somebody to do that for me as I am effectively buying free time. And someone who is not into DIY is also buying free time if they hire someone for trimming their trees.
The Other Extinguishers
We already know that ,,self regulation'' doesn't work. It made sense to me that when I was working at Google I didn't talk bad about the company that I was getting my paycheck from.

Alphabet is still a great company, but that doesn't mean that it doesn't need checks and balances from outside.
Yes indeed, we do not have this concept of credit score. And a company has the access to your account you allow them to have (via Direct Debit). An access you can shut down anytime, that bank must do it (this is usually via the web site) and then it becomes a problem between you and the company.

Same goes for a credit card, you can ask you ban for a reverse charge and disallow any further charges from that company.

This credit report thing is a real pain in the US/Canada, from what I see in various posts and comments.
IIRC the Foundation is supposed to close up shop 20 years after both of them die. I guess Bill is aware of the potential for abuse. They do not accept donations anyway. Between Gates and Buffet, they have all the resources they need.
Design must be subservient to usability. It was painful for me to scroll, so much so that I gave up. It may have been acceptable on a wide desktop, but his article was so janky on my 2020 iPad that I had to stop reading.
If the outcomes of research don’t align to Google’s business strategy, they’re going to get rid of the research/researchers.

Previously, ethics was good PR; now, it’s a risk in antitrust cases. This will continue to ramp up.
I thought the Rust compiler solves issues that you wouldn't immediately see with pure C, which is why I had the idea.

I didn't know this requires certain features which are not available inside the kernel. I only knew all existing interfaces may be unsafe because they are in C though. Rust does not seem as useful then.

Thank you for your input.
I always thought that was just OSM data being incomplete. I guess I'll need to try Maps again.
Self-hosting Kubernetes on your Raspberry Pi
Erismann and Kohler: Inversion goggles (2011) [video]
Best Linux distro 2021 (tldr: Manjaro w/ i3)
China Lost Patience with Jack Ma, Its Loudest Billionaire
Something is up with the Indian subcontinent and their absolute inability to just compromise and do the right thing as a people. Things as simple as traffic laws.

Where does this come from? It can’t simply be because they are poor or uneducated since you’re probably talking about the same demographic classes as you would see in China.

Case in point:
https://preview.redd.it/okb67xgbae561.jpg?auto=webp&s=175968...

Would it kill them to listen? Every major social issue seems to have an anti-authority element to it.
Not true. FBA is not a profit center according to an Amazon employee I spoke with.
Or buy the index and short that amount of Tesla