jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
CDuce was the result of my PhD thesis (about 20 years ago); mostly just a research prototype with enough engineering efforts to make it usable for small enough projects. It came after XDuce, which introduced the idea of building a functional language around regular expression types (used to XML schema languages, DTD, XSD, Relax). My work focused on distilling the theory from XDuce into more primitive constructs from type theory (products, unions, recursion), and embedding them into a more expressive type system and language (with set-theoretic intersection and negation, function types, extensible records -- used to model XML attributes, etc), also with a powerful XML pattern matching engine and an efficient implementation of type-checking (just deciding subtyping is in theory exponential in the size of schema, but works well in practice). The theory could probably be used to serve as the basis of statically-typed languages working, on, say, "typed" JSON structures. The work was/is continued by my PhD advisor and other colleagues to include parametric polymorphism (original CDuce supported ad hoc overloading polymorphism only).

The idea was just that if your language could directly express constraints on your document types in its native type system, the compiler could directly type-check statically complex transformations and make sure they produce documents from the expected output schema (assuming the input complies with the announced input schema). This is more direct than having to rely on mapping between XML and "native" data types, which (usually) don't fully preserve constraints imposed by XML schema languages, and are themselves tedious and fragile to write. This works well for XML->XML transformations. Of course, in most applications, XML parsing and/or generation is just a tiny part, which shouldn't affect the choice of an implementation language. With OCamlDuce, I explored the idea of extending OCaml to include XML types. The combination felt a bit ad hoc, but was ok. Today, it could be rebuilt indeed about PPX extension points + some type-checking hooks in the OCaml compiler.
Standing desk is a must, IMO. Also, something that will remind you to switch from sitting to standing and/or vice versa. For me, switching more regularly is more beneficial than just standing or just sitting all the time.

I also started using an Ergodox at my desk and that's helped a lot. Wrist pronation was really killing me, and now that's just not a problem anymore. I liked that so much that I got a second one for travel.

Also, make sure that your monitors are elevated to the right height so that you're not looking down. It'll help a lot with any neck pain you might be experiencing.
The only people likely to think of an AFL field are us Aussies, and only the subset of us that don’t follow rugby union.

And we’re statistically insignificant.
> Why is this any worse than Google?

- Easier surveillance of citizens

- Easier to censor anti-government speech

- Easier to alter search results for more government propaganda

- Easier to make correlations between search history and crimes for when it's convenient to prosecutors

- Lower quality of service because the government does not have consumer's best-interest in mind

I don't know about you but I prefer to not live in George Orwell's 1984 dystopian world
Nice to have a ASCII-based REST API, but they should also add a proper binary protocol, which does not involve HTTP. Mainly to reduce parsing and encoding times.

(This is my personal and not my employer's opinion.)
Thanks :) I appreciate the feedback! I love the PH community.
I agree; deleting poor response.
I agree with every single paragraph.

Showing kids that coding is very rewarding and fun is great, as long as we don't waste the other kids time for no real reason (that's a means-end question and we're clearly biased, which is why I think this is so important to consider).

2D games are a great way to learn about trigonometry and these kind of things, no question about it.

It has to be a interpreted/compiled language, of course, otherwise it wouldn't be useful at all. But that doesn't mean it needs to be Python. I wonder what a modern-day Scheme would look like. Or maybe visual (think node-based) programming would be more suitable.
The goal may or may not be possible but development is already getting so simplified children are doing it. When 8 year olds are emerging as your peer and rival then you're in trouble, and CRUD web apps aren't getting any harder to build.

http://blogs.microsoft.com/firehose/2014/03/11/8-year-old-cr...
Hmmmm....

Anyone want to build an LLVM backend + FFI module? Probably worth a small fortune to shops that want to migrate out of MUMPS
Groupon has been growing some non-deals services in the past few years, I wonder if that's what's finally paying off?

My restaurant uses their POS+payments platform moderately successfully (for certain values of success, the POS world is awful). It's a side of Groupon that most people don't know exists, that I think makes sense.
That would require getting a handle on economics, corruption and political mismanagement. It would take a decade or more of change. They could align themselves more with the EU, but remember: The EU cannot, AND WILL NOT, go to war over a small asian country, regardless of how it align it self with the union.

So Armenia would risk provoking it’s neighbors, with no way of defending it self.

So, yeah, the EU would need to grow a massive set of balls and build an army large enough to keep Russia away, and station troops in all EU friendly states bordering Russia. I’d call that a 2050 plan at best.
Last time I had a physical confrontation at a bar, the first thing the guy did is make sure I could see a handgun behind his belt. Needless to say I walked away immediately.

Avoid this crap at all costs. Not worth dying over.
This kind of article is just irresponsible. It is going to give you a false sense of confidence and you will just end up getting hurt, or worse.

If you are really interested in learning how to defend yourself, you really should seek professional instruction.

And some of the information in the article is just flat out wrong, particularly where he talks about fighting multiple opponents.
There is a scenario which comes up somewhat frequently in sci-fi I read that I find really fascinating, but I've never seen anything use it as a primary story device. Essentially it's the notion that the first several waves of ships sent out to colonize would be overtaken by subsequent generations with improved technology, creating a situation where you might emerge from a relatavistic voyage across dozens of light years only to find a colony already created and thriving.

I think the one-way mission might be a similar situation. Presuming that the whole thing doesn't dissolve into farce, it seems likely that at some point a return voyage would be reasonable, potential health issues aside.
This is precisely what I came to post. I average 60 WPM for 4 hours a day straight on some days, so I inevitably get it but not as bad as most.

I'd go as far as to say stop what you're doing and move away from the keyboard, make an appointment to see the doc. Every second the poster is here they're just exacerbating the problem.
I personally found HTML + PHP a pain after playing django and it's template model found it removed most of the pain that I was encountering.
So, -j64 seems quite reasonable, if you have $20K around... ;-)

Personally, I would spend a part of the money on 2048x2048 square LCD screens. They look really cool.
I'm not sure why you're voted negative for this. There are appropriate contexts for a restrained fight, to be sure: this advice may not be appropriate for an "honorable" bar-fight or a friend who's on meth. But this is similar to the techniques I'd use for self-defense in a desperate situation. The context of the article is that both diplomacy and escape have failed. Priority #1 is self-preservation.

If you're a young woman walking to her car and a man wearing a hood comes running up, yeah, use the pepper spray. Pick up a brick. Grab your keys between your fingers and go for the eyes. Attack the eyes, groin, knees, throat, fingers, and arch of the foot, and yell for help the whole time. The instant you can move faster than he can, get out of there and call 911.
That's more a gripe with badly-designed SPAs than all SPAs however.

Many SPAs use the history API[1] to make a URL for everything -- Backbone, Angular[2] and such support this for example. React.js apps typically use some kind of router component that supports this (or they can use Backbone's Router).

[1]: http://diveintohtml5.info/history.html

[2]: https://docs.angularjs.org/guide/$location
We're seeing more and more economic focused posts making it to the front page lately. We're all thinking about it due to high inflation and few options to protect our cash savings. That said, the quality of HN comments regarding economics tend to be, in my experience, quite low. I'd suggest anyone interested go seek out more qualified analysis beyond a weekend HN thread full of people like me regurgitating half understood economics theories we've absorbed over the last two years.
my prediction - within 24 hours someone will have posted details on how to use this to generate content for non-iAd purposes
It's probably not really a jump. In 1983 the Office of Information Assurance in the US Department of Justice probably was a tiny blip on the Justice Department's org chart with 5 people in it. It's pretty easy to get the title Deputy Director when you only have 5 people in an office.

Government titles are interesting. I've run into many Deputy Assistant Directors or other out there title just to fill in a line on an org chart. Plus it's easier to get money for a position when it has a title.
A related post from Google Security Blog[0]:

> "A recent study[1] found that "~70% of the vulnerabilities addressed through a security update each year continue to be memory safety issues.” Another analysis on security issues in the ubiquitous `curl` command line tool showed that 53 out of 95 bugs would have been completely prevented by using a memory-safe language. [...]"

[0]: https://security.googleblog.com/2021/02/mitigating-memory-sa...

[1]: https://github.com/Microsoft/MSRC-Security-Research/blob/mas...
I said willfully for a reason, as opposed to just reluctantly.

I agree about the sorry state of non-Google notifications on Android. I wish someone would make a common notification framework for the Free world that would be installed alongside system-level F-Droid. Although F-Droid Conversations and Element notifications do work fine for me, regardless of purportedly less battery life, I can understand not everyone wants to make the same choice.

However, I'm referencing more than the notifications issue. I recall an early thread from Signal where they touted the benefits of fully opting into the Google ecosystem - the gist was that Google has expended all of this effort on security and they wanted to take advantage of it to bring security to the masses. And that simply doesn't line up with my own threat model, in which Google is one of the most significant attackers.
Oh they'll screw it up. They'll say it's "hybrid" but promotions will naturally go to those who get more face-time. So the employees wanting to play the office politics game will be quick to realize it's best to be in the office.
I’m not going to be baited into silly semantic debates. Good day, sir.
The evidence is quite clear that going to college doesn’t actually improve life outcomes very much at all. We mistakenly thought it did for a while, but what was actually happening is the people who were going to college were smart and very likely to succeed anyway.
I agree if an employee needs to fight for leverage over their manager then hiding your notes is as good way to do that as any. But if you need to use this tactic it's a clear sign the workplace is not healthy.

So, instead of as general advice "never show your notes" - I would rise to a level above - first in good faith, but in a defensive posture observe if your employer rewards co-operation or selfishness - and then choose your tactic accordingly.

Falling under incompetent management is a double injury - the incompetence is both professionally reprehensive and being managed incompetently just hurts.
The WordPress foundation is a 501(c)3 non-profit organization.
They are absolutely required to report this to the data protection agencies in all European countries. As the other comment mentioned, missing the 72 hour deadline on this is enough to get a fine as Booking.com did.

I'm curious to see the total in GDPR fines from this for Facebook. Will probably take a year or two before we know.
You can't make the browser to send you cookies for other origins so you won't be able to use them from your server.
* 6 years old

* hundreds of millions of videos

* many make fairly strong pedagogical claims

* mixed in advertising and product placement

The third one there is the most important here. This isn't comic books, because comic books largely didn't claim to be educational. Seems like a new phenomenon to me. We have truth in advertising laws for good reasons -- companies making obviously false claims about their products' educational value is one of them.
Ah but unemployment where is the question, I'd (probably) want to be a low level Foxconn employee than unemployed in China. I certainly would rather be a low level Indian labourer than unemployed in India.

And its about the morality of allowing open immigration.

For example, I morally support the unification of Korea, even though it would be quite bad for South Korea but at the moment its horrific for the people of North Korea.
I expected a clever Evernote integration, but the article doesn't even mention Evernote.
Glad to see this point of view represented. I have never found the indignant reaction to the use of ad blockers very believable.

Advertising is predicated on lies, by definition, and I am only interested in making consumer decisions as far from the influence of marketing departments as is practicable. Advertising is the very worst that capitalism has to offer.

Moreover, I am not interested in being distracted by ads, ever.

If the the web turns out to be a house of cards that crumbles without billions of dollars of vapid ad revenues, then maybe that's a positive evolution.
This has been common in my experience as well, I have many unfinished projects in my past but not so many from recent years. I have also seen many indie game devs struggle to translate their passion into an alternative to a job because they just don't treat it like one.
Funnily enough, the Guinness Book of World Records started for a similar reason, settling barroom trivia bets
>[1] Having grown up in North America where it is common to refer to mathematics as the singular "math", it is still weird to type "maths" even after having picked up the habit a few years ago.

Maths is also singular, it just ends with an S. (People who say "maths" say "maths is my favourite/worst subject", not "maths are")
I found this article quite readable and the trick from the researchers smart.

They assume that galaxies are oriented randomly (from our viewpoint). In actual observations this does not appear to be the case. They then compensate for it to make all orientations as you would expect (random); The force that caused this distortion can then be calculated and it indicates the existence of dark energy.
I used to wear a watch all the time, until the strap broke. Ever since, I've found myself wanting a watch in situations when I don't have easy access to a phone. I would gladly wear a watch again.
Jason and I started out helping on the side and just recently began working full-time on K.A.

Always willing to chat about this stuff -- let us know what you're working on at some point.
I have a semi-expensive Swiss automatic (i.e. fully mechanical, no quartz/electronic stuff, recharged by moving your hand around). I bought it with unexpectedly large proceeds from a side consulting job later turned into full time. It has a glass back, so you can take it off and see the gears moving.

Given my work is all so ethereal, moving electrons around and sometimes turning them into photons, it's nice to have something mechanical, hand-crafted nearby.

It also has some permanence -- all the electronic gadgets, where I live, whom I live with, what I wear etc. has been switched out over the last decade, but not this watch.
1) We use dedicated hosting, it is still best on terms of reliability and security.

2) Not at all. But you need seasoned developers.

3) Our platform runs mostly in Java. So far good performance.
I can't imagine producing anything of any quality on LSD.
Yep, good point. I think it's a consumer expectation problem. We are used to installing desktop software by first downloading a package from the author's website. Linux distros break this expectation.

In mobile we have the opposite expectation. We expect to go to the platform's store and get the application.

Perhaps the introduction of the Mac App Store, Chrome Web Store, and (soon) Windows store will change the expectation a bit, and the Ubuntu way (which has existed as long as it has) won't seem foreign to people.
Good point about mobile! The expectation will surely change in the coming years because of the desktop software app stores. Linux, always ahead of the curve ;)
Soros is fighting the wrong battle.

Friedrich Hayek is generally regarded as the apostle of a brand of economics which holds that the market will assure the optimal allocation of resources... [and] whose two main pillars are the efficient market hypothesis and the theory of rational expectations.

This is usually called the Chicago School

No. Hayek was of the "Austrian school". The "Chicago school" came later [1]. It's really the philosophy of the Austrians that's he's objecting to. The Chicagoans arrive at many of the same conclusions, but do so not through philosophical inquiry, but through extensive reliance on mathematics and metrics. Much of what we see in modern econ derives from the Chicagoans.

Anyway, I don't think that he adequately rebuts Hayek. As Mises shows in Human Action, the human mind is a black box, and we have no way of knowing its motivations (frequently even our own). Therefore, it really isn't possible to say definitively that a person is not behaving rationally, and really the best model we can make (in the real world) is to assume that they are.

But even that doesn't matter. Because Soros conflates the Austrian and Chicago school, and only mentions the Austrian philosophy, he completely fails to rebut the Chicago arguments. So he hasn't really done anything to discredit a laissez-faire approach to economics.

[1] See especially discussion of Milton Friedman, https://secure.wikimedia.org/wikipedia/en/wiki/Milton_Friedm...
1: Well, it can be useful to map your src and dest ips to a map, but it can be left out, since the dashboards are fully customizable. Anyway, Maxmind GeoIP is widely used in this and other areas.

2: Yes, openjdk is supported

3: No, with this setup, you can extend the stock firewall functionality by forwarding everything to an ELK instance. You can search and visualize all of your firewall log entries with the full power of Elasticsearch.

Yes, a complete feature list and/or demo would be great, we will work on those, thank you for your feedback.

Feel free to reach out if you have any questions!
> People need to be required to wear a mask when they go out.

Well, you can’t do that here because those masks don’t exist. We don’t have enough for healthcare workers, much less everyone else.
I highly, highly recommend skipping Haskell for now and learning statically-typed FP using this excellent free online course: https://www.coursera.org/learn/programming-languages

The lecture videos are short, about 10mins each, and Professor Grossman explains the concepts carefully and succinctly, within a fixed teaching framework so you have a predictable learning experience with each concept. It's by far the best way to get into the mindset of typed FP.
Hey, thanks for the reply. Awesome, I’ll be excited to give the new controls a try!
On the other hand, I can't do any of my hobbies and contract work has dried up a little bit. I would like to be able to "deep focus" at will now more than during life-as-usual.
I haven't put the code up anywhere yet but here is all of the JS (minus some trivial inline scripts):

tools.js: https://pastebin.com/p7MQE7KD

The rest of it is like:

<p>You stand before a cave.
<p><a href="explore.html">explore the cave</a>
>Nano which is feeless, even faster and doesn't waste energy.

Suddenly the internet is getting filled by shilling of this thing.
At least in Postgresql, it is standard practice to use timestamptz type, which saves timestamp together with a time zone. Not only it uses less space on disc, but you can do a lot of operations with it natively in database itself: sort in various ways, compare to NOW(), construct time intervals and even ensure data validity with checks.
I'm glad that you found something that works for you!

FWIW, that description seems compatible with meditation technique. Meditation can be non judgmental in that way, and just be a matter of experiencing the state of your mind.
So what does help against bots?
I don’t think it was some crazy bot net trying to make money off camping slots. It’s simply a bunch of Silicon Valley nerds that figured out how to automate the booking system for the most desirable camping spots in the bay. But a few of them got greedy I think. Not sure why.

One of my coworkers wrote a bot and shared it around the company. Not sure how far that bot spread but I’m sure other people did the same.

And by bot I mean a pretty trivial selenium script. The parks really should have had better defenses.
For what it's worth: thank you.

Whenever I find myself reading about X11's history my conclusion is always that you guys are heroes. A small group of people keeping an ancient behemoth alive, dealing with plenty of legacy of the kind that drives people to quit jobs.

And when you finally decide you've had enough and go for a rewrite... people shit on you and everyone suddenly knows better.

Again: thank you!
This blog post also does that actually since the Brainfuck code is transpiled to C.
One interesting fact that has been missed here is the nature of time reversal.

F=ma. Switch on the time reversal machine: t becomes -t. Positions stay the same, but velocities reverse, because dx/d-t -> -dx/dt.

BUT accelerations stay the same! dx/d^2t gets a double negative, which is just 1. Gravity attracts in the future and the past. Throw a ball up and it comes back down; reverse the camera and it looks the same.

This means that (handwaving) forces are independent of time. And this in turn leads to a time-independent construction of forces - how about as the gradient in space (NOT time) of a potential.

This I think is a path to partial insight. A particle moves in a potential, and we can calculate the quantity 'a' from the purely-spatial gradient at the particle's position, without reference to time at all. And we can do this because 'a' is an even derivative of position.

This is a crappy argument; at best it argues that it's nicer that f=ma instead of f=mv or f=ma'. Fourth or sixth derivatives are not considered. Still, understanding dynamics as governed by position only is compelling.
Turkey does it too