skysight-inc/HackerNews huggingface dataset:
How did satellite data rule that out? We've seen a variety of earth-like exoplanets, and we're sending up satellites to study their atmospheres. Seems to me like they haven't ruled it out, why else send up the James webb?
Basically, for us to colonize another star system I think we have to be a space native species that no longer needs to.

I think by the time we colonize anything beyond alpha centuri, there are more of humanity living on o'neil cylinders than on any planet, and the people living on planet are the ones that desire to live somewhere 'wild'
Also Buffett: "I'll tell you why I like the cigarette business. It costs a penny to make. Sell it for a dollar. It's addictive. And there's fantastic brand loyalty."
Chinese Military paper outline use of Biological weapons to win a 3rd World War
And my point is that I just can't see it. I collaborate with people, and there's benefit in those relatively short interactions, but I've never seen a situation where it made more sense to pair up like that, unless it's a training scenario.
Here's an account that doesn't show that

https://fred.stlouisfed.org/series/RCPHBS
Couldn't there be a volumetric description of lens focusing ability/sharpness/distortion similar to that of the polar sensitivity plot of a microphone?
Seems a little inconvenient for the architect to have to account for all the laws of physics and allocate millions of cubic light years of space just for our tiny rock when they could just squish those of us that escape, or at least discover the true nature of our environment, like we would ants on a kitchen work top.
Onomatopoeia
I love it too. However, it is one of the few things in my life that has plainly exposed the limits of my intellect and sobered my imagination. So while I love it, I always wish I was better and smarter but can at least take satisfaction from continuing to learn.
This is an ad disguised as a story about paypal.
It seems like this is more likely to happen by getting nixos smaller than making Alpine declarative.
Most Americans don't live in NYC, and $2.3k for bills and groceries is more than enough.
> "You know they'll never really die while the Trunk is alive [...] It lives while the code is shifted, and they live with it, always Going Home."
- Moist von Lipwig, Going Postal, Chapter 13

This is a bit like the clacks network (inspired by semaphore) in the Discworld, and how you can spam it with everlasting messages, to memorialise the dead, or just gunk up the system.
Historic is much worse. Going to ‘istory class later.
What better way to study an intelligent species behaviour that to put it in a dense rich easily traversed environment it could spread through and populate, generating lots of data.
Expand please? I read a book that also proposed this. If science has moved on I'd like rto know.
I’m not sure I believe under banked societies are actually a good use case. I’ve lived in a country without established banking - and what I wanted most for the cash I earned locally was a bank, not a crypto wallet.

Crypto might be safe from the government, buts it is significantly less safe from extortion. Anyone with a will and a ballpeen hammer can steal a crypto wallet with same ease it takes to mug someone out of $20.
The Midwest US can assure you that they've definitely already tried this. We're literally mowing down every cornfield for housing here (I'm typing this from a neighborhood with thousands of units, 90% of all buildings here were built after 2012). It never works, prices are still at an all-time high, even for units on the market 6+ months or longer.

"Just building more" alone isn't ever going to lower prices enough to make housing affordable for most, no matter how many more units you build.

You have to decommoditize housing, or stop force-preventing natural depreciation, or at least put ownership caps on it, or some other thing in addition to the construction.
> I've looked into why there's a total vacuum of numerical simulation, and the reason is simply snobbery. There's a philosophy that numerical methods are what mere engineers do, and not as intellectually pure as symbolic solutions.

This is basically false as far as I can see. Numerical methods are basically the only way to solve either general relativity or quantum equations, but even then it's extremely difficult to get accurate calculations with a practical amount of compute power. There's intense competition over who can get the best results here (in fact the leading group in lattice QCD keeps their code a secret, which is not great science).

I think the core reason you don't see much visualisations is the visualisations are not very useful. The little visualisations I've seen of extremely simplified versions quickly dissolve into complete mush as everything overlaps. It would not suprise me if the more complex interactions (like two real particles in 3d) were basically unintelligable and extremely difficult to make intelligable without becoming 'cartoons'.
Sure, there's no "force" to increase the price. But finance and marketing wonks read books like "Pricing and Revenue Optimization", and seeing a big upswell in demand are tempted to do the math again and see what the new maximum profit point is if they have pricing power.
I think there was news that EU wants to invest €150B into fabs
I've pair programmed using a shared server for a couple years. Both of us ssh'ed into a server and used a shared tmux session and primarily used vim to edit code. Having a chat program on the side to share links or other info we wanted to keep allowed us to browse things like documentation at our own pace. An audio/video session if working remotely.

If terminal based pair programming doesn't work, Visual Studio Code has an interesting "Live Share" feature which works similarly. You keep some of your extensions (and don't even need all of the same extensions installed to make things work depending on who shares).
I wasn't entirely happy with Simple; their base service was solid, but I was hoping for some level of spending analysis that I was never able to get, and their offering stayed static for a very long time.

PNC's Virtual Wallet was on my radar years ago as an alternative to Simple, but I never gave it a try. When the PNC purchase was announced, I thought for a bit about just letting it roll over and trying Virtual Wallet. But then I looked into the fees section and found their overdraft fees are both fairly high per instance, and capped fairly high per day. IIRC, you could run up $140 of fees a day. Not a huge concern of mine specifically, but I don't want to support a bank that's sucking off the overdraft fees teat.

I ended up setting up a spreadsheet of my fixed expenses per paycheck, and then just set up One scheduled transfers of the amount that spreadsheet tells me to. That works at least as well for me as the Simple Expenses (which had a lot of annoying warts).
A book that could reinforce this idea is "Those Gentle Voices" by Gorge Alec Effinger.
>But I think that bitcoin advocates would argue that the bitcoin has the same "non-infringing uses that benefit people"

I think it would be difficult to argue that it's useful primarily for buying your groceries.

I don't think Bitcoin advocates like following this train of thought any further than "USD is also used for crime".
You can generalise this to much document-style information (in the Paul Otlet sense).

Nothing has the lack of persistence that news does. (Though a surprising amount of "news", for reasons closely related to this rapid-staling and unpredictable nature of it, is actually repackaged evergreen or procedural content.)

At the same time, there's little that's as timeless as highly-insightful observations or commentary. These can live on for years, decades, centuries, or millennia.

(I suspect that copyright attacks both ends of this equation, by creating moats around current material to keep it in flow, and by denying markets to older material, which would otherwise compete with the new. This has limits imposed by works which were in fact subject to copyright in the first place, which is most works published since January 1, 1926, in the US.)

I'm finding classic works, philosophy, and much academic publishing to be far more interesting than news, of late.
Random anecdote: we recently had to launch a fairly large site that targeted 800x600 because that was the resolution of the monitor the old guy who owned the company used and he refused to believe anyone was using anything different. It was really frustrating to work with them, to say the least.
Ah yes, I see it now, right at the end of the page (and it's even in the tags). I think I got too excited and immediately started tabbing to their hardware repos for the two FPGA designs and that LiteX tooling before reading the last two sentences.
> This is an issue you'll have with any distribution though

This is (almost self-evidently) true in theory, but not really in practice. It's about finding the sweet spot between LTS and maintainability. As the commenter said:

> only a few months later, not years

The lifecycle is usually longer with other distros.
I think the arbitrage on futures contracts is something closer to 7% semiannually ATM (so closer to 15% than 10% annually). If that kind of thing is your cup of tea.
Yes, but I also feel like you have to empathize with said histrionics when there's a pretty short causal chain from (a) things anti-vaxxers and other conspiracists can use for propaganda to (b) people actually dying.
I work 4 hours a day, 4 days a week, and I worked as a senior software engineer for Apple doing exactly this, successfully so. Most companies I've worked for (and I select them based on this) don't hold people to 8-hour work days and 5 day work weeks. Those kind of hours are ridiculous and everybody knows it; nobody (in my field) can be productive 8 hours a day.

Ever since I switched from 8h/day 5d/week to 4h/day 4d/week I'm far more productive than I've ever been. Hard focus for 4 hours is way more efficient than fucking around for 8 hours a day. In software engineering that's also where the worst bugs appear, out of annoyed/tired/overworked brains.

Now I work freelance and I let my clients know that I'll work my own hours, but I get shit done. So far, so good.
Flow – Clear your mind through expressive writing
Turn off motion smoothing on your TV. It's also called the "Soap Opera Effect".
I don't believe your number. Citation required. And I'm serious about that. I'm sure it's possible to get that number somehow, but the devil is in the details.

Do you factor in:

- Famines?

- Wars?

- Being killed by bandits?

- Are you talking about the city of Rome? Italy? Gaul?

- Just rich people, or do you include folks like slaves?

- Etc.

If you're going to accuse me of giving bad information, you'll need to provide better information. And from there, you need to count on dubious records. I took my number from Crash Course history (the unit on the middle ages), but it meets what I'd previously read across multiple credible sources.
I can't imagine pairing full time, but I did it for brief stints as a customer of Menlo Innovations. All customer code must be written by pairs, but one option to reduce costs is to have the customer supply half of the pair team, so I did this for a few half days one one project.

This is obviously scary at first because someone is going to watch me code! It turns out that it is perfectly normal to use google/stackoverflow to write programs, and I actually found the experience reassuring once I got past the shock of having someone look over my shoulder.

My team does not do pair programming, but I understand why Menlo does it, it it works great for them. Some benefits I saw were:

1) It is great for junior developers. It's like turning mentoring up to 11. This means that it is much easier to hire people because you can fill seats and actually train people.

2) They have a special kind of family friendly culture where people have their infants in the office. One half of a pair can be holding their 3 month old and still contribute as half of the pair. I think they get slightly less keyboard time, but it still works.

3) Developers changed projects a lot. Splitting the day between two projects seemed normal, and 3-4 different projects in a week was standard. The pairs provide some continuity during these transitions.

Major down sides include the fact that you can't visit HN during work time. That means that the opinions here are likely to be skewed.

There are places and situations where pair programming isn't a good fit, but after seeing it in practice, I think there are also places where it is a good fit.
There are obviously exceptions where you absolutely have to use proprietary software. But if you can possibly help it, you probably shouldn't be doing that.
how does this apply to symbolic execution of programs? do you think it's possible to exploit a proof verifier through a maliciously-crafted set of lemmas?
Hey all, I created Gistsecrets.io and use it pretty regularly to alert people when they've checked in plaintext passwords on Gists.

All the app does is scrape the public Gists feed every few seconds and looks for the word "secret" or "password". It has a lot of false positives but I've found a few legit usernames/passwords checked in. It's a fun thing to browse at work when I have downtime.

If you don't know what a Gist is, you can read more about them here [1], they're essentially mini-git repos to quickly share code.

I'd love any feedback.

[1]: https://docs.github.com/en/github/writing-on-github/creating...
Looks like it shouldn't when the fluent chain wouldn't fit on one line.

https://github.com/google/google-java-format/issues/341
I had this experience watching the Hobbit in high frame rate - it felt like I was watching a play, a bunch of actors on a stage.
Yes, you can find it at chrome://settings/searchEngines
That's what I wrote - unhireable for coding positions. Of course management positions don't make you unhireable for management positions. Sure, you can code in your spare time, but how much of that spare time do you have if you take your management position seriously?
You can already do that with VPNs. Businesses already heavily leverage them, and consumers are generally not interested in the hassle. You'd also have to be careful with the implementation. If one computer can be connected to both networks (and it sounds like they'd almost have to be), hackers will bounce their connections of someone else's computer. C&C traffic comes in via the insecure connection and out via the secure connection.

It would probably hamper script kiddies, but it's not going to do much in the face of a targeted attack. And even a semi-motivated script kiddie could probably buy a service from a botnet to route their traffic onto the secure network.
It seems mostly OCP-based, but it's possible that the choice for POWER cores is indeed an IBM thing. On the other hand: it doesn't matter as much since the design assumes swappable management cards.
Yes, I didn’t mean to make that implication (although I see now I could have phrased it better). My main point was that this injustice seems especially egregious given the sacrifices made by med students/residents/etc. during their medical education.
Dutch takeaway startup raises US$10M with its token
Bistroo, a new takeaway startup from The Netherlands, has just raised $10,000,000. The company is upsetting existing food delivery platforms (they’ve already gained over 20,000 users) by giving the power back to restaurants.

Bistroo sells itself as the solution to the predatory food delivery marketplace.

While the era of food delivery platforms has delivered incredible convenience to consumers, it’s made life hard for restaurants:
They’re paying commissions above 30%
Restaurants get limited control over interacting with their customers - often paying large fees for the opportunity
Using their own currency (BIST), Bistroo is facilitating, rather than dictating a powerful food delivery marketplace.

The platform gives restaurants control over their own webshops and provides consumers with the opportunity to leverage their usage data - they can choose to share their consumption habits in exchange for rewards, or keep it private.

The platform’s efficiency allows for lower commission fees, top 5%. With this business plan, they're already steadily taking over market dominance in The Netherlands (the birthplace of industry giant TakeAway inc.). Let’s see if this really is a shift for the industry when they carry out their planned international expansion.

Quoting CEO Bas Roos: ‘We saw that restaurants have a hard time making a decent buck with the existing platforms, often they pay 30% commission. For many restaurant owners, this is not sustainable. With our community powered growth model and self-service platform we are certain that we can provide restaurants with a fair and solid solution.'
As far as i remember there's functions that take explicit typeclass dictionaries (that you can compose via contramap). So I guess they sort of do typeclasses, but without implicits, which is pretty painful IME. Example: https://gcanti.github.io/fp-ts/modules/Functor.ts.html#map
App sends CPR volunteers to heart attack sufferers & has made a big difference
Of course they need the employees permission if it is personal data (see also https://www.dickinson-wright.com/news-alerts/the-gdpr-covers...). At least under German law if the times when I work are logged and processed I have to agree to this as employee. This is usually part of the employment contract. Also companies have to rightfully store legally relevant data usually 10 years so there are of course exceptions. For the storage clause there is even the right for data access blocking (when deletion is not possible because of a retention period).
Not only that, but they seem to be taking extra precautions to prevent detection.
I don’t think any daily mainstream publication right now has any bankable reputation. They have all had major omissions and errors or outright falsehoods in the last few years. So, singling out the NY Post, is only going half way. They all are guilty of pushing agendas with questionable supporting arguments.
The outside of the disk spins faster than the inside of the disk asshole.
Truly nothing is secure.
Apologies for the dupe; this was the most recent version, I thought I hit edit to correct the capitalisation of HT, but I obviously didn't.
How are these lens systems designed? Do they use "black box" optimization methods like gradient descent, simulated annealing or even genetic algorithms to find the optimal configuration of lenses?
I hate the fact that they collect so much data. It's just the next company saying "nah, we're not evil! Don't worry that the browser we make sends home five hundred columns of data about your box and your usage patterns! We really really do promise not to peel out your identity from the data mud and monetize it! pinky promise! Just like google, we're not evil!!"

To those who claim you can opt-out of the "experience":

You can spend quite some time configuring firefox not to check for updates, get rid of all mentions of mozilla's servers in the config, try to have it not phone home, opt-out of any data sharing .. then you start it, and it does nonetheless: "Hey, update me please!" And what data do they share when checking for updates? Too much - I instructed the software to shut the fuck up and not ask for a fresh version, and surely don't communicate that I'm just using version X on my OS under my IP for fuck's sake! And that's just the obvious part of data that'll have to be transmitted in order for an update check to work! See pinky promise, above.

And then, after an update, if you don't start it with -ProfileManager to force your old profile (under linux), it will start with a fresh profile and ... phone home. With fresh settings. Which, by default, share your data. Oh and you can't control what it does while it sits there in the profile manager window. I presume it phones home. How can we be so blind and think this is a good alternative?

I know for me, it's exhaustion, and the inability to quickly scan the obfuscation mess that mozilla calls firefox's source code. What is it for you?
Rivian’s electric truck features include air compressor and AC outlets
I've had great pair programming sessions in the past.

But it was always occasional, and short. Sometimes longer or more often if it's someone I really like to work with, but there have been only a handful in about 20 years of career.

I think that the biggest mistake about pair programming is about forcing it, especially when do it all day. I could never do that!
Most people don't know that pit trading is still around! I work in SPX options trading and the CBOE in Chicago still has a huge in person trading pit.
Sweat. Beads of sweat on everyone. They were invisible at 720p and in cinematic projection, but 1080p and especially 4K remasters at close range at home reveal more about human skin than I cared to know.
The microcontroller is supposed to provide read/write protection for the firmware, but is vulnerable to a voltage glitching attack.
As much as I like Alpine Linux, I think Void Linux is similar in its simplicity, but having Glibc/coreutils flavor is making things easy. In principle I would prefer to run Alpine, but Void is more practical for my use-cases.
> The same way we ban heroine. Or murder

Our attempt to ban heroin (war on drugs) has been a massive failure[1] only replaced/made worse by prescription opioids[2]. Not a good example.

Murder is not something that really needs "banning" to stop the vast majority of people from committing it. The amount of people willing to use crypto is not comparable to the amount of people willing to murder (illegal or not). Not a good example.

If you want a semi-comparable example, take the attempt to make torrenting/pirating illegal. Look how that turned out.

> We just make trading cryptocurrencies illegal and prosecute people who are found doing it

Good luck with that. No other country has made much of an impact and it would require an enormous amount of resources to persecute ordinary people.

> no sane company would touch it with a ten-foot pole

> if the victims don't have a legal way of exchanging legal tender for bitcoin

There will always be another country willing to host exchanges. VPN's exist. You will never get all governments to ban crypto. Again, you are just listing ideas that have been tried and failed.

> but also illegal usage.

You think making crypto illegal... would stop people already using it for illegal reasons? They would be ok with one illegal act, but not another less valid one?

1. https://www.samhsa.gov/data//sites/default/files/report_1943...

2. https://www.drugabuse.gov/publications/research-reports/pres...
i have never used paypal because in india it only started official business few years ago but the fees are just too much. you probably cannot receive small amounts and not having to pay more "fees".
OTOH, people like razorpay https://razorpay.com/pricing/
are much open about their fees schedule and its not like this https://www.paypal.com/in/webapps/mpp/merchant-fees
what does dispute fees mean? why are they charging 6% + fixed fees for micro payments and then charge another amount for disputes? fuck paypal
Fintech Startup Offers $500 for Payroll Passwords
with lots of tradeoffs, sure.
Yes. What it accomplishes is to abuse the trust you have built with your students through genuine interaction to spread their corporate (ok university. Same shit) propaganda by making it seem like it comes from you. Most people can smell that from a mile away so you should absolutely not do it if you care about the respect of your students.