skysight-inc/HackerNews huggingface dataset:
Even if the defendant is in the U.S., they may have no significant income or assets from which you could recover damages or legal fees.
Reloading the actual page works for me, the twitter reload button doesnt
The intent is to use the extra resolution for detail not to fit more on the screen. Unfortunately most software is still designed for back when we didn't have enough real-estate and so Linux is not very good at DPI scaling. Windows used to be just as bad but has gotten better slowly over time.

Mac has always handled this perfectly from the get-go.
1. As we move to lower nodes, high carrier mobility materials such as GaAs actually perform worse than silicon due to increased source/drain direct tunneling.
See: https://ieeexplore.ieee.org/document/7479214

2. Most III-V materials have excellent electron mobility, making for great n-type transistors, but tend to have poor hole mobility which means bad p-type transistors. Germanium has high hole mobility, and it is already used in very small quantities to boost performance (see "germanium stressors")

3. Most III-Vs have no native oxide, nowadays at 28nm onwards due to the use of high-k dielectrics. However: Until recently, the growth of oxides on III-V materials without defects such as fermi level pinning was a Hard Problem.
Crãciun fericit!
Bridging the Gap Between Junior and Senior Engineers
True, eventually these platforms will either die or innovate to the point where their original implementations seem distant.

My bigger point is regarding the nature of a gaming platform vs. a more traditional feed based app as effective social networks (when it comes to lasting power and monetary ability mainly), even the best video games have a flash in the pan nature that makes it difficult to see the MAU increase in a way we've seen with feed based networks.
Then you can be more technical.
I do this all the time with Netflix syncing extensions. If not that we use video syncing tools like Syncplay and sync-video. Native support would be incredible, and I think it’s supported on the Oculus Go’s Netflix app.
If it doesn't have the necessary information to prosecute false claimants (i.e. their exact identity) then why does it hand over ownership of a video to these same claimants at the drop of a hat?
Billing inconvenience? Remembering who to pay in advance? You sound like the black and white intro of an infomercial where the actors fumble around with a perfectly good pair of scissors or demonstrate how putting on shoes is so hard.

You give your credit card information one time (mine autofills from my password manager.) And then they autobill you each month. Never causes me any hassle.
It’s incredible. This last year this very link has become glaringly obvious to me. When depression kicks into overdrive inflammation seems to be right there with it. I’ve had some somewhat chronic issues and I’m really not sure if I should approach it in a physical sense (pt, excercise, etc) or if I should be doing more mental work.

Can’t wait for the science to mature a bit here for better direction. Pain killers (ibuprofen and others) scare the hell out of me now more than ever because they seem like an easy way out (read: temporary solution). And that’s a dark, dark path to tread on.
Yeah after you pay for a lawyer to set all that up for you.
It seems odd those would be related.
Habbo Hotel was and still is pretty much one of the prime examples of a social network type game at least to me. Their downfall is not adopting to mobile quickly enough and the insane exploitations that happened by adults to teens there and also by teens who wrote software to exploit the servers.

It had profiles a la MySpace sorta with stickers, music players made, and even a comments section. Groups were similar. Recently they have been ditching their old web pages for profiles and groups in favor of focusing more on the general game client.

You would add friends, message them, instant message with them. Throw parties or create in-game invented games to play. People were literally social, to the point of e-dating and other things. People went to jail over Habbo Hotel. I have an online friend who was arrested in England and questioned for allegedly doing a DDoS attack on Habbo Hotel.

Then theres VMK and Club Penguin. Those were more social based games. I can also see Neopets and Gaia Online considered as such.
According to the cern website it is actually 50km but on a much smaller pipe. The total volume 15000 cubic meter. For a 11 feet wide tunnel it would be about 1.7 km long.
In Chinese history it's a little different. The Taiping rebellion was a militant uprising against the ruling Manchus by a Christian Millenarian sect known as the Taiping Heavenly Kingdom, in the mid 19th century.

It was the bloodiest war of the 19th century, and the bloodiest civil war in history, with an estimated 20-70 million killed.

You don't have to agree with China's response to these chruches, but maybe you can understand why they get nervous when Christians start getting uppity.

https://en.m.wikipedia.org/wiki/Taiping_Rebellion
This is _VERY_ cool but I stopped using dropbox and keep everything on my self-hosted Nextcloud.
Nothing but respect for the people on the front lines of San Francisco’s poverty and homelessness crisis. When I was down and out a few years ago, nursing wounds and high five-figure debt from a failed VC-backed startup, I took a meal at Glide. I guess you could say I’m a big fan of their UX. I look forward to making a donation to properly express my gratitude after I make my next million in filthy lucre from the startup game.
Windows ships with an enabled-by-default stateful firewall which rejects any connections from sources not on the local subnet.
Moderation is really the ultimate scalability problem. I have some level of sympathy for the predicament YouTube is in, but I really hope the system can be redesigned.

I've never seen (keyword: seen) a press release or article about how an individual / group of DMCA abusers of this sort was arrested. Why can't this be taken more seriously as a form of fraud, and why can't these people be gone after? Sure, you can obfuscate your real IP when making a takedown request, but they have to receive the money somewhere.
Lawyers and lawmakers (who are very often also the former) in their infinite wisdom have created a system in which they always win, even when the people the system ostensibly exists to serve do not.
Khan Academy, YouTube
Down at the bottom of the article:

>While sermons at state-sanctioned churches are often tightly scripted, independent churches boom with searing indictments of corrupt officials and rousing calls to protect the rights of the poor.

>Early Rain, which Mr. Wang founded in 2008, was among the most daring. Mr. Wang called Mr. Xi a sinner, held prayer sessions each year to mark the brutal crackdown on pro-democracy demonstrations around Tiananmen Square in Beijing in 1989, and organized a fund to support relatives of political prisoners in China.

So just good old fashioned suppression of political dissent. The fact that they were churches could be entirely irrelevant.
Slicing accident?

it might not come as a surprise to hear that a lot of the lacerations/etc we see are related to opening mail/packages/Amazon stuff. ;-)
How to Build a Wood Stockpile on the Cheap
THANK YOU FOR SHARING THIS.
Reading this article both made me cringe and gave me hope. The cringe comes from the fact that the parents described here just don't seem to give their kids a break of unscheduled time, I understand the pressures to give your children a platform to successed, but I believe downtime is really critical to humans in multiple ways, I wonder how the children themselves feel about their relentless schedule.

Secondly, it gives me regarding the true cost of parenting, I don't have kids but the financial responsibility of children has really had a chilling effect in how I view Parenthood. I understand kids are expensive but it seems to me that these parents are willing putting their kids in expensive programs that ultimately may not be necessary. I wouldn't be surprised if there's a lot of keeping up with the Joneses when it comes what programs upper class American children participate in.
It’s not yet fully understood, but something is missing yet in our understanding of inflammation.

Inflammation can have chemical roots. It can also be a side effect of infection.

It seems to me that this is why it's so complicated. Correlation does not prove causation. In order to treat conditions associated with inflammation, wecmay need to identify and resolve the things causing the inflammation.
I’ve spent a marginal amount of time thinking about it, but my first thought would be to go back to school for forestry at a big state university and go from there.
Religious flamewar will get you banned here. Please do not post like this to HN again. The topic is provocative, yes; and that's a reason not to be provoked.

https://news.ycombinator.com/newsguidelines.html
Depends on the train-to-tunnel area ratio surely? If it's a close fit like the London underground you'll get a lot more drag on a train at 100k feet than you would on a plan at 100k feet.
The main reason for mobile being underprioritised is that many of the mobile devs (who are based in Rennes in France) are doubletiming with helping the French government project and so are quite stretched for time.

Also, for better or worse, we have entirely separate codebases currently on Web, iOS and Android. The reason we do this is to ensure that other app developers can use the same proper native matrix SDK in their apps rather than be forced to use a device abstraction approach like React Native. However, it means that typically the web SDK leads the way (as it’s the easiest test bed for new features, and several of the core spec team work on Riot/Web, so new stuff happens there). However, we’re starting to see the balance shift: the new Android SDK and app is more advanced than the JS SDK, and we might even experiment with using Kotlin Native as a way to share that code to other platforms.

Eitherway: we’re aware that mobile needs more love and investment and we’re trying to fix it :)
I think censorship is changing a lot these days as speech moves from being a thing you do with your mouth towards a dialogue you establish throughout online communities. Not saying a company can’t have control, but to full out deny that their control can be equivalent to censorship is letting them off the hook for future problems that will become more and more of an issue for a free thinking society.

Not that our society is all that great at free thinking, but I don’t think we should be setting it up to continue making free thought harder. Even if it comes with some things we don’t like, we need to honor the pursuit of intellectual curiosity and exploration.
Nothing Is More American Than Chinese Food on Christmas
I'm not a silicon engineer (I just pretend to be one to get my vendors to skip me right to their engineers for support) but afaik, Intel has been using weird phenomenon in semiconductors for useful work for a decade at a "lower level" than the logic gates. It's why they've managed to stay ahead of competition even on equivalent nodes and also why they've dug themselves into a corner (since they cant decouple their fab from IC design to spin off a TSMC competitor). Their cell library is likely the most specialized on the planet.

I've also heard whispers that the Movidius Myriad II (company later acquired by Intel) actually used some sort of monte carlo optimization simulations to design pieces of the chip. Instead of optimizing some of the more specialized computer/stereo vision algorithms themselves, they threw the testbench at a really complicated constraint solver/optimizer and it spit out designs based on physical simulations where the individual units looked nothing like the logic gates used by a human designer and far more like an analog circuit using semiconductors.
This comment and your others in this thread have broken the site guidelines badly. We ban accounts that do religious flamewar. Please don't post like this again.

https://news.ycombinator.com/newsguidelines.html

Edit: looking further, since you have a history of abusing HN in this way, I've banned the account. Please don't create accounts to break the site guidelines with.
Ibuprofen therapy is a common treatment for the inflammation in my condition. Dietary changes helped me eventually get off daily ibuprofen. I was on it about six years.
Day 15 should have been broken down. Or parts of it should have been earlier problems so by the time we got to day 15 it would be a time save to re-use code. I personally try to follow the order of problems, but I'm still on day 15 and with the holidays, kids etc haven't had the mental capacity to sit down and work on it so I doubt I will finish things this year.

I don't want to sound ungrateful though, I think the creator is doing an amazing service to software engineers/hobbyists everywhere and it's always fun to see solutions people come up with.
You wrongly assume that, that is all the church is guilty of. Please widen your views a little bit. There is a pattern to be followed here. It's not like the church did not have ~2000 years to hone their skills at toppling bonafide governments that did not align with their views.
Yeah and those assets also potentially included rights to the Amiga Loraine IP itself, depending on who you talk to. Hence the lawsuit that ensued.
Pretty sure horses needed continuous human attention. "Driver" wasn't the operator of a machine, just like "car[riage]" wasn't originally an automobile.
This guide covers many different topics and specialties related to logic so it may help to introduce a taxonomy so we don't get intimidated by the breadth of Dr. Smith's scholarship. Let's break it down into 5 topics:

1. Using a well-known and widely accepted system of logic to produce proofs and solve problems. A working man's logic is propositional logic (AND, OR, NOT, and the material conditional) plus first-order predicate logic (quantifiers "there exits" and "for all" over bound variables), natural deduction, and ZFC set theory.

2. "non-standard" logic systems which are somehow "better" or "more expressive:" 2nd order logics, modal logics, many-valued logics, etc.

3. Meta-mathematical investigations into the properties of different formal logic systems: model theory, proof theory, forcing, consistency, completeness, etc.

4. The philosophy of logic: Semantics, sense/reference, truth, nominalism/realism, theory of descriptions, etc.

5. Logic and computability: lambda calculus, recursive functions, turing machines, complexity classes, etc. This is somewhat tangential to logic proper but there are connections and Dr. Smith has a section on it so it's worth enumerating.

While everyone will need to know (1) as a working man's logic, the other topics are more or less independent and can be approached independently.

For people just starting out and finding this study guide pretty overwhelming, let me re-emphasize two of Dr. Smith's suggestions for starting points: Smullyan's First Order Logic and Halmos's Naive Set Theory. These two books will get you to the same depth of understanding that 95% of working mathematicians need or apply in their day-to-day work, and it's a fact that 95% of modern mathematical theories are built on (formalized within) ZFC set theory and first order logic.

https://en.wikipedia.org/wiki/Naive_Set_Theory_(book)

http://store.doverpublications.com/0486683702.html

I also suggest the online game The Incredible Proof Machine. It's extremely helpful to have a computer formally check your proofs when you're just starting out in logic because it's incredibly easy to "cheat" and skip steps or use rules that "make sense" but aren't part of the formal system your using. TIPM lets you do that without learning any specialized syntax.

http://incredible.pm/
Show HN: Style Transfer – Kaggle
I’m not sure why you’re here, then, since Hacker News filters out emoji (believe me, I’ve tried).
If it really is like minecraft then it will still be here in a decade. Minecraft had 74 million active players last december out of the 150 million copies sold over the games life time. That is a stagering retention rate for an industry that is all about the next big things.
This is really cool! Is there a vim version?
Most people are going to think because China is more advanced in ways, or some sort of admiration for Chinese history and ethnic creations, that the obvious answer is China. I would disagree. Outside of a few war-torn failed states, a random African country for me.

Not as many stories about people jumping out of factory windows to end their lives in Africa. There are many hidden gems in Africa as well with perfect climates and cultures that have little to no thievery or need for distrust. These things aren't well-known or stereotypical because Africa is dismissed outright so quickly by so many without further investigation, but it's true anyway.

In 50 years, I think this will remain true and Africa becomes even more desirable yet than China. If you want to work, or want your less fortunate children to work at Foxconn pumping out iPhones with management practices that westerners cannot even imagine at this point in their history, China may be an option if they'd even welcome you. Of course everyone assumes they'll be the boss at the desk browsing HN or scrolling through Facebook during the workday instead, generally enjoying the good life.

Africa. This isn't even a contest.
No religious flamewar on Hacker News, please.

We've had to warn you about this more than once before.
A lot of people have personal liability umbrella policies... However probably not the kinds of people that would do this.

Why have we made it so easy for crime in this country.
I'm a developer and I usually would just restart the computer because I want to get back to coding asap.
Research shows consumers trade data for ads out of resignation, not convenience
I’m not arguing against criticizing ideologies. I have no intention of republishing what the flagged parent said; I merely pointed out that the criticism needs to be valid, properly sourced and have understanding of nuances. This includes criticism of white supremacists and nazis.
> However, a better way to do this would be to give each media unit a set of fields and then create the hierarchy when I need it according to my current need.

I'm not sure I understand your use case enough, but this particular idea reminds me of "metadata driven views" feature of git annex[1], which can rearrange filesytem tree tracked by git annex to match your request.

[1] https://git-annex.branchable.com/tips/metadata_driven_views/
CleanMyMac X 4.1.3 Crack Activation Number Latest Version
Please stop.

https://news.ycombinator.com/item?id=18759118
This is completely generic information on capital gains/losses (it applies to any capital asset, like stocks or ETFs).

The whole point of this post is to advertise the crytotrader.tax service, which seems useless: any generic tax prep software (TurboTax, etc.) can generate 8949 forms and Schedule D automatically (as well as the rest of your tax return), so why would you need any extra software to handle cryptocurrency transactions for you? TurboTax can even import data directly from financial institutions, and presumably the crypto exchanges provide a standard file format that's importable directly into TurboTax.

> This way you can skip the upcharge of an expensive “crypto accountant”.

Why would you need an expensive accountant? Trading cryptocurrencies generates simple capital gains/losses just like selling any other asset. Any tax software can handle this. Is there even such a thing as a "crypto accountant"?
Yeah except tunnelling is extremely expensive. It sounds cheap in theory - just buy a TBM, run it for a while right?

In practice it is so much more complicated. You have different soils, some that are water permeable - in Boston (I think) they solved that by literally freezing the ground. Does that sound cheap?

Then you have issues going under buildings (which you always are - otherwise why bother tunnelling?). All tunnelling disturbs the ground. When they built the Jubilee line extension under the houses of parliament they had to monitor how far Big Ben started leaning, and do something call "compensation grouting" to tip it back upright (basically you drill horizontal holes under it and pump concrete under it).

Tunnelling is just expensive. That's why it only happens where the alternative - building on land is very expensive.
I never really understood why one shouldn't waste food. On other hand there are several reasons why one might waste a bit of it (may be it wasn't as tasty as expected/you overestimated your hunger).

It's not like food prices fluctuate based on everyone wasting certain portion of food. Global food prices are usually dependent on the supply side more than demand side.
Front-end Masters and Lambda School.
Religious flamewar is a bannable offense on Hacker News, and a comment like this really pours fuel on the fire. Please do not post like this here.

https://news.ycombinator.com/newsguidelines.html
In the case of True Arithmetic, the true statements are the axioms. Thus a proof of any true statement consists of just invoking the corresponding axiom, which is a valid proof in any formal system (constructive or otherwise).

The weirdness of True Arithmetic comes not from proofs (which are trivial) but from the axioms themselves. You can object that it’s not a “reasonable” or “proper” theory because it’s not recusively axiomatizable (i.e. there’s no effective procedure for even deciding whether a statement is an axiom), but I don’t think that objection is specifically constructivist.
Huh, so like a power ring buffer.
Tbh your post reads as 'I avoided overeating by me learning how much I needed to eat and me never putting extra on the plate'

In reality I guess you had unusual parents who were good at telling how much you needed, so you didn't avoid this problem in any way at all, you were just not subject to it.
We've banned this account for trolling.

If you don't want to be banned, you're welcome to email hn@ycombinator.com and give us reason to believe that you'll follow the rules in the future.

https://news.ycombinator.com/newsguidelines.html
Yes I mentioned they have finally added them. I've been using Blender a lot longer than 3 years and it is quite an embarrassment that it took them so long to add them.

Looks like proper tooltips were added in 2014. Blender was first released in 1998! 1998! 16 years to add tooltips!
Congratulation on getting out of poverty. That truly is something to be proud of. Do not, however, assume that your story is the story of thousands of others. Doing so isn't constructive or productive and could be harmful.
William Cook: Information, Computation, Optimization [video]
I biked around my neighborhood as young as 7, to the store a few blocks away, without any problems or hyperconcerned adults around. And the crime rates were higher at the time...
Thank you - that's excellent to hear!
This comment breaks the site guidelines. Please read them—all of them—and follow them if you want to keep posting here.

https://news.ycombinator.com/newsguidelines.html
Patreon Bars Anti-Feminist for Racist Speech, Inciting Revolt
Dennis Severs' House — 1740 London house bought in 1970s restored to 1740 state
> "I think you’re making the mistake of equating Christianity and Catholicism. They have the same roots but all of the things you’re assigning to Christianity is really the machinations of ‘The Church’ weilding Christians beliefs as a cudgel for the aspirations of ruling bodies."

I grew up in the rural South. I assure you churches serving as the cudgel of ruling classes is not limited to a single denomination. Catholics are barely represented here, the pattern is nevertheless the same.
CSGO added a Fortnite/battle royale mode ... I wonder if it had any impact...
> Of course I don't expect that you're in a position to choose a computer.

It's a little funny and a little sad, but this is as true today as it was back then, but for different reasons.