skysight-inc/HackerNews huggingface dataset:
Unfortunately the arbitrary "leave everything un-optimized" also misses the point because in practice we don't.

> (d)evolves into a lookup table

We can make the arbitrary decision not to accept that, and instead try to use our best judgement on what optimizations to accept.

"One can, with sufficient effort, essentially write C code in Haskell using various unsafe primitives. We would argue that this is not true to the spirit and goals of Haskell, and we have attempted in this paper to remain within the space of "reasonably idiomatic" Haskell. However, we have made abundant use of strictness annotations, explicit strictness, and unboxed vectors. We have, more controversially perhaps, used unsafe array subscripting in places. Are our choices reasonable?"

http://www.leafpetersen.com/leaf/publications/ifl2013/haskel...
Wow, those companies definitely are low-balling (especially for a senior position in the DC area). Were those positions ones that required a security clearance, though?
That's a great suggestion and I will make a better comparision with real numbers in the next release.

Currently, the memory usage is similar or less than that of Chrome/Safari, with most memory being allocated by the JavaScriptCore VM, render geometry pools, and some by the GPU texture atlas.

So far, we've managed to reduce the total binary size to about 25% of a similar Electron-based app by reducing dependencies to the bare minimum and punting platform features to be handled by the embedder instead. See our Platform API [1].

As far as runtime memory usage goes, a lot of that memory is being allocated by pools and cache structures to improve performance (the same is true in most browsers). We will be implementing a memory management API soon so that this behavior can be configured (offering users the ability to strike a balance between memory usage and performance).

Additionally, Ultralight is NOT multi-process. The overhead of tens to nearly a hundred renderer processes makes sense for sandboxing in a browser situation but not for HTML UI where the assets are controlled by the user and security is less of a concern.

- [1] https://github.com/ultralight-ux/ultralight-0.9-api/tree/mas...
10 Penjaga Gawang Termahal Di Dunia
Blippar is using AR to help customers find their way indoors
Can you share the granular data that would lead to the results in your paper? In other words, the 504 cases that would yield different results based each additional factor included?
I wonder how susceptible this is to wear. The main advantage of sprockets and chains is that they can take some beating before failing. The cam (?) plate has to take some wear pretty quickly since it does not seem to be hardened.
Bear in mind that that would be the rate charged to the client. In France you'll have to actually have a company of some sort and then you'll get some form of salary (either dividends or actual salary).

The ballpark for your actual cash in hand, assuming no other costs for the company, would be whatever you charge divided by two (social security isn't actually free).

Of course, some things can be expensed, which is a huge advantage, for example a company car or motorbike, a laptop, etc). But it's not entirely free if you use them on your personal time, theoretically you have to pay income tax on some of the object's value.

So the numbers are, considering 220 working days a year (which is probably optimistic, because you have to budget some days to find and develop new leads, plus vacation, sick days, etc):

400 € / day = 88 000 / year => 44-45 000 after tax

Another thing to bear in mind is landlords and banks have a strong preference to rent / lend to people with a stable, long-term contract (CDI). As a freelancer, especially in the beginning, you'll probably encounter quite a few of them who won't want to do business with you. Plus, being a foreigner won't help.

Source: I'm doing the freelance thing.
Show HN: Admin UI/Content Manager for Vuepress
I'm sure what adamjs meant is "it's not just a renderer."
>You can make junk food at home quite easily for even less money.

Sure you can get 2000 calories per dollar eating homemade sugar cookies, but you probably are going to get sick of it and grow unhealthy. Low protein per dollar, low fiber per dollar, all of these are important qualities you dont get in 'junk foods'.

A Chicken Rice Veggie dish like Fried Rice, Chicken Curry, Fajitas, etc... are closer to 700 calories per dollar(less than 20$/week), are around 40-50g protein per dollar, and have nutrients from various vegetables.

Junk food performs poorly in non-calorie metrics like Protein and micro nutrients.

>Ingredients like potatoes and vegetable oil are literally cheap as chips.

To clarify, potatoes and vegetable oil are significantly(~10x) cheaper than packaged chips.
I thought they were using Flutter in desktop development by way of the Fuchsia operating system.
Assimilating a meaningful part of the canon requires a considerable time investment. For many people, university is the only time in their lives they will have that time for reading. Sadly, you just cannot expect the average working person (especially after they become parents to child) to maintain time and motivation for such a program of study.
Wow. I've only ever had one significant romantic relationship - still together after nearly 30 years. Just as we were coming to the end of our 30s we had an unexpected blooming of the emotional and sexual intensity of our relationship that went on for years. When it eventually fizzled out (the intensity, not the relationship itself) I was heartbroken, and 3 years later I still kinda am, and still find it really hard to accept

I do best when I manage not to think about it at all, but perhaps rewriting the story of that golden age in my head (obvs without demonising my wife) is what will actually work for me
Yo banana boy

Racecar
Um... You should probably look at how their "Quality Filter" is shaddowbanning without actually removing tweets.

The short version is unless you follow that person already, you won't see them organically in any feeds. They could #JonathonKoren and you won't see it because they are effectively hidden unless you already followed them.

What Twitter is doing is absolutely political censorship.

EDIT: There are tools to detect the "Quality Filter" there is a hidden cam interview with an engineer from Twitter explaining it. Hardly conspiracy theory. I don't know why it doesn't seem to be an issue for you, or anything about your anecdote of not seeing it.
This Winner Takes It All: SoCal Digs Regional Theater Premiere of  “Mamma Mia”
Yeah. I think the creator could have benefited from posting more documentation, videos, and examples of what this thing really looks like in practice.

When the documentation is so sparse it begins to feel a little like vaporware.
Not sure about this specific paper, but I've been following John Tromp's work on this for a while. Its current homepage seems to be on GitHub https://tromp.github.io/cl/cl.html

The paper assumes knowledge of combinatory logic and lambda calculus, which you could probably find videos about. This paper uses pretty standard notation, so almost any video/course/book/blog/etc. should be OK. The main thing this paper does is to define a way to encode such programs as a string of bits.

Note that combinatory logic is one of the simplest Turing-complete programming languages, but it's so simple that it's basically unusable for anything more elaborate than toy examples (the paper actually has a quote from Chaitin saying this!). Once you're comfortable playing with little examples containing a handful of symbols, that's basically all you really need.

There's a nice book of mathematical puzzles https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird which is actually based on combinatory logic. This is why combinatory logic terms are sometimes referred to as "birds", e.g. in this Haskell library: https://hackage.haskell.org/package/data-aviary-0.4.0/docs/D...

If you're familiar with other programming languages, it's usually pretty easy to implement combinatory logic and play with it. For example, here are 'S' and 'K' in Javascript:

function k(x, y) { return y; }

function s(x, y, z) { return x(z)(y(z)); }

This isn't quite right, due to most languages using strict evaluation, but the following Haskell is essentially correct:

k x y = y
s x y z = x z (y z)

There's also the esoteric language "unlambda" which implements these directly, including the "monadic IO" that the paper mentions https://en.wikipedia.org/wiki/Unlambda

Lambda calculus is more tricky than combinatory logic, since it contains variables. It's also more widely used (e.g. as the basis for many functional programming languages, like Haskell and Scheme), so there should be more material available. In essence, when you see something like:

λa b c.x y z

You can think of it as acting like this Javascript:

function(a, b, c) {
return x(y)(z);
}

When it comes to Kolmogorov complexity, maybe the Wikipedia page and its citations will help ( https://en.wikipedia.org/wiki/Kolmogorov_complexity )? Notice that all of the definitions, etc. on that page assume that we're talking about some particular programming language or machine, but the examples use pseudocode rather than a "real" programming language. This paper is basically saying that we should use lambda calculus as that language, and we can measure the size/length of a program by encoding it as binary according to the method given.
So literally UX
Doug Field, former Tesla engineering chief, returns to Apple
Well written post
Who was nickb?
Because, buildings. And social structure.
One where you don't get sustained funding to maintain it. In compbio even major resources, known to everyone in the domain only have funding from one two-year grant to another.
All this being said, I won't be shocked if the end result of all of this work leads to Gecko being entirely replaced in a Ship of Theseus manner eventually. It'd let them get almost all the benefit of actually wholesale replacing it (they'll still end up with technical debt from the legacy interfaces) but they'll be able to get the benefits from it sooner than having to wait and essentially halt all other development to be able to bring it into place.
I don't believe it is. Check out the files you get when you download the "SDK".
Sadly typical writing style for business self help.
> handful of global platforms have a veto on what software we are allowed to use.

Wouldn't Mozilla count in one of those global platforms? I'm not sure what this "handful" includes and why it doesn't include Mozilla. It is by many metrics the 2nd most used browser.
It is (or was?) quite common to have a valet key, which would start the car, but not open the trunk or glove compartment--and in some cases would limit the speed of the car to below e.g. 30mph, in case some valet tried to take the car for a Ferris Bueller-style joyride, I suppose!
"Possibly, can I see the details of this task?

I can work the hours, but I'm not sure the logistics and ergonomics of transporting that quantity of material."
I switched to nextcloud a while ago. When Dropbox started sending me email after email telling me they were going to delete my account soon, I couldn't wait for it to happen. (OK, I could wait since I wasn't willing to spend time to log in and do it myself).

It is nice to know where my data is.
Yeah, we have a bit too much WebKit around.
This article is really funny.

I wrote the API for https://RinkAtlas.com, as well as everything else that is RinkAtlas. So I thought, based solely on the title, that the article might apply to me.

It doesn't really apply to me, since I live in Bucks County, Pennsylvania and drive my car nearly everywhere I need to go.

But the references to airlines and airports are ancillary to the points he's making about jobs in this world economy in 2018.
Not sure. I'm not on the team, but I seriously doubt their intent was to write bad software. I know before ipsec existed there was nothing, so why not thank the individuals who worked on it for pioneering the effort in the first place?
I imagine the intent of something like this is so you can embed things in your app that you've already published online (e.g., support documentation, news posts, etc).
Sure https://arstechnica.com/tech-policy/2018/08/georgia-defends-...

> In addition to the problem in Habersham County's Mud Creek precinct, where it appeared that 276 registered voters managed to cast 670 ballots,

That's a mix of paper of machines, as well as a host of other problems
http://www.dakshgautam.com
Agreed. Plus, condensation in the fridge can't be good for some keyless entry fobs. A small metal box should suffice.
That's because he can't make a single comment on a thread without at least throwing a least a couple of backhanded insults in there.
Here's what I find happens. I'll work on a script in bash because it really seems best for the job up front and quicker than coding in Python (say). The script starts to work its way up in size, 50 lines, 100 lines, 1000 lines. Then inevitably there's just "one more thing" that bash really isn't suitable for, and I wish I'd started with Python in the first place, because now I have to rewrite a 1000 line script.
I also dislike Google Analytics for the same reason. However, I manage several websites and I still want a way to monitor their trafic. And I don't know any other tool that is as easy and complete as GA. Till now I resist the temptation of adding it to my webpages, but I am looking for a solution.

Do you know about an alternative?
Is Liberal Racism a Horse of a Different Color?
Another reason to checkout firefox.
> Steps to stop car thieves

5. Leave your car in the garage with the door closed
How are their mobile offerings? Would be nice for Intel to get some competition in that space!
AFAIK 10 Gbps is the highest consumer internet bandwidth in several countries. So it's still possible.
I can see the app running - but doesn't change the display when I select a simulator option from the drop down menu. Will play around with it. Thanks!
Heck, in most of the US just driving a manual will stop 95% of thieves.
Because the client can be just as vulnerable to security issues as the server is.
The concept sounds perfectly acceptable and promising: documenting brain activity to aid in the diagnosis of mental illness, but this treads on some touchy issues. Specifically, what is and isn't considered "normal". The article notes that...

"Unlike other branches of modern medicine which use biologically-based tests of disease, psychiatry still relies on patient reports and physician observations".

That is true. But unlike other branches of medicine, psychiatry doesn't try to fix people that aren't struggling. We go to the doctor, who then tells us our BP is too high and we need to exercise more. We don't go to our psychiatrist for such checkups. A doctor knows what good and bad blood pressure look like, and will seek to move us from bad to good. Today, psychiatrists rarely ever examine, let alone treat, people until their mental state is negatively impacting their lives. They treat the clinical case. They don't go around telling people they are sick in the way medical doctors look at blood pressure. A brain scan, a "biologically-based test" opens the door to treating people who aren't yet a clinical case. I am sure that such scans would aid in the diagnosis and understanding of mental illness. But by expanding the diagnostic process, these scans would also open up a huge new market for the psychiatric treatment of non-clinical cases.
At 28% not so much interesting. If you still have to run the ammonia sprayer through the field (for the other 72%) then yours costs are almost exactly the same, but for a few cents of ammonia. Its avoiding the task altogether where some real savings could occur.
I think that a populace educated in the humanities is an immense societal good. Of course, this view is informed by my own personal interest in these subjects and has little to do with the economic incentives college students must consider. I was able to balance these interests by attending a school with a “liberal arts” slant and choosing to major in a science. I think I got some quality exposure to the humanities in my gen ed courses but was still able to obtain an (economically) valuable degree.
a regained sense of history as a repository of wisdom and example rather than just a litany of crimes and wrongthink.

I hadn't thought of it like that, but upon reading this, suddenly it seems so clearly true.
This really seems to be one of the important problems (not the only one and I certainly wouldn't want to write a thesis here)

Humanities in the 70s/80s meant your degree wouldn't cost 6 digits and you could probably find a good enough job as a teacher or in the editorial market (press/publishers/etc) or in several other places.

Today those degrees costs one zero more and pays half of what it used to, and your knowledge of Latin won't be only useful for fancy coffee names, if you're lucky.
I've used it for the past 4 years as my primary development machine. Never once had an issue. However, I used Arch Linux, which always has newer kernels. I know there have been some bugs on other distros which run older kernels.
It's like the wisdom about functions longer than a page or a screen: If it's more than a screenful of actual logic, breaking it up will help you continue to understand it. If it's a long function which is essentially a switching yard, like the central dispatcher in a bytecode interpreter, breaking it up won't make it any easier to understand, because it's pretty simple as it is.

Bash is good for switching yard code, where you're gluing a lot of program invocations together with a few variables and a little bit of logic. It can certainly do other things, but that kind of code is the least risky when it becomes big.
Wow, that's awesome that it supports DOM.
Are you saying the jury is somehow out on greenhouse gases? Because we definitely know it's affecting the planet. And we definitely know we need to cut back on carbon emissions. And we even know by how much. The externality is not hypothetical, we're living it, in real time, and so have a pretty damn good idea what we have to do to bring things to neutral.

Anyone claiming otherwise simply would rather not lose their profits, or is being payed/brainwashed by those people.
Eh, I don't think it's capitalism per se, but more a direct consequence of the state of the art of the technology.

Moore's law is coming to an end, Intel institutionally has always relied on their process advantages to stay ahead. But now it's only expected that others are catching up as we see that moore's law is really an s curve. Intel will get another bump with 10nm. They're taking on EUV 'early' where no one else is (which is what's taking so long) and it'll probably mean that they have a head start there once they figure it out, but that'll be one of the last bumps for them. BEUV is sort of intrinsically flawed.
The base level doesn't need to have a floor, it's just ground. Once you add a floor you are on the first floor above ground. Really your condescending tone as if all the mathematicians that prefer to work with 1 indexing are just incompetent is grating.

I'm happy to be writing

```
for i in 1:n
func!(a[i])
end
```

to iterate over an object of length n. Or split an array as a[1:m], b[m+1:n]. Slicing semantics which are far more prevalent in my code (and the code I read) than index arithmetic, are truly vastly simplified by 1 based indexing of Julia compared to the 0 based numpy conventions. We simply no longer code in the world that Dijkstra argued for, and I have not seen anybody give a clear argument that is actually rooted in maths and contemporary programming.

I genuinely thought that the Python convention was brilliant, and that 1-based indexing in Julia would suck. It turned out not to be the case.
Don't limit it to "physically", just imagine a person who pushes themselves really hard in all aspects of life. That pretty much describes who I was. Beyond a productive person, more like a natural stress-bringer.
Well, decertifying them might not be in the best interests of those potentially benefitting from the current situation. The US is pretty unique in the world in the sense that you can effectively have a minority party hold on to power because of gerrymandering and, well, hacked voting machines.

If outside hackers can influence the midterms in a way that is beneficial to the GOP - why would they do anything about it?
How can you verify your vote was counted correctly without a receipt?

Vote buying is an issue without receipts. See tax cuts for the high income earners (right), welface increases (left), etc. If someone pays you $200 to vote for them, is that substantially different from a $200 tax cut or benefit increase?
Further RFC Key Words (2013)
Not really, google has committed itself to censorship (see https://news.ycombinator.com/item?id=17730842 for example) so it's completely expected that they would do things like this, and therefore it's the opposite of ironic.

Tools for evading censorship are one of the most important things to censor (in order to make sure the rest of the censorship is effective).
If the singularity comes to pass the humanities subjects and the very concept of the human condition will become as intelligible as the Voynich manuscript.
Isn't the wireless garage opener security even worse than cars? They probably open after simply replaying the signal.
I am secretly hoping that at least for Desktop Mac, Apple could switch to AMD. They could leave the Mac Pro and iMac Pro for Xeon ( Or they could choose AMD and that will be EPYC ) But right now it is very hard to argue for purchasing Intel when AMD offer many more cores for lower price at the expense of ~20% peak single threaded performance.

Unless Intel offer Apple very good deal but I thought part of the Intel / AMD agreement was Intel can not use any tactics to undercut AMD with incentives or rebate or something similar.

At the same time Intel is like assembling old Apple alumni from CPU to GPU.
I'm not an expert on agriculture effects on ecosystems. Baseless speculation isn't nearly as interesting.
I wonder if this correlates with flood myths: https://en.wikipedia.org/wiki/Flood_myth
I've been at the table when middle aged women objectified men, discussing package size, etc in a work environment.

It wasn't a big deal. I wasn't offended.

I don't think that's prescriptive for anyone else. I'm older, and I tend to just believe I don't/can't understand what makes one thing right and another wrong. I have enough of my own problems to police the actions of others.

It does seem strange everyone else seems so sure of how everyone else should be. That sort of confidence I only have towards technical topics.
At 'America First Energy Conference' solar power is dumb, climate change is fake
Isn't it always government? Who else would create those incentives/punishments?

The opposite of organic liberal organization is planned mandatory organization. It's a matter of discussing what plan is a good one.
> I would ask why a little boy identifies as gay in the first place, a bit young to be making such a big life decision.

It’s not about the little boy who identifies as gay in the moment; it’s about the little boy who realizes he is gay later on, and who has already internalized the message “it is wrong to be gay and people will make fun of you for it.”

And it’s not just gay people; this can apply to anyone who is considered “lesser”. The slurs are hurtful; and should be avoided out of empathy for your fellow humans rather than because the government said so.

But naturally there are a bunch of unempathetic edgelords who have to defy authority. So we are where we are.
For the US, the Oregon/Washington/Colorado style vote by mail ballot seems best. There is no need for anyone to stand in a line to vote and a human count of the paper ballot is possible if necessary. The computers involved are not in direct contact with the general public.
Python maybe. Writing scripts in Go is a nightmare.