jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
I don't think I have ever seen a mainstream language letting you design data types with a built-in normalization. The reason is that you normally have algebraic, i.e., sum and product, types. In such constructions you would expect construction and deconstruction to compose to the identity function. The closest that comes to mind are languages that marry algebraic data types with OO programming (scala, maybe OCaml, F#). There you can have constructing functions but the normalized result would still be expressed as a plain ADT. I also don't think that GADT's help here, but I might be wrong.

In any case, it is an interesting proposition. In order to be non-trivial the type system would have to be able to express the constraints of the normal form.
Wifi/Cable syncing of a desktop and phone app is a completely different beast to doing so over the internet. The difference is that when you connect your iphone to your laptop and sync, the app determines which one has the last state and updates accordingly. Over the air syncing would imply the possibility of different mediums having different states and having to consolidate all the data into a definite final state, preferably by updating, deleting, or creating single objects instead of a complete store of the data. Trust me, it's not that easy and lot's of implementations done already on other apps are not quality implementations. Actually a lot of implementations are really a hack plugged in to deliver the functionality asap. That being said, it's not something that should take two years in the making. Nevertheless, Things is already a great application in it's current state and well worth the money.
I am from India but currently in Portland, US. In the past I used to skip office to watch cricket match. Now I mostly follow it through cricinfo.
Ah, I think I know what is going on. Did you send a welcome message to the group from your cell phone? If you didn't then your group is staged and not yet created. I need to check for numbers in the staged groups as well. Thanks for the feedback.
This looks interesting. Awesome name.

First things first: when you get so much "feedback" on design and almost nothing on the actual function of the app, your alarm bells should start ringing. You are either asking the wrong people for feedback (highly likely considering most people here don't know cricket) or you are not really offering anything interesting.

Get rid of the name fields on the registration form. Add Twitter and Facebook logins.

Have ONE call to action on the homepage. Tell me what this is and ask me one thing to click. Anything more is overload and distraction.

So after I logged in, I went to the HN test match page. I clicked on Cast/Change Predictions, selected my predictions and clicked on close. None of those got saved. When I clicked on Cast/Change Predictions again, they were all reset.

"Contest" doesn't sound like the right word. Think of something more relevant to cricket.

On your "Start a Contest" page, why don't you add Flags of countries which one can drag and drop to make a match. Over time, you could add a list of upcoming international, national and domestic league matches.

Have a look at http://smarkets.com and see what they are doing right. Use the site to see how it works. I used it during the football world cup and it was effortless. I had never used a betting site before.

This is a huge market, so you've done well to start. But try and talk more to hardcore cricket fans rather than us programming nerds.
I think I practice this - I call it managing expectations. Microsoft does it with their call support, as well, albeit rather more in your face (an email sent shortly after first contract describing what they are going to set my expectations to - And we did not discuss it):

"As discussed, I am providing you a copy of our scope agreement for your issue.

Issue Definition: Users unable to login to xp workstations intermittently

Scope Agreement: Once we make sure that users are able to login to XP workstations the issue would be considered resolved"

But I find assisting clients with expectations, positive or negative, has great benefits for long term relationships. They learn that I am not just feeding them a line.

I tend to under-promise, and I warn clients when they get too exuberant after small initial success in a larger problem. I consider it Murphy, rather than cynicism/pessimism.
I haven’t finished the book yet but the chapter where he discusses the effects of cold temperatures on the body was the most interesting to me, being a Canadian.

But I’ll skip the cold showers and ice baths. I get my share of shivering by just walking outside. ;)
Personally I'm not a fan of Twenty20, having been a cricket fan since I was young I grew up watching test matches, so it just feels like an Americanisation of a more traditional sport.

Slightly ironic given I'm actually a bigger fan of baseball than cricket now, but my order of preference would go baseball > test match > twenty20.

Side-question: What country are you from, i.e. where does your interest in cricket come from?
Is it still true that parts of Skype are written in Delphi? If so, can you comment on which part(s), and why that choice was made?
Some of the key points of the paper:

Money multiplier theory, as implemented through fractional reserve banking, has been broken in the U.S. through alternative instruments(e.g. money market accounts), and has not controlled bank lending policy in the last 20 years.

The Fed persists in trying to make banks lend more, and has settled on taking on mortgage debt as the best means of doing so. Avoidance of the complete collapse causes homeowners to stay put, reducing labor mobility and increasing unemployment.

Fed policy and bank policy are determined by their "class" in society - the Fed is politically motivated and will pursue inflation even if it ruins the economy. Bankers will accept deflation so as not to cause a collapse. Japan is alluded to; it has a strong banker class that fought against pressure to inflate. The Fed is a stronger entity than the equivalents in Japan, but bankers are still largely unresponsive to its actions.

The paper concludes that a slow, deflationary economy will persist until the Fed releases the mortgage debt.

(I don't really agree, but don't have specific thoughts yet.)
Yes. From the very beginning, Skype was built as a kind of P2P messaging service. That fact has, somehow, become lost along the way.
re "what models people like to explain": There was some good discussion of lepton universality violation at the end of the announcement talk.

tl;dr - electrons and muons are leptons, but what if they don't interact with photons the same way? (ie the rules of physics aren't universal to all leptons)
Then this should work in java

long ino = (Long)Files.getAttribute(file, "unix:ino");
I think they are addressing their fellow network admins with that comment
Kod is pretty far away from being a "usable" editor (in its current state), so TextMate 2 isn't nearing imminent doom. Besides, there was a blog post about TM2 nearing completion, which means it should ship sometime around Summer 2008. loljk

I'm pretty excited about Kod in general though; the design has a real great start, and the scripting foundations he's building seem really interesting. Open sourcing it should (hopefully) speed it along to reliability and completeness sooner rather than later, too. Will be a fun product to watch.
I can see the value of RVM for developers, running the same code against various gemsets and versions of Ruby, I used it this way, but not for deployment, why not simply compile everything necessary by hand, install the necessary gems, say ruby 1.9.2 with rails 3.0.3 and some other gems, and them use the result to chroot personalized deploys (or containerize them) instead of installing various versions of ruby with one shell script?

EDIT: Well, since you cannot answer in this thread feel free to answer in my first comment in this thread above if you wish.

EDIT2: I found this article about the matter, I found it to be good, I agree with him in the large picture: http://rcrowley.org/articles/dependencies.html
Ah, this is helpful, as I think it highlights the point of disagreement. If you are of the view that an MLM scheme is legal if there is a "real product" that "might be useful for some people," even if that product is a zero-cost ebook, then I think that this is oversimplistic and you would have to consult a lawyer on it. As I mentioned above, the mere fact that you have a copyright backing a pyramid scheme would not necessarily absolve that scheme of responsibility. My guess is that other factors, such as how you advertise the scheme, would be relevant.
Yes, true. I didn't parse the previous comment right, I see the point now.
I like the project.
Let me give you some background on how I handle books, maybe it helps you with your work.
I read around 800-1000 pages a month, spend a lot of time searching for books to read next, and find it hard on amazon or anywhere else to get good suggestions. I have to collect and manage a queue myself so that I don't run out of material.
I have two queues. One are actual physical books at home (shipped three at a time for free shipping, 3-6 books total).
The other queue are bookmarks in my browser(3-10). So I can think about the book for some time before a purchase.
The bookmarks either point to the amazon page, or wikipedia.

I would have some suggestions for your service so that it would benefit my habits.

- I like the /test layout with floating sizes better. It does look more like crawling through a box for the next great book.
However, I scrolled down maybe 6 pages and could have made 3 screenshots where the same book shows up twice at the screen. This is bad. I don't want to see a book twice at one screen or even after scrolling down for an hour. This would make me feel like I'm wasting my time because I already ruled out a book by not clicking on it.

- I want to bookmark a book-page, and the bookmark should stay alive. If I come back a month later, it should still work.

- On a single detail book page I would like to see the author as a link(not dead text), which should take me to a page like the start page with all titles of that author.

- You seem to have amazon and goodread for user review. I always go to wikipedia for the single book or the author. So I think you should have a link to wikipedia too, if there is one. For a book detail page it should be the wikipedia article for that book or the author. For an author summary page it should be the author wikipedia page, if one exists.

HTH
Looks nice.

You should add `-webkit-backface-visibility: hidden;` to the elements that have that weird shifting behavior, such as your `.modal-form-wrapper`. Pretty much anything you've done a non-3D transform on.
Although in those, they targeted using pretty close selectors and the payload was browser exploits with a very advanced dropper from what is essentially a big, supported modern malware construction kit. GCHQ used the same technique, but leveraged it to do a very different - and actually far more intrusive and destructive - thing.

This, by contrast, is a widely-targeted, fairly dumb DoS payload - but of course, not every DDoS has to be smart! Scale does all the work, and dropping malware, albeit relatively benign malware, en masse like this yields a lot of scale. This is particularly bad when there are potentially more personnel adapting it to evade defenses than there are personnel trying to defend against it: bravo to the GitHub security team!
HTTPS is not secure when we talk about China it is false sense of security!
Last case 7days ago:
http://www.theregister.co.uk/2015/03/24/google_ssl_cnnic/
Thanks for being patient and providing links.

How do we know the closed source version of signal on the app stores is using the same MRENCLAVE as the one from the open source server?

Also, my understanding as to why a contact graph is needed at all is because signal wants to increase their virality. Couldn't we forgo this unnecessary feature? Signal could generate a long enough key locally, and if you want to add another signal user, the client could send it automatically to a contact through SMS. The client on the other side could automatically read the key through SMS and add the contact. Or the user could manually send the key through any mechanism they wanted.

A third note, trusting SGX assumes that 1. it has no bugs, and 2. it has no backdoors, 3. Signal server code has no bugs, 4. Signal server code has no backdoors. The first two of these are not strong guarantees, especially considering that it's not open source, intel doesn't have a great track record, and nation state actors have been involved in weakening these sorts of features in the past. At least with the Signal server code you can audit it.
Agreed! You'll note that I was responding to the idea of a tax code of only a dozen pages.
You can very fairly blame them for not removing him. I don't think you can blame them for the storming as Trump has the support of the base. They do not.
'Far-Right Protestors'

So if you're a Trump supporter you're now apart of the 'Far-Right'? I wonder if this labeling by the media has led to the protests we see today.

As a side note, you never see 'Far-Left Protestors' as a title. Surely there had to have been some 'Far-Left' protests in recent memory.
As a vim user who recently migrated to emacs, this is 100% true. Emacs is now, among other things, a superset of Vim.

Before using Emacs, I had always read that emacs has a steep learning curve. I found this not to be case since the vim emulation was so good and so complete, I was reasonably productive pretty quickly even though I obviously have a ton to learn about emacs.
There's work for that for the Mister system, https://github.com/MiSTer-devel/ao486_MiSTer
NSA also forked their own version of Linux, SELinux [0]. And were gracious enough to include it in most distros. And while it was extremely audited, at the time, because of the reputation of the maintainer it never quite sat right with me.

[0] https://en.wikipedia.org/wiki/Security-Enhanced_Linux
L5 / "Senior Software Engineer" expectations are such that you have to have "influence beyond yourself", own some area of work, set technical direction for some other engineers. You're either a team lead or an "exceptionally strong individual contributor".

It's not really that chill, and if you don't continue to do those things (lead or be exceptionally strong) that will show on your perf and therefore your compensation. Going from L4 to L5 means committing yourself to doing that on an ongoing basis. Remember at Google that "consistently meets expectations" is only a 2 out of 5 rating, just above "Needs improvement."

Coasting at L4 ("SWE III") could be fine. Large independent technical contributions, manage your own priorities, participate in design, etc. Solid individual contributor. Really equivalent to "senior developer" at most other jobs.

But now let's say you want to go transfer to a new project. The manager on the other team sees you've been at Google many years, but still at L4. Hm. Results may vary.

Not everyone makes a good team lead. Especially in a place like Google surrounded by PhDs and super achievers. But the expectation at Google up until very recently was basically that you should become that, or get out. Now in the last few years, it's been stated it's perfectly fine to plateau at L4. But I'm not convinced that that's the reality of the culture or expectations of managers.
Shots have been fired in the capitol building.
This is history in the making. Whoever is flagging this, please kindly log off.
It's totally a preference thing which I admit. Personally however I think that all namespaced PHP code should go into src/$namespace. Config and tests directory not withstanding.
It's quite literally a public beta, just that the other traffic participants didn't get a say in the opt-in. Given the stakes for them I agree that it begs the question.

In the end it's a regulation problem, not a Tesla problem (even though yes, the specific decision to exercise their options is theirs) - do you allow unlicensed drivers to perform this on-road testing of unfinshed vehicles or not?

It's not quite a deliberate information hiding campaign as with MCAS (as far as we know). But it is pre-production testing of experimental engineering on safety-critical equipment. Experiments not guaranteed to pan out, and engineering lacking a mature certification process.
It is funny to me how most of the self-driving industry is hellbent on solving the long-tail problem while Tesla is stuck on…most of it.

It’ll be interesting to see if they ever add LIDAR/re-add radar and admits their mistake.
GetMyBoat | REMOTE | https://www.getmyboat.com

UX Design & Product Lead
https://uxdesignproductlead.carrd.co/

Product Specialist
https://productspecialist.carrd.co/

ABOUT GETMYBOAT

GetMyBoat is one of the world's most exciting no-travel startups of 2021. We offer remote work, a global team, online collaboration, exciting growth, and a friendly, supportive culture. We are a small organization with very high impact people that are focussed on winning and loving what we do. We were recently named in the Digital 100 top growing brands 2021, and 2020 Apple App of the Day.
Yes, I can blame them. My inbox despite Google's spam filtering is full of Indian offshore developers who believe that hustle trumps all. And that's including my right to have people respect my contact page's clear indication that I don't want to outsource web/SEO work.

When that hustle steps on my turf, yes, I blame them.
It's true those all have better reward profiles than CS. But I'd still consider an apprenticeship instead of a degree for civils and mech eng.

>Would you hire an accountant for your business who was just enthusiastic and good with Google?

Oddly enough I taught myself basic biz accounting using enthusiasm and Google. The wheels haven't come off yet, so it may not have been a total failure.

Bio lab work you can do from school. Bio innovation is a whole other thing and you'd certainly need a good degree for that, if not a PhD.

But OP specifically mentioned computing and showed no interest in civils, elect eng, bio, etc. So snarky comments about not knowing that other options are possible are perhaps misplaced.

Also, I remain unconvinced by the quality of much degree-level education in the UK. The mid-lower market seems more about getting bums on seats, and high value degrees are not so easy to find. With so much competition from (rich) fee-paying foreign students they're even harder to get onto.
I don't think the question asked makes the asker anti-patent.

In your comment, you wrote: As engineers we have a responsibility to design systems in ways that minimize the effects of human error.

That's more than a little didactic and preachy. It looks to me like you're trying to tell everyone that they have a moral duty to design systems in particular ways. That's well and good, another design principle for all of us to observe. But you also write that you got a patent on an idea or method of how to actually implement that design principle. It makes it seem like you've got a profit motive for prescribing the design principle: you've got a patent on the way to implement that principle. We've got a moral obligation to implement that principle, hence we should pay you (or your assignee) for the idea.

The question isn't anti-patent, it just gets at the motive for prescribing such a design principle.
So...insider trading then?
Trump says America first - BANNED

Iran's Ayatollah says Death To America - allowed.

Just shows where people's allegiance lies.
This sounds like exactly what you want:

http://www.browserlinux.com/

It mission is to answer your exact question, pretty much.
Yeah, you don't want to make it look like spam! Put some 'teasers' on the page like you said. How else do you plan to tease it if your not really teasing? If you don't want to give away your idea, try to be as vague as possible with the content on the site.

How about making a survey to see if you can see if users are interested in your product/service and the same time your offering some idea of what your product is (or so they think). This is a great way to kill two birds with one stone.

Tip: Change up the survey every so often to see if you're still consistently getting similar responses.
I think this is the fundamental misunderstanding of Reddit on HN. If you stick with defaults, you're missing the best features of Reddit.

Customize your frontpage and set your thresholds, and Reddit is whatever you want it to be.
It's almost impossible for me to get a ride out to Ozone Park in queens, but reading this totally makes me understand why.
Yes, the US tax system is too complex... but I find it really hard to believe that he didn't make a large profit with 50,000 page views per day with a relatively static PHP site (hosting cost probably $10/month).
This is going to sound strange to those of us who lived through the dot com boom of the late 1990s: Aeron Chairs.

Yes, they're expensive. Yes, they are emblematic of startup excess. But the productivity improvements from having your entire workforce far more comfortable than they would be in 99$ Office Depot chairs will likely astound you.

Also, they don't depreciate much. And your ass/back will thank you.
That is a clearly predictable outcome of overzealous regulators and labor unions. When overhead, risk, and direct cost are raised a business will rationally shift more resources into automation and electronics. The increase in price of unskilled labor means that the supply and demand curves don't actualize and what you get is less consumption of the resource, actualized through higher unemployment rates.

This also means that highly skilled people become more in demand because they are the ones that are capable of designing and implementing these systems.

Unleashed unskilled labor in a low cost country such as China doesn't help the plight of the unskilled labor force in America/Canada either. Especially with the artificially low Chinese currency.
We still have the money to throw at the problem. The real problem is that throwing money at education =! better education.
Seriously... you had white people tell you to get double eyelid surgery? I'd be surprised if more than a small minority of non-Asian heritage people in North America even know what that is.
> raise them in a language that will limit their life choices and potential.

False dilemma. You can raise a bilingual child, in no way limiting their life choices and potential. In fact, there is evidence that suggests that bilingualism provides cognitive benefits later in life.
> Hail Seitan

Well, if you're gluten intolerant, they both cause trouble down below.
There's consequences.
The difference for me is that these companies are blaming it on the rhetoric of Trump and his supporters. However the rhetoric was no different on the morning of the 6th than it was before that. They are simply judging it based off the fact that the violence inciting rhetoric actually resulted in violence this time. If the rhetoric was the problem, these platforms should have acted much sooner.
Reddit's last change of CEO happened the same month as Twitter's, more than five and a half years ago.
Back when I was a kid the red-headed step children of the Internet were the warez, neo-nazi, « revolutionary » (read bomb-making), spam and snuff sites. I'm probably missing a few categories. And that's just the contentious stuff. There are things that even the most zealous free speech maniacs would have a hard time convincing themselves should be allowed even a modicum of publicity. Child porn is the most blatant one.
You know what scares the shit out of me, to use your phrasing? The people on that site murdering me or overthrowing the government, so that they seize power and elections end or become irrelevant.

“The free Internet” has value, but it’s not the only thing that has value. When it conflicts with other values, then there has to be a nuanced resolution.
If there is a USD to USDT match, where are the audits?