jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
> those 2 entities specifically ignore vigilantism

Reporting violations of the law is not the same as taking enforcement of the law into your own hands. The latter is vigilantism. The former is this app.

> all this will do is overwhelm the resources of the DMV/insurance companies, costing them money, which they'll transfer to their customers.

I don't buy the line of argument that insurance companies and the DMV are incapable of filtering their email, and that somehow this is going to cost significant enough amounts of money that consumers will be affected.

> and seriously, the only people who'd do this, would be someone who does 60mph in the left lane, while everyone else is doing 80. And in fact, the guy is the one who is breaking the law, since he is impending the flow of traffic.

Since we're going with juvenile arguments, I'll just say that when you assume, you make an ass out of u and me.

> i look forward to having 4chan track this guy down...snitches get stitches.

Jailhouse moral philosophy! Great finish.
You ever wonder why every device has a front facing camera when they're known to be one of the least used parts?.
>My bet is that they were receiving complaints of Firefox breaking due to bad migration of settings between versions, so instead of fixing the migrations, they decided that this user-hostile anti-feature was good enough.

I think this is actually a good feature, one of the few introductions which I think if worthwhile, even if the implementation is a bit lacking.

You have to balance the user being able to see the message with not annoying them, and it's not difficult to achieve.

Configuration bloat is a real problem in most applications which allow third-party extensions, and I've seen some stunning examples of extensions bloat on some people's computers, Chrome users included. On the other hand, when I question it, they tell me, "I use all those!"

This article I came across here on HN really enlightened me: https://www.asktog.com/columns/000maxscrns.html
On the flip side this is a real process that essentially works. The book "Algorithms to Love By" decides a chapter to solutions to meat space retrieval problems.
I need to see to believe this. Thanks for this great article points out how it’s technically possible; but it would be dead simple to prove with a sample! Pray show one SMC MB with this extra chip and you are golden, if it’d a supply chain attack it was mass produced and a compromised unit is bound to show up on ebay!?

otherwise could this be a market manipulation attempt?

Last time around SMC stock lost half of its value overnight. Have you ever read how bberg remunerates reporters?
> don't say Haskell, because surely you're more pragmatic than that

What's that supposed to mean?
I just wanted to chime in here to say that although there were several situations where our questions couldn't be answered, we probably wouldn't have made it as far with our testing if it wasn't for the answers that were received from the openstack ironic developers. I should also point out that I've always found the openstack ironic devs to be kind and professional. So be it as it may, it is unfortunate that there are some conflicting priorities but I certainly do not blame the devs.
They will hopefully introduce a new "classic" (as an abstraction over VPC) at some point, unless they want to lose many low-end customers to "easier" clouds.

Having this level of control can be nice, but most of it really needs to be optional because for most deployments it does nothing other than add an excessive amount of unneeded complexity.

Some of the APIs are outright hostile, e.g. 'delete_vpc' which makes you track down half a dozen dependencies (without providing hints about which those might be) before you're allowed to delete a VPC.
What difference are those studies going to make? If Columbia University in the City of New York discovers you can use guns to kill people, are voters suddenly going to go "oh, well then!"
This sounds like it'll have a million loopholes like taxes. Not that I'd object but I'd rather prioritize ads being banned entirely.
Given that "everyone" in the community probably blocked this guy on LinkedIn, I'm not sure he's going to have much luck as a salesman going forward.
Sure, but we're comparing the efficiency of one of your program's single threads, because otherwise you could take that same argument you just used and turn it around and say fine, just run another thread then with another io_uring... and you're still ahead. You have to compare at the smallest unit of control plane.

At the same time, multiple threads for a single program introduce context switches which are becoming horrendously expensive compared to the sheer number of IOPS that modern NVMe SSDs can do.

Thread-per-core designs built around io_uring are the future of IO on Linux.
Wouldn’t that mean an end to a lot of free services?

They are not free, you pay for them with everything you buy, with the ad budget share of the price. And you are not only paying for the service you want, you are also paying for the entire ad industry on top of that.
A tyrant and despot doesn't have to decrease your "martial capacity" but simply make sure theirs is more than yours. If a tyrant/despot secures control of economic resources this isn't overly difficult.

Furthermore: rising up against a tyrant/despot is only possible if the population is very united; but a tyrant/despot, with enough economic power (or oppression of others) can make sure a population is ideologically or otherwise fractured/disunited and cause infighting.

This will actually make benefits of being well armed a liability as now you have a tyrant/despot and also can't walk safely in your neighboorhood.
Yes, if your app is a high performance server app, measure in that environment.

But user-facing apps (the sort people run on laptops, say) have async I/O as table stakes, really. It's not even about throughput or CPU cycles: it's about the fact that if you have I/O latency on any thread the user interacts with the user experience will be terrible.

Now in practice maybe that means "just make the I/O async, but the performance details of that don't really matter too much".

Anyway, the overall comment was about performance profiling in general, not just async I/O.
I've used snap for setting up a Nextcloud server. It was honestly pretty easy, and it auto updates. I'm normally not a fan of autoupdates, but for a publicly accessible service, it is appreciated.

However, I've never packaged anything for snap, so not sure how it is to use.
storing and querying it. It's huge and the engineers haven't been able to provide easy access.
I remember this article from 2019. I remember the writing style struck me then as being a little strange.

My first thought was "who's the mathematician"? But the article doesn't actually mention the author's name until a few paragraphs down, electing instead to put the spotlight on Scott Aaronson and other commentators. I felt then as I do now that it was a little lacking in respect.
What would be an example of what I'd use this for? Also it would be nice if I could send interrupts.
where on earth did this comment originate. I have a iPad2 which was "born" in 2011, show me any equivalent tablet appliance that is still running the latest OS ... ? i hate these sort of bile loaded responses, stay with the article and drop the hardly clothed bias. We are all consumers, don't let the marketeers trick you into thinking you have to choose one over the other. Poor device update support remains much more of a problem for google and android than it ever did for apple regardless of what your favoured tech Inc. is ..
Sorry to turn this into a framework war, but as someone who made the move from Groovy/Grails to Scala/Play Framework, I can't imagine ever going back. Or in other words, my answer to "A or B?" is "C".
FWIW, I wanted to (and tried to) click on the "How We Do Sizing" text on the graphic on: http://www.blanklabel.com/how-it-works.aspx

Instead it took another three clicks/pages to get that information. When it comes to clothing I'd think sizing was pretty important to know up front.
There's a difference between risk-aversion and victim mentality. People who are risk averse will look for reasons to not do something. People who have a victim mentality might actually go ahead and do the thing, but if they fail they'll think it's because the universe hates them (or something similar).
Salman Khan speaking with LinkedIn CEO and employees on April 15, 2011
Not for production code it isn't.
"collection of data that might conceivably expose their users' wrong-doing"

So to answer his question honestly: Yes, you are implying exactly that.
Although it's not specifically focused on HN users, http://usesthis.com/ is a really cool site showcasing the hardware, software and work flow of some pretty successful people.
Thanks! wanted to avoid a detailed design that would fight startups for attention.
You have the same issue in the PC gaming world and it's thriving.
I've been working with SVGs quite a bit lately. Dealing with them is at times rewarding, and others extraordinarily frustrating.

Case in point: different browsers handle adding an SVG filter onto a DOM element / SVG parent element / SVG child element very differently (in Firefox, if an SVG element that holds a filter is display:none, and you apply that filter to an element that is visible, the filter not only is not applied - but the element it is applied to also becomes display:none). Unfortunately, it's also not one of those things you can feature detect for: out come the user agent tools again...

But yes, SVG is very very cool. For our use case, even IE9 is fairly up to par with it.
Yes.

Here's a function that has type `IO ()` but doesn't obviously use `IO`'s monadic interface.

foo = print "hello"

`print` may use `IO`'s monadic interface under the hood, I don't know.

Here's some code that has type `IO ()` and does use `IO`'s monadic interface.

foo = do
str <- getLine
print str

which is de-sugared to

foo = getLine >>= \str -> print str

which you can, if you like concise code, feel free to shorten to

foo = getLine >>= print

The important part is `>>=` (pronounced "bind"), which is defined in the monad typeclass. (A typeclass is like a Java interface, by the way.)
I am on no universities payroll, nobody pays me to do research.
Did Mr. Hrescak have a special visum for this, to be able to work in the EU as an US citizen? (I assume he's an US citizen because it is meant he's from Facebook).

It doesn't work the other way round. If I remember correctly, one is not allowed to telework from the USA on a tourist visum.
How does one submit custom headers along with a form?

Seems like a POST is a perfectly valid way to handle it.
http://stackoverflow.com/questions/72394/what-should-a-devel...
Facebook got an SEC waiver to go over 500 shareholders -

http://www.businessweek.com/technology/content/nov2008/tc200...

The second market in Facebook is definitely pushing the envelope, a role of the SEC is to make sure people don't get ripped off and are treated fairly.

Clearly promoters shouldn't be able to sell private unvetted securities to the public without registering and going IPO on a public exchange. But it's also not clear it's in the public interest to have second markets only the well-heeled have access to, and that are not subject to public securities regulation, public price discovery and disclosure through K and Q filings. Maybe it's also not right to force Facebook to choose between going public prematurely and issuing shares/options to employees, but at some point for those shares to be properly valued the stock has to be publicly traded.

When they got the exemption they said it was just to give shares to employees, not to create a second market. The rules are getting rewritten (or Wall Street is running rings around them as Kedrosky says).
I can't help it, but it's my Wave in a box.
The Qt guys have a similar thing.
It however needs the Google native client plugin.

http://labs.qt.nokia.com/2010/06/25/qt-for-google-native-cli...

There's also the QWebClient which does not need a plugin, but also does not look very beautiful or native.

http://labs.qt.nokia.com/2009/09/18/qt-in-the-cloud-with-qwe...
Have you tried Evernote? How does it compare?

I've been using Evernote for the past few weeks, and it's becoming a regular part of my day. I can read, write and search notes through both my computers and my phone (Nexus). Aside from some UI strangeness/ugliness I'm very happy with it.
I don't think google would manually repair the data but rather just fix the part of the data collector that made the mistake.
I'm never in an accelerating frame of reference.

When I walk I push the earth around, and drag the universe along with it a little.
Just got my ass out of bed at 3am to go out of my apartment building to see it. I remember seeing a partial as a kid, but holy frabjous day is there a world of difference.

The moon was an incredibly dark red (from what I saw before). It's literally a blood red moon, like more red than I remember observing Mars as.

I was hoping to see it off my balcony (should be able to catch one of the 2014 lunar eclipses that way) but it's still incredibly high in the sky. However for setting an alarm and putting a winter coat on, it was totally worth it.

Quite simply, it's by far the coolest thing I've seen this year and I spent diddley squat on it.
gamejs.org is my baby.

coolest features are:

* similar to PyGame.org API (so lots of docs & known patterns)
* commonjs support
* server-side support built in (via ringojs.org)
* modern browsers only
* MIT license
To address his original point, this really only matters if you use bookmarking software that uses the "lists of links" model, really...
I am currently trying jQuery Mobile - which is promising but at the current alpha stage there are rather too many issues at the moment to commit to it. However I do think that this framework has all the right signs for the future.
<edit> link here http://jquerymobile.com/ </edit> Oh and Jo looks interesting as well http://joapp.com/ </>
I was pretty disappointed when I found LFE's insistence on staying very close to Erlang's semantics had forced it into implementing a Lisp-2. It's a very odd mix for FP.

Joxa deviates a bit further from some of Erlang's semantics, but in a way that allows it to express FP concepts in a much more streamlined way. Really intriguing design.
I know, I read the article about sugar as well. And I think there's a good chance it's probably right, and as a result I'm eating less sugar. It was actually when I went from drinking a six-pack of soda a day to none at all that I immediately stopped gaining weight and started losing weight.

My point about trans fats is that it's been known for YEARS that they're bad, and as you point out it's only recent that people have been believing it. I've been avoiding trans fats for over ten years, since well before most people had heard of them, but the original studies showing they were bad news date back to the 50s.

I think you may have misunderstood my point. What I'm saying is that the "it's another health scare meme" is a dangerous concept because it causes people to ignore ALL health advice they hear. Your point about false health claims reinforces my point: Because a lot of "health claims" made in the press are based on a single study (which could be poorly designed or just randomly showing a result), people now ignore all health advice. They've lost faith that any health advice can possibly be useful to them.

That's why I'm saying that it's a dangerous habit to label every new health report as a "health scare meme." On the other hand, it's also important to take pretty much anything you see in the press with a grain of salt. My hope is that, now that we have Google and other online research options, it will be easier to debunk the garbage ("my all protein diet is good for you!") and determine what the studies really show.
I run dovecot on my FreeBSD box. I'd be happy to contribute a fork on Github. You can find me on github with the same handle.
They seemed to be concerned about the lack of security they were witnessing, and they also alluded to "this could be bad in the hands of a spammer".

If this log is real, is it truly the conversation of those that took the data?
Do it themselves. It's not exactly difficult to manage a few laptops and monitors.
I agree with some of the conclusions but not all of them. The following are definitely true:

3. Choose investors who are investing in you.
9. Get references

Everything else is either derived from those (points 4, 5, 6) or are just not realistic in the current world of start up investing (7, 8). Yes, it's possible an investor will make a useful introduction or two but you can more easily achieve the same end with an advisory board or personal networking.

While I would love to believe in "1. Choose investors you want to work with." the reality is that unless you've worked with them before you will have no idea what they are like. This is why getting references is so critical.

If you're going to pick an investor I recommend:
1. Talk to at least one company that investor (if a VC firm that particular partner) invested in that failed.
2. Talk to at least one company that investor invested in that succeeded.
3. Look at their portfolio and see how many companies that investor is currently involved with. A lower company/investor ratio is better.
4. Have an in depth conversation about the industry where you ask THEM questions instead of them asking you. Turn the tables and make sure you can learn from them instead of them simply learning from you.

Investors are investors. They spend their time investing which means that their primary value will be their money. There are exceptions to this rule but they are few and far between.
I would not because I still have to deal with the language and tooling, even if the implementation is much faster.
It’s interesting that Paul has, once again, figured out an important idea—unschooling in this case—ab initio.

Cf John Holt.
Youtube doesn't allow you to create an account if you select an age that would make you a child. But you don't need an account to watch youtube.
Off topic but why does hn use the term ICE vehicle rather than gas vehicle? It comes across as forced like when a non tech person is trying to impress me with buzz words and I’m just like no one talks like that in the industry.
Yep. Wordpress will eat your server if you don't configure page caching.

At $CORP, the web application went down when some heavy Wordpress traffic slowed down the shared DB :/
There is also Scroll, which disables ads on participating sites. They don't stop tracking, though, as far as I know. In fact, Scroll itself tracks everything you read while logged in since they use it to reimburse the content providers proportionally out of your subscription revenue.
Or use WordPress to manage your content, then create a static site from that with https://wp2static.com or https://www.simplystatic.co.

Not nearly as fast as Hugo or Jekyll (~5 minutes to generate a 1300 post blog), but a nice alternative if you want to keep using a CMS and don't want to expose it to everyone.
I haven't done much research on this topic yet. But it's my understanding that, to sum up:

1. It's easier not to target children.

2. This is more of a nuisance for established channels, as they have to edit every video and mark whether it's directed to children or not.

That's if I'm not wrong. I mean, I've mainly gotten my information from this one video so far: https://www.youtube.com/watch?v=3GwDrHOe43E

I'm only a new creator so it's not really going to be much for me to worry about, and I can't think of a single reason why anyone under the age of 13 would want to watch my content anyway. It's about as boring adult topic stuff (building a business and corporate life rantings) as you can get.
Please don't post unsubstantive comments here. This reaction has been predictable to the point of mechanism for many years.
It depends - what number edition are you holding - or if you don't want to be specific what 10 digit range?
If the focus is on finite data structures only and the equivalence relation is "are the types isomorphic", then each type is isomorphic to the ordinary generating functor with some coefficients C : N->N:

-- ogf(c,x) = Σ n:ℕ, cₙ xⁿ
def ogf (c : ℕ → ℕ) (α : Type) :=
Σ n:ℕ, fin (c n) × (fin n → α)

(fin n is finite type with exactly n elements)

For example list has coefficients Cn = {1,1,1,1...}

inductive list (α : Type)
| nil : list
| cons (hd : α) (tl : list) : list

and binary trees

inductive bin_tree (α : Type)
| leaf : bin_tree
| branch (x : α) (left : bin_tree) (right : bin_tree) : bin_tree

have coefficients the Catalan numbers {1,1,2,5,14,42,132,429,...}.

Computing those coefficients from a type definition is not always trivial though (see the symbolic method http://algo.inria.fr/flajolet/Publications/AnaCombi/book.pdf).

This can be extended to infinite data structures too by switching the natural numbers to ordinal numbers in the ogf definition.
but does it have data about options?
That's true! And when my wife was home when they were babies all 4 of us were insured on my contribution alone.
I was gonna consider including Dhall in my list, but then again nginx configuration has support for if statements.

And from my past experience with HCL, sometimes a proper embedded programming language is better than whatever crazy DSL some developers can envision (see for loops in HCL)
Do you have more info?
Also, I just want to say that if a Mizrahu finds himself Palestine/Israel today born or after decades of immigration to simply go back to Morocco. Practically speaking that is ridiculous. Israel/Palestine is now his home.
>>Perhaps your father is a politician, or high ranking person in public administration or public services?

Lol, what? I mean, I guess you're trying to imply he got some special treatment, but I assure you he didn't, and neither did I when I needed help. He was a truck driver and then ran a car workshop, then when he got cancer he was under constant care of the oncological hospital in Warsaw. Not only his level of care was very good, the drugs he was getting from NFZ for free are incredibly expensive(look up the cost of Glivec treatment), he was even getting reimbursed for travel to the hospital every time he needed to go - that's all standard NFZ procedure, no VIP treatment.

I mean, perhaps you were just unlucky? I have no other explanation.
Caddy looks like a good choice to escape the misery that is Nginx. It's on my TODO list.
"It is not that being optimistic leads to success..."

How do you know the casual relationship?
I do that with xmodmap under Linux (remapping that useless CapsLock key into yet another modifier key. So capsLock+jkl; are my arrows for years, capsLock+space is my return key, etc).
But I would love to have a keyboard that is directly programmable so I can plug it in any OS and enjoy my re mappings without tricky configuration.
Is QMK doing such a thing?
True, but it's pretty good evidence that access to CDPR's assets doesn't make it easy to get things right, even with the team that built them and the full toolchain. And the reports seem to suggest the source code for Cyberpunk and Witcher 3 is being auctioned separately, with Gwent already in the wild
This is the natural outcome of promoting a promiscuous and hedonistic lifestyle. It's clear from the map that there is a very strong correlation between lower rates of single parent households and conservative cultures.
Facebook recently announced that they are going to modify their feed algo to reduce the % of political posts that show up.

NPR should do this to.

Actually, a better idea would be to focus all political coverage to a day of the week, Tuesday.

If every organization talked about politics only on Tuesday, then it would give citizens an easy way to stay sane by just ignoring that day.

We now know there are huge mental health tolls for getting wrapped up in this stuff, yet we continue to self-flagellate. Would love to see smart ‘leaders’ realize this and respond accordingly.