skysight-inc/HackerNews huggingface dataset:
That is in the future works section in the pdf.

8. Do self-replicating or pattern-emitting lifeforms exist in Lenia?
So finally construction caught up with software.
Voro Motors EMove electric scooter is a 25 MPH and 50 mi range beast
I'd expect workers for a US space launch company to know that their work will likely be used to launch US national security payloads, and to be OK with it.

Unlike workers working for a company that explicitly had "don't be evil" as a motto, withdrew from the Chinese market after state-sponsored attacks targeted dissident's accounts, and that had very little previously known/discussed military involvement, nor activity in a typically highly military-related field.
Except BofA is the only bank to do this. No other US bank has asked.
What’s It Like to Drive 900 Miles in a Hyundai Nexo Hydrogen Car?
No worries! https://www.investopedia.com/terms/l/liquidasset.asp
tumeric might be more powerful.
I'd second the R recommendation. It's a particularly exciting time to use R, with the proliferation of package collections like tidyverse (https://www.tidyverse.org/) and the development and release of free texts like R for Data Science (https://r4ds.had.co.nz/).
Forgot to mention `pingus` is a lemmings-alike. Good for logic, also comes with a map editor which my kids like.
I agree, and it’s why I closed my account with them (even though I only have American citizenship, I didn’t like how invasive they are, especially since no other bank asks).
It still economically viable for large governments to make their own for just civilian use, under the same logic that has government funding roads, parks and other public goods.

The GPS system cost ~$12 billion to make, and needs ~$750 million a year in maintenance (mainly launching new stats as they have a service life of 15 years). This means it costs each US taxpayer $5/year to run. Quite a few road/subway projects cost more than the GPS system.
Perhaps they used one of their earlier rockets that are only designed to be reused a couple of times.
Hulu is also cheap but you probably don't pay for it. And you are indeed the perfect customer as opposed to the typical one. For many people, 10$/month is substantial enough that they would cancel the subscription or go to a competitor if they felt like they weren't using it enough.
And walls have two sides...
Colder weather and fewer sunlight hours increase alcohol consumption
When someone asks me a question in real life I don’t focus on “Why”. I focus on “How” (can I help them).

Most arguments down the thread seem just as moot to me, but then again, I’m probably not smart enough for a Twitter IQ thread.
Process to make bioplastic polymers that don't require land or fresh water
Of course, if you submit a piece supporting any other take on these matters, it may not make it on HN.
I wouldn't be surprised if the satellites had additional, classified capabilities.
They've successfully launched successful national security missions before that successfully separated (e.g. NROL 76). The headline is just wrong.

I think it is the first satellite in this particular set of related launches.
Your concern is, um, addressed in the article.
Ask HN: Help Kevin McCallister in 2018 with today‘s tech
Hello HN,

One of the things that got me thinking as a kid watching Home Alone II was how Kevin was able to accurately rewind the tape on his voice recorder to the exact point he needed. He nailed every time. Of course, that was a limitation tech had those days.

Today I remembered that ahd thought: now he`d just record and play it on his iPhone. No big deal.

That got me thinking... what would a 2018 version of Kevin McCallister do with all the tech our homes have today?

So please, help us think of creative solutions that current tech would help him overcome those bandits?

Please, exclude the obvious ones such as posting online LEFT ALONE BY MY PARENTS, SOMEBODY`s ON MY DOOR, PLEASE HELP! :)

Kevin McCallister needs your help this Xmas, HN... Please help!
This does not seem to account for retirement. I bet that most of the people moving to Phoenix, for example, are retirees. Why would you want to retire in the snow in NY? Plus, the taxes in NY are much more than in Phoenix or Florida.
I don't think Netflix makes money from views, but they do make buying decisions based on viewing numbers.
PTerm, a command terminal ( https://github.com/lxsang/PTerm ).

basically my goal is to replace every tool i use with an alternative written in a language i enjoy playing with.

eg. i use supmua written in ruby for email (though the killer feature of submua is not ruby but how it handles email by tags and search buffers).

i am eyeing that browser written in lips that was posted here a while ago (but i have not tried it yet)

and i have been looking for a terminal for pharo already some years ago. even tried to port an older squeak terminal myself. now PTerm finally fills that gap.

since i use tmux inside the terminal, i don't have to worry about bugs, and i can easily work with the latest development version and give the maintainer feedback, and hopefully some time even write my own patches.
If you ski, Porcupine Mountains rents a few yurts back Off the ski trails that are quite comfortable (if you’re into that sort of thing).
Generating the layout of a map for DOOM is easy since the maps are essentially just 2-D structures composed of convex polygons with variable heights thrown in at the polygon level (aka sector). I'd imagine everything but the 2D geometry of the scanned area is randomly generated (textures, item and monster placement, heights of sectors, light levels, etc).
Because Prolog bends your brain and getting your brain bent is fun. :) In the real world there are few applications of Prolog. Part of the reason is that Prolog doesn't mesh very well with functional programming constructs which are very popular in data processing. Another part of it is that the execution model doesn't match many real world problems. For example, in a document retrieval system you might want to find the 10 documents that most closely match an input query. Describing that as a constraint programming problem (Prolog excels at those) is not easy.
I suspect you’ll see more of this as legacy public sector structures force taxes to go up in these cities. Texas is great. Low cost housing, low taxes, good schools. You can be a regular person in these cities and buy a house with a pool in a decent school district.
Title is misleading--the article only discusses metro areas. I'm interested in seeing the stats within city limits.
Shortwave generally has much better propagation characteristics though buildings than gps.
Nobody's smart enough for a Taleb thread on any topic.
Did we just become best friends?
It has been open source for a long time and many great write ups and explorations of said source have been available.

It is known to be high quality and hackable, by orignal design and later hard work of fans.
Any place with career opportunities means exorbitant housing costs and other taxes. Regardless of your politics, there’s a real wealth disparity, and increased demand is only driving up costs.

I don’t know what the solution is, but the first step is acknowledging the problem.
What’s a five-way?
Is It Worth Your Time to Create an EBook for Marketing Your Business?
Various strategies to implement bots for turn-based games
I wonder if changing the gut bacteria might provide her a route to health. A serological impact would deprive her of bacteria that could reduce imflamation
I agree, it’s relatively fairer
The Tax Cuts and Jobs Act of 2017 was engineered to do this.

Punish blue state earners with higher taxes. These folks flee into red states and hopefully bring some jobs with them.
Dutch church clocks up 1,400 hours to prevent family being deported
The services you described as being dependent on these stations cannot necessarily be upgraded to use internet or satellite time.
You are using the word “truth” but it is more correct to use provable/non-provable. What Godel showed is that -limiting the discussion to the natural numbers for simplicity - there are statements that are true in the standard model of the natural numbers that are not provable in the first order Peano Axiomatic system for the natural numbers. What this means is that such a statement will be false in some non-standard model of the natural numbers.

It’s important that we are talking about models of the first order Peano Axioms. One can always find a system of axioms in which all true statements are provable. To do this just take the collection of all true statements in the standard model. Now every true statement is a theorem. It’s easy to have a complete set of axioms. What can’t happen is a recursively enumerable set of axioms that is complete and consistent.

Recursively enumerability is needed so that one can have an effective means of determining if a statement is an axiom. Think computable when I say effective.

When talking about truth we need to be careful because this is tied to a model of an axiomatic system. By the Completeness Theorem a statement that is true in all models of the system is provable.
Ugh - stay out of Vegas you dumb Californias. I wouldn't care if the transplants were content to assimilate. Oh no, they want to set up the same brain-dead policies that caused them to want to leave to the places they are moving from, fowling them too.
Have you ever tried Psilocybin? In combation with your therapy I could see success.
> what makes ruby unique and awesome, BLOCKS!

Similar to blocks in Smalltalk and Self, surely?

Still, having worked with ruby a fair bit the past year, it does deliver much of what Smalltalk does (not surprising, as ruby borrows heavily from smalltalk).

https://www.gnu.org/software/smalltalk/manual/html_node/Invo...
Ex-Uber employee claims he wasn't allowed to take bathroom breaks
In Australia, it’s mostly the government run schools that heavily promote laptops and tablets in the classrooms.

Private run schools are increasingly going back to pen and paper under pressure from parents who work in corporate jobs, and see an overreliance on computers as a disadvantage.
More plants survived the world’s greatest mass extinction than thought
Prolog is a language I have fond memories of but haven't touched in a long time. How applicable is it outside of academia given all of the alternatives?
How do you feel about living in Vegas in general? Besides everything being cheaper, how does the lifestyle compare to living in SoCal?
This sort of rhetorical question will not produce HN worthy content either. There's a down vote button if you disapprove a comment or at least state why you found the comment inappropriate. I'm not a native speaker and just thought it was a figure of speech.
This is a great post to know about if you do Erlang/Elixir professionally. There was conversation back in 2016 that is still relevant today: https://news.ycombinator.com/item?id=11064763
An important nitpick. His Incompleteness Theorem deals with recursively enumerable axiomatic systems. The second order Peano Axioms are categorical. That is, they have only one model up to isomorphism. It’s easy to come up with a complete axiomatic system for the standard model of the natural numbers. Just take as your axiomatic system the collection of all true statements. This ins’t a useful system since there is no procedure for determining if a statement is an axiom or not.
Do you expect an upsurge in retirement? Otherwise it should be a pretty steady rate, year-to-year, no, unless major companies with major layoffs favoring seniors happened in those regions this year...
Patreon sounds like something relatively easy to replicate. Effectively every utility implements what patron provides. It's essentially just scheduling recurring payments, with a discussion forum attached. More behavior like what we've been seeing Patreon do lately, and I can see larger creators shifting to hosing their own patronage services. Essentially the same reason why EA, Blizzard, and even more niche game publishers like Matrix Games, Slithrine, and X Plane host their own game purchasing and delivery services: greater control and no cut taken away.

Perhaps a more feasible and maybe probable approach is for another service like WordPress or SquareSpace to offer patronage functionality (as in, offering recurring payments and exclusive contents for patrons).
I have a lot of fond memories and appreciation attached to software like this. I only realized that when I spoke with somebody who made a point that's stuck with me for years now; when he was young, his dad installed something comparable to GCompris on the family computer, and although he only has faint memories of it, he remembered activities of simply clicking balloons to pop them, and typing simple words. Only when he was a teenager did it truly make sense to him why his dad installed the software, or why anybody had thought to make it; simply using a mouse and keyboard came to him from those early childhood experiences that he could barely remember, and the revelation came when he saw people his age struggle with basic computer input. He would eventually move on to Starcraft scripting, and then to video game modifications, and then to a career in programming, but all of that was enabled by just popping a balloon on a screen.

Plenty of people can use a computer, and click things, and type things on a keyboard, but ever since hearing that anecdote, I realized how many people are just "getting by" in that department. Since my early childhood, I could count my daily misclicks on one hand, but that doesn't seem to be the reality for most people. Thinking about it, a Sesame Street game that I have very little recollection of could be a huge part of how I use a computer today, and that thought makes me hugely appreciate what programs like GCompris do.
I'm starting to think that there's not much mystery left to consciousness, it's just that most people are really uncomfortable with the idea that "we" are just the complex interactions of electrical impulses and meat.

Or, perhaps, the implications of that.
I wish webpages were 'archived' as sqlite databases. :x

I wish a lot of metadata were defined as a database schema, and sqlite lends itself so willingly to becoming the archive/header.

Does sqlite do internal gunzip compression?

I do understand we have MHTML:

https://en.wikipedia.org/wiki/MHTML
Punish in this context means reduce the amount of state taxes they can deduct from federal taxes - in effect increasing their tax rate. Isn't it predominantly "blue" people asking for more taxes for more social programs? Sounds like they got what they were asking for..
I found Wikipedia to be more informative than this article:

https://en.wikipedia.org/wiki/Sickness_behavior
I enjoyed reading this thread this morning. Makes some salient points, that IQ is correlated with success in a specific area (physics/academia).
And very low cost to oppressing minorities too :)
Yes, the population is aging and retirees are a rapidly-growing segment.
The boomer generation is retiring now, no?
and most tower residents can now return. However, 51 units have been declared structurally unsafe

How does that work? That's a very strange statement to make. They're implying those 51 units may collapse and leave the rest intact...? Even if I wasn't in those 51, I wouldn't go back except perhaps to quickly get some stuff and move out.
Life hack magic
Not for long. Most of transplants are form CA.
If your company is sending you Basic Economy, save them the other 75% of the airfare and just don't go.
These projects are my favorite type of content on HN, where the question of "Why?" is met with "Because I can".
Is there a coherent train of thought in these tweets, other than Taleb's disdain for IQ[1]? I'm struggling to understand why a measurement that appears to have no value "measures best the ability to be a good slave," or why any of this entails the belief that "the only robust measure of "rationality" & "intelligence" is survival."

[1]: A position that, as far as I know, is neither controversial nor contentious in academia.
A corruption of "but i am le tired." A line from a flash video from a site called Albino Blacksheep. Called 'THE END OF ZE WORLD' by Jason Windsor in 2003. ABS was known for flash videos/animations (occasional theft of content from other creators) and attracting a juvenile/college audience

https://m.youtube.com/watch?v=84Ud3V9NPw8
The fact that some people can’t survive in the market, and other people don’t [even participate], meshes well with his “simple verbal test”: it only works if your subject is playing along. Street smarts are earned, granted. But IQ is not a measure of how many toys you die with. If the test is market survival, anyone who retires is a genius.
Blacks in Texas do better in school then in Wisconsin.
https://iowahawk.typepad.com/iowahawk/2011/03/longhorns-17-b...
They want other people to pay increased taxes.
Most federal social programs are spent in red states.
Blue person here.
I would be asking for the social programs, things like, educating children, to get more money.

For me to have to PAY more money, but for those social programs to get less money, is not at all what I would be after, no.

This is such an obvious distinction that it would lead me to assume you are not arguing in good faith. If that is not correct I would appreciate your expounding on your views more so I understand you.
> "their innovative reluctance to pay for anything on time"

Thanks great and educational writeup.
Why would you realistically need wal or shm for an application file format anyway? That's for high concurrency in general.
- XFS is actively developed with the linux kernel.

- stratis is kind of the traditional approach of a layered approach to filesystems instead of building the features into each filesystem. This has traditionally been a workable solution. It's reasonable to expect this to be workable going forward if not immediately.

- ZFS is 13 years old now and very much battle tested at this point. ZFS on linux goes back an entire decade.

Much of what you are running is just tested code running via a layer to provide compatibility with a different unix like OS. In fact its funny that you should mention FreeBSD considering freeBSD's will be running code based on zfs on linux.

https://lists.freebsd.org/pipermail/freebsd-fs/2018-December...

Of note

"In the past few years the vast majority of new development in ZFS has taken place in DelphixOS and zfsonlinux (ZoL). Earlier this year Delphix announced that they will be moving to ZoL"

"While working through the git history of ZoL I have also discovered that many races and locking bugs have been fixed in ZoL and never made it back to Illumos and thus FreeBSD. This state of affairs has led to a general agreement among the stakeholders that I have spoken to that it makes sense to rebase FreeBSD's ZFS on ZoL."

It seems that freebsd thinks that zfs on linux is not only production ready its better and more bug free than the illumOS version.

It's hard to imagine a universe where zfs on linux isn't considered sufficiently production ready despite having received man centuries of effort over more than a decade while hammer2 the result of what less than a man year of total effort over 4 years is. This is not to denigrate the authors efforts. DragonflyBSD and hammer2 look quite interesting.

You see a glass half empty wasteland lacking in any good options I see an embarrassment of riches current and upcoming.
This article is light on details but I think this is as close as it comes to telling us why:

"Soaring home prices and high local taxes are pushing local residents out and scaring off potential movers from other parts of the country."

It would make sense that as other parts of the country build out their attraction for talent, that talent is being syphoned away from high cost areas to lower cost areas with similar benefits but higher satisfaction, be it housing affordability, access to education, return on tax investment, etc.

In other words, once tech becomes mainstream outside the tech hotbeds, these surging regions will begin to attract that talent which may not be happy about costs, [primary] education, etc., if they can now make a good living in other areas too.
Taxes 20% higher wouldn't matter so much if your rent isn't 5000% higher than in other states.

It's housing costs that are strangling these cities.
This psychiatrist spouting off the "serotonin imbalance" marketing speak from big pharma like it's science is frightening. This has actually never been proven to exist, which is why every ad for SSRIs states "the way this drug is believed to work is...".

And then there's all the terrible side effects they never tell you about before you start taking them, and the fact you likely won't be able to stop using them without horrible withdrawal symptoms...

So much about psychiatry is still more akin to shamanism than actual science and medicine it's frightening.
Hyper loop tech is something that I simply don't understand. Is maintaining a vacuum inside a close loop really cheaper than electrifying a rail system? I would imagine it takes a lot more energy to decompress and maintain a vacuum in a loop at significant distances than just electrify the rail network.
I just see more personal liberty at the high end and therefore more variance in possible outcomes.
I'm a Bay Area resident but visited Austin for the first time over the weekend. It's an amazing city, but the locals were openly unhappy about any more Californians moving there. Seems like there's already a big ex-CA population.
Turning off stuff like this is beyond stupid. Satellites are pretty freaking fragile. China has tested destroying them and has done so with their own pretty easily. A high altitude nuke would be pretty devastating too, and you don't need the nuke to survive re-entry to be effective (hello North Korea, Iran and others or government probably doesn't want to acknowledge as easily capable of such an attack).

We pile all our eggs into single, fragile technological baskets at our peril. Dumbasses.

https://www.youtube.com/watch?v=NNbs7uLUPZ8
I’m an advocate for higher taxes; particularly on people of means. I’m opposed to a form of taxation that punishes someone based on the state they are living in. For instance, I’d be opposed to an increased tax on just wealthy residents of Mississippi. I’m on the fence about whether or not I favor the particular tax change under discussion but one shouln’t have the attitude that you have regarding it. You should come up with a better reason for supporting it. If you can’t then you should be opposed to it.
Pray tell, what social programs did they get for this? The tax bill was barely paid for.

Not to mention that affluent blue states already pay more net to the federal government than they get back in services.
It's weird. Even though I agree with probably 80% of what Taleb is trying to say, he's just such a condescending prick about it that I STILL want to throw rocks at him to make him shut up.

I'm not saying I agree with burning Galileo at the stake, but reading Taleb and knowing how Galileo conducted himself. . . I understand.
Spoken like a true T...
Census data, which might form a part of the data used for this article, typically includes a proper superset of the city limit.

e.g., for NYC:
https://en.wikipedia.org/wiki/New_York_metropolitan_area#Met...
If you're poor in a blue state, the local tax cap isn't going to affect you. It's just another form of progressive taxation.

It may be that more rich people live in blue states, but that doesn't necessarily mean it's a political punishment for blue states... at least not anymore so than the income tax brackets are a punishment.

Here are some states that are particularly hit by this change: Iowa (5th highest state income taxes), Minnesota (4th), Wisconsin (10th). Illinois has the 4th highest total local taxes. Are those the blue states you're referring to?

I think it could have been structured in a better/different way.. but there's no need to turn this into some kind of political witchhunt. The US tax system has been a system of progressive taxation for a very long time.