jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
This article seems to leave out a key caveat: They only proved this conjecture for sufficiently large n, not for all n. [Edit: Oops, apparently I was wrong, it does list that caveat -- but doesn't go into the further detail I discuss below.]

Now, if they have a bound on n, or if it's possible to derive a bound from their proof, then this could eventually become a proof of the full conjecture, by computer checking all smaller n. But if it's nonconstructive, then it can't be. To be clear, this is still an interesting and impressive result either way! But let's make sure we've correctly stated just what it is.

From the description in the article, it sounds like it ought to be possible to derive a bound on n from their proof. But from what I've seen, it doesn't sound like they've done so. So, now some proof-miner will have to go and do that for them, I guess, and possibly prove the full conjecture as a result...
Except that ISO-8601 doesn’t include anything as useful as a political time zone, just an offset from UTC. That’d be good if UTC offset was useful for anything, but instead it just adds to the confusion.
I use Gatsby to generate a static blog using markdown. It goes alright, though since I'm not really a JS person it was a bit of a pain to get running
CK3 has a lot of modifiers - you can simply have this as one of them.

You don't need to do any of the above, everything else you mentioned is something that can be done in the scripting language. The community will do it for you. You just have to hide a toggle somewhere.
Much like democratic government, people get the unions they deserve. Empowering your colleagues is an ethical act, and if they use that power to do things that you paternalistically think are against their own interests, then that's proof that the power is genuinely theirs.
Most Americans have only lived in places where biking is treated as a toy, and where adult biking for transport is dangerous and uncomfortable. Thus, they end up believing that it must be so everywhere, that good biking for transport is impossible.

It's an issue of ignorance. If everywhere you've lived is like that, you assume it's a law of the universe. Even if someone points out that other cities manage it fine, you're already emotionally invested, so you'll deflect (e.g. "well that city isn't identical to mine, so obviously it's irrelevant") rather than consider a different possibility.
I have a hard time seeing there being much cycling in winter. Icy conditions are scary on a bicycle. All it takes is for snow to cover some ice and the bicycle can simply slip out from under you. Not only that. It's also possible for temperature to be above 0 during the day, but drop to below freezing in the evening/at night. You might not even realize that some of the bike paths are icy. I had that happen a few years ago. My knee still feels painful from time to time because of it.

Another problem with cycling in the snow is that it's way harder. You need much wider and softer tires, but this also means that you need to put in more energy. Going uphill is a pain. Add a little soft snow and/or ice to it and it's awful. You'll also sweat in the coat. Batteries for ebikes don't work as well in the cold either.

I think you pretty much need an alternative transportation system for winter. Or maybe we should all start using electric tricycles or quads.
Now I really want to know which operating system you use.
Agreed, the city has made a lot of progress. I was indeed thinking of its planning for most of the 20th century!
Agreed. Also, you're actually hiding the kid from the support they need by staying married. They're not considered a child of divorced parents, yet they might live the worst lives of all. People who live together but don't like each other aren't exactly good parental role models, and they also hog the opportunity for others (go dating!). Staying together means children don't get the support, and parents don't get the support/ suffocate. If this is happening, do you really think your child is currently getting a fair childhood?
Already happened.

https://www.minnpost.com/cityscape/2020/12/after-major-upgra...

- Thanks to “mill and overlay” repaving, the city and county have added short stretches of bike lanes on: Territorial Road, Larpenteur Avenue, Fairview Avenue, Arlington Avenue, Marshall Avenue, and Tedesco Street. Together these connect bike lane gaps around the city, including a few key bridges and dangerous intersections.

- Ramsey County engineered a “road diet” on Energy Park Drive and installed a wide bike lane running for two miles between Lexington Parkway and Raymond Avenue. The new connection boosts safety for drivers and offers bicyclists a safe connection with few intersections. The result is a quick, if boring, route from the heart of the city to the University of Minnesota transitway.

- As part of the ongoing work to build off-street bike routes through downtown, the city installed its first ever concrete-protected, two-way cycle track on 9th and 10th Streets. To do this, city staff removed parking and made these streets one-way for cars, though the bike route remains a bit awkward as it navigates the Green Line station at Cedar Street.

- The generations-long debate over the future of Ayd Mill Road was finally resolved this year with a repaved three-lane freeway and a brand new off-street bike connection. It’s a lovely link for people on foot or bicycle, and now pothole-free for drivers. That said, the trail remains slightly useless as everyday transportation until (someday!) advocates figure out a way to connect the path to Minneapolis and the Midtown Greenway. If that happens, the new Greenway trail would become the best interurban bicycle route in the country.

- Using a federal grant, the city constructed an off-street, curb-separated bike trail along Como Avenue from Como Park, west past the State Fairgrounds, and to Raymond Avenue. The wide trail with tabled intersection crossings alongside a narrower roadway transforms a key street that, especially two weeks out of the year, will become a lifeline for bicycles to access the State Fair and the University of Minnesota.

- With another federal grant, the Parks Department completed a missing link in the regional bike trail along the west side of the Mississippi River. The new Piram Trail links Harriet Island along Plato Boulevard, past the St. Paul Airport, a string of industrial properties, and all the way to South St. Paul’s Kaposia Landing park. The intriguing path through the riparian woods means that cyclists and hikers can travel along a separated riverfront trail all the way from North Minneapolis to Hastings.

- With more federal dollars, the City completed the biggest link of the Grand Rounds, connecting Lake Phalen to Mounds Park along Johnson Parkway. The new path transforms East Side bicycling with a two-mile, off-street trail with tabled crossings that closes off a handful of intersections along an old frontage road. The result is a seamless family-friendly connection between two of St. Paul’s best parks.
Can you expand on that with an example?
Not OP, but hosting my own mail as well (postfix, dovecot, spamassassin) for six seven now.
Had one issue with outgoing mails to Microsoft (hotmail I think) bouncing. The IP of my dedicated server had been blacklisted from before it was used by me, but I got them to remove it. No other issues I can think of.

I'm getting about 1-2 spam mails a month delivered to my inbox, usually french SEO spam. Not worth investigating.
Spoken like someone who's never driven in a city.

City streets are narrow and extremely uncomfortable to drive on as it is.
It might work for software startups, but for almost any kind of hardware or biotech startup, you're going to need funding.
> Storing hydrogen is a nightmare

It's not. It can be stored underground. This is a demonstrated technology, little different from how natural gas is stored.
It's a good point, but I think they touch on it a bit with the thread about user churn (which prompted WeWork to kick-out the company that published that analysis based upon some "happiness" clause violation...)

Is it "product-market fit" if the company is literally buying that growth? Or does it become true "fit" once you can monetize those users reliably?

Ex: I buy a butt-ton of Airpods, put them in glass cases, and give them out on a nice table outside my house - for free. If I go out of stock on my first day outside, does that indicate "product-market fit" for my glass cases? (Answer: not really)
> But phones? I just can't be bothered to care about them. Can I make calls and check some maps? It's great!

I understand where you are coming from, and it makes 100% sense if you own a PC/laptop as well. But guess what? In a lot of places the majority of population (including younger people) do NOT have them. Their first and only experience of computers is a mobile phone. Even though "teenagers who care about computers" is a low number, now a lot of them won't realize that something like a general purpose computer exists (until way later, if they end up using a computer at work).

I grew up being fascinated with how useful and flexible computers are and fell in love with creating software. I'm quite sure that I would not have happened if I was born during the last 10 years.
I just ordered a Moonlander, but the UHK was one of the boards I considered. Those interchangeable thumb modules are such a brilliant idea. If the UHK were ortho it would have been a much harder choice for me.
Anti-competition laws need an upgrade in this world of platform economies.
That Joel article is enlightening. Thanks.
How does AWS lock you more than DO? Because they have a more comprehensive offering?
Well not all organisations can be effective.
> Wait, why hasn’t that happened yet?

You mean apart from Pale Moon, Basilisk, Waterfox, Tor, XB, Iceweasel, Swiftfox, Swiftweasel, Cometbird, and IceDragon?

Yeah no idea why that thing that has happened several times hasn't happened.
I always assumed that they lived in Silicon Valley because the sports teams from Stanford are called "Cardinal". But I just looked it up and they're named after the colour, not the bird.
so one class of bugs is OK, but another is not? scratches head.

Have you ever done software development?
A privacy policy will definately be coming, thanks for helping me fill it out, hah!
As I understand it, they still haven't fixed the levies around New Orleans.
I parsed the heading ok, but I agree it should technically be hyphenated: 'first-time-in-a-startup '
it seems sociology 101
KDE has a global menu applet on their panel as well, to be used in conjunction with appmenu-gtk.

KWin will also let you set how much (or how little) window decorations you want if at all. I'm very happy with it.
Should unpkg have discouraged this and not offered unversioned urls at all?
I would pick Vue 3 over React just for performance alone. With React you do not have much breathing room and without specific optimizations like memo specific components, being aware what rerenders what: don't even try to use context api in large app for often changing data. Vue is much more forgiving and new composition api is nice. Both frameworks ecosystem and developer experience are pretty similar at this point.
While click targets could be bigger, I very much appreciate the information density and vastly prefer HN's mobile design to any other mobile-"friendly" design for a forum I've used.

When designing UIs, an alternative to reducing misclicks is making undo easier. HN is already doing pretty well in this regard. Undo is easy; the biggest problem is that you might sometimes not realize you've performed an action. The only indication that you've flagged a story is that the word flag changes to unflag. If there was a more visible change, like changing the color of the story to red, adding strikethrough, and/or maybe a (short!) animation, that would go a long way toward mitigating the problem of unintentional flagging without requiring a big change in the design to increase the size of everything, reducing information density.
Tell China.
I support the jobs the methane will provide
For applications I've opted to use Heroku due to its simplicity when compared to EC2. I'm still working out the static storage though. I was impressed by Amazon customer support, so I may stay around. Simply renting a VPS somewhere is another option.
Old unix tool . See also ddrecue, a (couple of) nifty variation(s) on the theme.
Content unreachable from search engines.

https://en.wikipedia.org/wiki/Dark_Internet
> Bosses love the ability to keep a closer eye on their employees, ensuring clandestine porn-watching, constant social media-browsing and unlimited personal cellphone use isn’t occupying billing hours

As a boss, this is not why I advocate open spaces.
Do people just throw the name "Google" into headlines now as a means to grab attention? Google neither invented nor popularized the open office, which has been around since the 1960's.
Cool, now we have something to work with. However at such a high level no paradigm's differences (much less pros/cons) would be apparent. Would you mind implementing those individual functions?

Actually it might be easier to use some open source embedded code.

For completeness sake, I'd write the snippet above almost identically:

pickUpBall = do
openHand
moveHandToBall
closeHand
I've been meaning to ask, could you drop me a line when you gt time? Thanks. Email is in my HN profile.
> i'm hoping 4ad (who did the port to solaris/illumos) can weigh in with his experience

What can I say :). I love the Plan 9 assembly. It's the same on every operating system (even though the calling conventions are different on different systems!). It has some higher level constructs that make the assembly more consistent between different hardware architectures. It's verifiable, to some degree, by go vet.

It's not great, there's nothing great to it; in many respects it's old fashioned and anachronistic (static register, really? In Go?), but it works just fine. Other assemblers work fine too. I never felt the need to complain about assemblers. They are such a tiny, trivial, implementation detail I am amazed to see them mentioned at all.

As for the Plan 9 C dialect, the Go toolchain recently removed the C compiles, so I don't see the point of discussing Plan 9 C at all, although I like Plan 9 C quite a lot too.

The linkers work the way they work because they originally supported only static binaries. I don't like the linkers at all, although I like what they do. Cross-compilation is a marvellous thing. The code sucks though, I hate it. But there are new linkers in the work. While I can rant away for days about the linkers (I hate the fucking code), I can't complain about the features. I love the features and how they work. I can just complain about the (inappropriate) code.

The Solaris port was definitely slowed down by the fact that on other Unix systems, Go encodes the system call table. I had to add ELF support for linking with shared libraries, in order to not encode the system call table on Solaris. But I only had to do that once. Say, if I port Go to Haiku (God forbid), the code will now exist, and it will work. If Go supported linking with shared libraries from the beginning, someone would have still written that code. ELF shared library support takes time to write and it's irrelevant (from my perspective) whether I had to do it or someone else. Someone has to write it at some point, the total engineering time spent is the same.

As for the portability of the toolchain, it's pretty portable, though porting to a new operating system is a too minor of a job for that too matter. Time is dominated by other effects. But you can see it if you port it to a new architecture. I am doing the arm64 port, and the Go compiler was very easy to port, much easier than say, gcc.
It is today with different added features, but back in the 2010s you didn't need your bank to support it. You could do it with your VISA/Mastercard/AMEX credit or debit card.
I understand. I think math research is much more in reach than the NBA, and thus is a bad analogy that discourages people, etc.
MAX_PATH is the gift that keeps on giving.

Thanks to Microsoft's fanatical dedication to compatibility I don't see how it will ever get fixed. I think they could take a lesson from Apple here and have DLLS/EXEs contain SDK versions against which they are built, then mandate that Windows 10 apps must support a larger MAX_PATH. Of course if they were into learning lessons, they'd have done fat binaries so a single install could easily support 64-bit and 32-bit (or a single DLL could contain 64-bit and 32-bit versions).

For those not in the know, MAX_PATH and PATH_MAX (ugh) are defined in the Windows headers as 255. Because it was public people copied that constant and spread it around. So many apps and libraries out there are hard-coded to expect 255 that even if you change it in the Windows headers a million things will still be broken.

Even if you overcame that limitation, you'd have a situation where paths no longer worked reliably if they got passed around (or worse, long paths would trigger buffer overflows in poorly written apps and drivers).

You could fix it by passing apps not declared as large-path aware a shortened virtual path but the testing/edge case burden would be enormous.

So this is an example of a really quick decision one programmer probably made by themselves many years ago that we are forced to live with because the pain of changing it is too great compared to the benefit we'd receive.
Flipkart did well because they executed the Idea well. They still have a long way to go. But last time I checked they too hire and give a lot of preferences for people from IIT's.
Thank you.
The blog is hosted at gitcp.com/user/repo. I think it is a great idea to support custom domains. I could give every blog a subdomain and that way you could set your DNS up with a cname record pointing directly to it.
This is US only. Your laws dont apply to the rest of the world even though you like to think they do.
I'm assuming most of the non-review/summary data is just fact. Presentation is copyrightable, but I don't think simple facts can be copyrighted that way.
If we knew how it did it, it wouldn't be machine learning.

The defining feature of machine learning in other words is that the machine constructs a hypersurface in a very-high-dimensional space based on the samples that it sees, and then extrapolates along the surface for new queries. Whereas you can explain features of why the hypersurface is shaped the way it is, the machine learning algorithm essentially just tries to match its shape well, and intentionally does not try to extract reasons "why" that shape "has to be" the way it is. It is a correlator, not a causalator.

If you had something bigger you'd call it "artificial intelligence research" or something. Machine learning is precisely the subset right now that is focused on “this whole semantic mapping thing that characterized historical AI research programs—figure out amazing strategy so that you need very little compute—did not bear fruit fast enough compared to the exponential increases in computing budget so let us instead see what we can do with tons of compute and vastly less strategy.” It is a deliberate reorientation with some good and some bad parts to it. (Practical! Real results now! Who cares whether it “really knows” what it’s doing? But also, you peer inside the black box and the numbers are quite inscrutable; and also, adversarial approaches routinely can train another network to find regions of the hyperplane where an obvious photograph of a lion is mischaracterized as a leprechaun or whatever.)
I have read every single thing Wolfe wrote (even the limited-edition chapbooks), and I feel I should warn potential readers: he only had about a decade-long run as a writer of high art in the 1970s. I strongly recommend the early Wolfe, but the later Wolfe is a lesser author.

In that decade, Wolfe produced three large works (The Fifth Head of Cerberus, Peace and The Book of the New Sun) and a number of short stories where the prose was incredibly rich and beautiful, fully the equal of Proust or Nabokov. His reputation should rest on these.

But from the early 1980s, his prose became drab, lackluster. He still could impress readers with his plots that invariably featured unreliable narrators and ellipsis, but even this was gradually taken to the point of absurdity. By the turn of the millennium, he felt like a one-trick pony. His editors at Tor apparently accepted every manuscript he submitted, but the late flood of weak novels IMHO diluted his stature.
I'm not active on any online anarchist servers so I can't comment on that. But the anarchists I know in real life, at least based on the conversations we've had, support absolute free speech.
I think part of the problem as well is that "free speech" has been elevated from "desirable" to "the greatest good". It is good. It is not the greatest good. It does not surprise me to see people involved in Internet communications/social networking trumpeting free speech as the greatest good since these communication channels depend on us not restricting free speech to a more reasonable place in our society.
I know how to view a text file, or even navigate a directory of them. But as forsaken said, a GitHub file browser is often not the best UI for viewing documentation, especially when you're already in a browser.

What's better, the docs for Backbone.Marionette[0], or Backbone[1]?

[0]: https://github.com/marionettejs/backbone.marionette/tree/mas...
[1]: http://backbonejs.org/
You can be healthy and happy doing any task - so long as you have balance and support and habits to support you.
That's too simplistic an implication. Yes, they are appointed by the executive in power, but they have to be approved by congress and it is for life, which means that no single executive/legislature determines the entirety of the SCOTUS.

(not saying the Court is always right, of course)
It looks to me like you only get 3 hours of (admittedly 1-on-1) instruction per week for 12 weeks. That doesn't seem like much for $3500/$5000.

Compare that to Make Games With Us [0], which teaches you how to make iOS games in Objective-C and Cocos2D, gives classes 9-5 x 5 days a week for 8 weeks, for $5000.

[0] https://www.makegameswith.us/summer-academy/
Thanks! I'll definitely try variations on these, though it's not too different than what I do now for general motivation. Since this is a throwaway, I'll admit to thinking about trying something stronger than caffeine. Who knows, maybe I actually do have ADHD and just need to balance out something up there.
To clarify, this is because they actually did what would normally be unethical: they randomly assigned citizens to be eligible for the insurance plan. It was a lottery.
Basically when they decided to host it, they forced the tracker "keen" to be used. Its fixed now, but forcing trackers on users seems very negative.
Cool, Luminus is micro, lightweight, robust, and scalable.

Sorry, I could not help myself :-).

I think it would help if people backed their claims with some actual data: a memory/CPU/lines-of-code comparison against mainstream alternatives or standard libraries.
Would anyone care about this if it wasn't launched by highly visible Facebook alums?

Quality should be judged on merit, not who made them.

If there's magic here, somebody lift the kimono.
I'm tentatively in favor of reevaluating the FDA, as I've argued at length elsewhere. The question to consider is whether the FDA's expensive ex-ante regulation does more good than harm when compared with cheaper ex-post liability rules, especially in light of the FDA's incentive to be more cautious than is socially optimal. I have strong doubts that the agency does more good than harm in light of the massive costs it imposes on medical research.
General automotive parts, mostly in fluids, liquids, etc.

Think less actual physical "hardware"

Thanks a lot for the link brk, I found it really helpful! I really appreciate it. :)
and blackberry