jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
aceArt GmbH | Stuttgart, Germany ONSITE | Full-time | Typo3, PHP, WordPress, Angular

Du liebst das Coden, trägst lieber T-Shirt anstatt Hemd und die Tastatur ist oftmals deine Picknick-Decke?
Gratulation du bist ein echter Tekkie und bei uns bei aceArt herzlich Willkommen!

Als kontinuierlich wachsende Digitalagentur für Web & App Entwicklung bieten wir dir eine familiäre Arbeitsatmosphäre bei vielseitigen Kundenprojekten. Dabei verwenden wir unterschiedliche Technologien wie z.B: PHP, Angular, TYPO3, WordPress, Laravel, Java, ionic & flutter
Für den nächstmöglichen Zeitpunkt suchen wir einen fähigen PHP Entwickler

bewerbung@aceArt.de
Now, that would be something useful for the Hololens.
I don't see how this is any different from calling io.js a "new server-side javascript platform" even though its forked from node. Ripping out the backwards compatibility will do a ton for maintainability and regression testing.
FWIW, Einstein was also an avid musician. In Walter Isaacson's biography, "His Life and Universe", Einstein was caught in the middle of a meal when he began to ruminate on the Theory of Special Relativity. His wife described the next two weeks as a solitary exchange between meditation in his office and fiddling on the piano. He credited music to being a source of inspiration and creativity.
moot created the cesspit that is 4chan's social culture like an agar filled petri dish creates microorganisms.

it's a funny concept to me that people should be held personally accountable for the possibly unlawful actions that people within their system take.

It saddens me that the proprietor of any site which prioritizes the users' freedom to be personally liable for their own actions are always painted broadly by the darkest actions taken by their user base.
"Moot>4chan>CP+Gore", or "Bitcoin>Silkroad>Drugs/Assassination" seems to be the most wildly echoed opinions, while totally ignoring all the positive points of any such system.

It's a shame, and will probably lead to all such systems being eradicated eventually.
Like you, I've tried lots of different mail apps - Mailbox, Sparrow, Airmail. I've enjoyed using Thunderbird, Outlook, Mail. And I've used web interfaces for Gmail, Fastmail, Hotmail, etc.

In the end, which email client I've used has barely made any difference. The key is in processing the emails - forwarding to Evernote for reference, adding to Omnifocus if it's a todo item, replying quickly if I can, or deleting if it's irrelevant.

I found that extra features like tags and snooze just made me more disorganised, instead of less, as I spent more time fiddling with the features and wondering why something had gone wrong.
Yeah, you could argue that competition is good for the end consumer and I must concede but you have to look at the bigger picture that we keep exchanging labor for more and more shrinking "real" wages and these recent technological developments would accelerate this trend even further and make their implications more pronounced in society.

Wage slavery, the illusion of labor and career derived self worthiness, the quasi monopoly of labor and the pursuit of monetary gain as the principal ideals providing meaning to life in this age, and finally holding our whole lives hostage to increasingly harsh labor conditions just for the capitalists to increase their wealth and consolidate their power over us, all of these notions must be re-opened to discussion in society given that capitalism is entering a new soul-crushing phase that is gonna leave many victims in the world that sadly would have been saved if not for our complicity in one way or another to demand and fight for our rights and our fair share in resources on this planet.
IDs are defined as strings, not integer values. These examples happen to use ones that have integers in them, but you can use things like UUIDs easily as well.
What happens when the adjusted color goes out of gamut?
There's also a utility trailer on the back in one of the pictures. Maybe just a 3d concept though.
> It dismisses, insults the argument that is pertaining to human rights, freedom of press, justice, freedom of speech, liberty, right to vote - some of the pillars of Democracy.

The more fundamental question here is: What if the modernist's definition of democracy which you have just laid out is extremely one-sided and full of grey areas and, when implemented into a society accordingly, would be full of vulnerabilities to be exploited for things the very ideology opposes?

> It is not right to shut down discussion about political climates by reducing it to a non-negotiable argument, i.e. the other party does not understand "The Chinese Way" or they will never know the history of China.

Firstly, I don't see how reducing an argument into a different form would end up "shutting down discussion". Secondly, this is not a non-negotiable form, actually it opens up more areas for research and there are many questions to be asked and answered such as "how does metamodernism manifest itself as we see a ~800% increase in middle class in China between 2000 and 2018"?

Also, read about the history of China so you can be more informed before discussing about China? I don't understand what do you mean by "they will never know the history of China".

> There are plenty of non-Chinese historians arounds the world who have studied China deeply, academically and by experience such as expats.

Exactly. So go read some books about the history of China. Or read a paper, say, about postmodernism in China. It really helps to put things in a different perspective.

The thing is that nowadays comments on HN have certainly diluted.

> No, that's the elephant in the room here, don't be so quick to dismiss it. Ask yourself this - "Would I feel threatened to criticize the Chinese government publicly while I am in China?" If the answer is yes, you either A) Took allegiance to the Chinese nationalism B) or afraid to speak out. If it is B, then it is time to move out of China before it is too late.

When you put people into two polar categories you are basically radicalising them just like on any other social media. The problem here is that "speaking out" doesn't change a damn thing. And it never will. Not in China. Not in the States. If you want to improve the system you first understand how the system works, then work hard and do things that will improve the system. When "speaking out" works that is merely an indication that the system has evolved and changed over the years. When LaToya Jackson spoke out in the 90s did it work? No, and that's because "the system" was still fucked. Criticising is only useful when it actually influences something. Otherwise you are just playing the devil's advocate in a Nash equilibrium that is not in favour of your proposition. And then there is the question: what is the proposition really? Can it be fine-tuned to satisfy the people's needs without shaking up too much the status quote, the legacy code? Ultimately I believe it is about improving people's lives. And it's a constraint satisfaction problem.
I meant extreme temperature.
What copyright is Zara violating? I'm not saying they aren't, I honestly don't know. If course clothes aren't copyrightable.
Contrary to what most are saying, this was an awesome presentation. They kept it incredibly short, gave basic facts about the car (although nothing on the interior), and blew everyone's mind, for good or for bad, with a new truck unlike anyone would've believed, especially putting it against the F-150. Even with the glass shattering, the fact that it didn't go through was still amazing (they definitely have to work on this though). I say it was a mind blowing presentation and I will definitely be thinking through this.
Depends on the truck, our Ram EcoDiesel gets better mileage(30mpg) than any of our Subarus ever did.

That said you see a lot of 3/4 ton daily drivers that only see a tow hitch one or two weekends out of the year.
Well, with Neovim, we'll have a legit fully-featured plugin for any and all IDEs that do plugins. I sincerely can't wait to have Neovim in IntelliJ/RubyMine/CursiveClojure.
Goodness I hope that key is there, I've had to jump through all sorts of hoops to type comfortably on keyboards that are missing this key.
That is false. $16.8B is greater than Melvin's AUM at the start of the year. The person in that video doesn't substantiate their claim either.

As a more general aside: take everything said on Cramer's show with a grain of salt. He is a deeply unserious character in the financial space. His angle is to be provocative, not accurate.
> What exactly has been achieved?

A new asset class (like Gold) which everyone wants to invest in because they think everyone else values it (just like Gold). And with a few benefits over Gold like it can be transferred easily.

That this has sustained for 12 years is amazing and the longer it stays, the longer it will further stay.
This is a great question, and unfortunately the existing proof tools are very fragmented when it comes to target languages. E.g. there are a lot of C / LLVM and Java tools, a few C++ tools, a few Rust tools. I don't know of any proof tool that is production-ready that targets Go, Swift, and Kotlin.

One thing I will say is that proof is usually an expensive technique, and not just for the reasons in my post. Even setting up a proof can be demanding. So it's worth asking where in the project it's worth applying this kind of assurance? For example, Galois often applied proofs to cryptography, which are security critical and self-contained in small pieces of code. Proof and formal methods aren't one tool, but rather a toolbox that can solve different assurance problems. There's a big difference from a scalable static analysis like Infer and a fine-grained proof tool like Coq or Galois' SAW tool.

One easy place that formal methods can be useful is in modeling features of a project design for consistency. E.g. this is useful for protocols, state machines and similar. This means you can 'debug your designs' before building them into software. If that sounds like it might useful, I would suggest taking a look at Hillel Wayne's website: https://www.hillelwayne.com
> But what would be in it for union leadership under such a structure?

An ego boost? I mean this seriously -- people love being moderators of Subreddits and admins of online communities largely deep down for the ego boost.

A union really needs not much more than a Discord server and maybe a Zoom membership to organize strikes and whatever else they need to do.
I’m waiting for the comment that explains why we can’t use this now
Right, I didn't mean to imply that jfli and foil were new languages.

I didn't realize there was a CL version of the compiler, cool! Thanks for the link.
Bitcoin ecosystem by design rewards the early adopters, since the more people use Bitcoin, the higher the value will go up. I also got the feeling that if Bitcoin does fail, it will go down in history as another Ponzi scheme. Which made me rethink about Ponzi scheme. Everyone in Bitcoin community genuinely believes that Bitcoin will succeed. I am sure it was like that with Ponzi scheme too. Theoretically Bitcoin can succeed, but there are many variables in the world. Maybe it was like that with Ponzi scheme too, you never know what will happen in the future. Lastly, I think it's unfair to label bitcoin as "just another ponzi scheme" as it is not intended for any bad will and theoretically could work (however with so many chances of failing)
I exaggerate, but only slightly....

If anything, you're understating the frustration of the new GMail compose UI. My browser window hasn't gotten any smaller, but the amount of important information displayed at any given time by GMail continues to decrease.

"Oh, you don't really need to see who you're sending this e-mail to, nor could you possibly care whether they're a To:, CC:, or BCC:, so we'll just hide them all behind a single line."

"While we're at it, we'll make you use your mouse to see what formatting and linking options are available. Never mind that they're always in the same place, we just feel like hiding them from you, you know, to watch your mouse squirm!"

"As an added bonus, we'll move the cursor back to the top of your composed text when our silly algorithm decides to unhide the quoted text! For free!"
thanks everyone, some solid advice here
I am not the original poster but I'll respond to this one:

I am familiar with ATS and I don't like that I am only familiar with it from the Language Shootout contest website. I haven't heard of it used in production, no blogs, no news on HN.

It is a bad excuse and rather sad but my main charge against it is that it is not popular enough.
[text deleted]

At some point, I will learn that HN is not the place for intelligent expression of political expression divergent from its denizens' norms.

My bad.
What do you mean by 'fail'? fail financially or fail technically? If you mean the former then that's a no brainer, as I assume most projects fail financially whether software or not. If you mean fail technically then I'd be interested to see numbers. It's certainly not my experience.
It's the correct definition of slavery. If I were to arbitrarily stretch the definition of words, I could find a way to define your style of communication as a form of slavery, to malign you, as you are doing to low wage free labour.
This line of thinking becomes even easier to justify internally when the open office answer is generally also the cheapest solution.
I think most burglars already know more efficient methods of entering your house than fiddling about trying to pick a lock...
Duplicate:

http://news.ycombinator.com/item?id=2009244

1 comment there.
Hey man - if you're interested, drop us a note at ambassadors@proudlymadeindc.com and we'll get you connected!
They also grab links and redirect them to affiliates, secretly.

Or did they stop doing that?
Duplicate:

http://news.ycombinator.com/item?id=2009346

No comments
Duplicate:

http://news.ycombinator.com/item?id=2009268

1 comment.
On the terms page [1] for the extension, Google says it's a daily limit.

http://www.google.com/chrome/intl/en/p/cause/tos/
This submission got more traction:

http://news.ycombinator.com/item?id=2009960
I agree this is a great cause, but did I miss why there is only 1 day to go until a goal is reached? They don't explain the consequences of only getting USD1.48 million instead of 1.5.

There is someone who said (I'm sorry I can't find the quote) that they don't donate to charities who don't specify an aim for a campaign or how they will know if they've succeeded. I like the spirit of this and feel that more information is better than just "Come on, guys, we need 1.5mil before 12am!".
(FYI, this crashes chrome for me) Works great in Safari, incredibly performant!
This is amazing!! Exactly the kind of thing i've been looking for to find new regional dishes. But like others mentioned, it's lacking a lot of entries. Does anyone know how to submit dishes?
I would be surprised if the author did not have access to an academic developer account paid for by the university.

I am certainly not disagreeing with the author’s point however. Personally I have sold my MacBooks and moved off to Linux / Windows because of the decisions that Apple has made which I feel are not in the interests of the users.
As we see from the parent here, plenty of other scientists were starting to come to the same opinion, many of them with patronage from the Church, but they had the sense about them to realize that they needed to be 100% certain before the Church would be okay with changing doctrine. And they weren't 100% certain yet.

High switching costs that Galileo couldn't fathom. A stereotypical head in the clouds scientist.
I think his essays are models of clarity and conciseness. But I agree about the content.
People take this stuff seriously, and some spots in parks are truly magical, especially if you can get 2-3 adjacent spots for extended family.

Long ago, I ran part of the backend systems for a contractor that had a variety of state and other parks. One set of islands on a lake in particular were very important to a number of people for various reasons.

Specific weekends were in particularly high demand, and people discovered gaps in the booking and rescheduling policies that would allow them to reserve the spot at a different time, then do multiple re-books. IIRC, they would spend about $500 in re-booking fees and would have to coordinate re-booking in multiple specific, inconvenient time windows. (Part of it involved a window where the phone system would accept changes before the online system)

Somebody figured it out, and it escalated to the point where the legislature was investigating it and one of the VPs had to testify to a committee.
> The Church has always been interested in being correct more than being dogmatically rigid

The Church has always been a community of individuals who publicly confess the same beliefs, while privately holding on to their own motivations.
Of course you loose time testing. Maybe not writing the tests themselves, but usually setting up data for tests is the most time consuming part.
I wonder how this method of turning one legitimate request into infinite requests could be used or abused for real world purposes. CPC fraud? DOS attacks? CPU drain? There's no reason that the iframe needs to be visible in the page at all.
"and "ND" for asian males - "Negative Diversity"."

Wow, that just feels kind of offensive, and like a big lawsuit waiting to happen.
Thanks for sharing this, I'm going to give it a try
Is there an example of where 1 is better for math, or is it just a familiarity thing?
The lack of algebraic data types is what python gets criticisms about. That situation is improving, but I would have preferred match to be an expression rather than a statement.

What else is missing in the python3 type system?
We don't yet have the technology. But where there is a will there is a way. If we could derive ad money from Orca observation, I'm sure our bright minds will come up with something this decade. Or OAAS.
Turkey spent most of the twentieth century instituting secularism at every level of society, so violently that a backlash eventually erupted against it.

I’m not particularly sure how I feel about it, as the issue is complex, but I do think that it’s unfortunate that modern Turks are unable to read their own Ottoman history due to the change from Arabic to Latin script.
For those kids, maybe that's a more important thing for them to learn? I mean, so many future encounters will be affected by their ability to not turn everything into crude sex jokes, compared to the number of circumstances where it will benefit anyone for them to know about theorem provers.

Maybe that's a bit too touchy-feely, but from a more ruthless, "only the course material matters" perspective, fine, let the kids who can't get over the name suffer the consequences. The kids who take it in stride will have an advantage. Nothing wrong with that.
with dark-reader you still have the problem of getting blinded at night for the first second or so until the DOM finished parsing. There were some workarounds with userChrome.css userContent.css that solved this for a while, but they broke in recent builds so I'm back to feeling like a deer staring at the headlights every time a new tab opens on a page.

I'm not 100% certain that this should be forced by the browser and IMHO it's the websites owners job to provide properly working dark theme and the UI/UE they think fits best their purpose (and not the browsers). Unless the assumption is that styling across all sites should look 100% identical which may appeal to some, though if I really want that then I can go look for content on gemini:// and no page will ever use their own styling other than what I am telling it to. Maybe it's just me but I like being dazzled and surprised with new design and style that I've not seen before.
If @itsJeffTiedrich had a website.
This isn't theoretical too, here's an actual user who opened an issue where their MWE was using quaternions:

https://github.com/SciML/BoundaryValueDiffEq.jl/issues/52

This is how I found out it worked in the differential equation solver: users were using it. The issue was unrelated (they didn't define enough boundary conditions), so it's quite cool that it was useful to someone. It turns out the quaternions have use cases in 3D rotations:

https://en.wikipedia.org/wiki/Gimbal_lock

which is where this all comes in. Anyways, it's always cool to learn from users what your own library supports! That's really a Julia treat.
It's going to depend on your hardware and probably your distro.

I have a ThinkPad running Archlinux. I have suspend-then-hibernate mode enabled, which means when I close my laptop lid it suspends for 2 hours (configurable) and then puts itself into hibernate. If I decide to open the laptop within 2 hours, it's available instantly. Otherwise, it takes maybe 20 seconds to reanimate from hibernation. People often say, why not just shutdown and reboot? The obvious answer is that I don't want to close out a dozen Chrome tabs, close all my terminals, all my files, and open everything up every time I need to walk away from the computer.

I have secure boot turned on. Hibernation is done to a swap file (I can simply delete the file if I need the space). I have LUKS encryption enabled. I'm dual booting with Windows. And yes, it all does work perfectly fine.

You can have your cake and eat it too. It just takes a bit of research and a bit of time to setup.
The muon was the first non-standard matter particle and 2nd transient particle discovered in 1937. It lead to new physics then and continues to suggest there is new physics.
But not to send upselling and other spam? Sounds like a feature to me.
C'mon Razer, do a 5600 with 3070! No other skews needed.
Purely literally, yes, you're correct, you can neither physically remove someone nor physically restrain someone, and this is a good thing, as the state has a monopoly on use of force.

If you only "metaphorically" toss someone onto the pavement, though (tell them to leave the premises), you're fine, and can have the group who has a monopoly on force enforce that request if necessary.
I’ve developed a reading habit over the past 18 months or so. I’m always reading. Books, I enjoy reading books. Books are less distracting. I read with a pencil and annotate notes, comments, and questions in the margins (to keep me “in the pipe”).

Prior to the last couple years I’d read for pleasure, sure. I’d also read things I had to (work, school, etc). Lately I’ve been reading like I’m optimizing for throughput—to read everything I can, to cover as much ground as possible.

I also read to my daughter (still in the womb hahah). I read her children’s books (many of them stem based). I also read books on algorithms, computing, & mathematics to her.

I prioritize reading. I wake up hours before work (not as bad as it sounds given the late start engineering culture) and read. Much of what I’m reading now are texts that one must “work through” so I read and work through books. This is all rather new to me too. I’ve never read this much this quickly.

This habit started humbly, but now the train has left the station...
And it's the reason why FedEx and UPS have their Super Hubs where they do: https://youtu.be/y3qfeoqErtY?t=119
Hey everybody,

we have been working on a marketplace for everything with a subscription (and trial) that can help you not only manage your trials and subscriptions, but also send you reminders to cancel your trials.

Currently, quarantine and an economic crash are mixing together, so we made a list with 26 video streaming services that can entertain you with their free trials.

In sum, that would get you through 357 days - without paying a dime.
If you don't want to forget about cancelling the trials, you can easily set up a reminder on BlueFox after you click on the "Try Now" button.

If you have feedback, please let me know!

~Alex

PS:
If you're not based in the US (like me), I can recommend NordVPN. However, there are a couple more you can also find on BlueFox.