skysight-inc/HackerNews huggingface dataset:
Actually, there's no difference in named functions and anonymous functions.

(define (f x) (* 2 x))

is equivalent to:

(define f (lambda (x) (* 2 x)))

and like:

(define n 42)

defines a named integer, there's no fundamental difference between 42 in this define form, and 33 in this list form: (list n 33)

In both cases, 42 and 33 are literals.

In both cases (lambda (x) (* 2 x)) (the function that has been named f) and (lambda (x y) (+ x (* 3 y))) are function literals.

This may seem more puzzling in other programming languages than scheme, but fundamentally this is is it.

So yes, the only reason we name them lambda, is historical (and comes from an incomplete understanding of lambda-calculus by John McCarthy at that, since lisp lambda are actually quite different from lambda-calculus lambda, because notably of the differences between the normal-order reduction and the applicative order reduction.

Note that some other languages use the keyword function or fn, instead of lambda.
In lisp, you can always define a macro to use the keyword you want:

(defmacro literal-function ((&rest bindings) &body body) `(lambda ,bindings ,@body))

(funcall (literal-function (x) (* 3 x)) 3) --> 9

But this wouldn't improve anything.

Also, note that both named and anonymous functions being function literals, they are immutable (only the binding between the name and the function may be mutable). You cannot modify a function during the execution of the program. Actually, this may be possible with interpreters working from the sexp, but it is totally undefined, and you would only obtain very implementation dependent results. What is generally called "bugs". For example, in emacs lisp you could write:

(defun f (x)
(let ((a '(1 2 3)))
(when (integerp x)
(setf (second a) x))
a))

(f nil) --> (1 2 3)
(f 0) --> (1 0 3)
(f nil) --> (1 0 3) !!!

But it is a bug, since you modified the source of the function: '(1 2 3) returns a list literal that should be considered immutable, but it is mutated by the setf form! The bug is that the function should have created a new list each time, with (list 1 2 3) instead of using a literal.

So apart the case where you have bugs and undefined behavior, there are very few programming languages where you can mutate a function value. Even in assembler. In older computer it was possible, but nowadays, with cache and pipelines, it's very difficult to mutate the code of a function!

So even for run-time computed function objects, there's not much difference between them and literals, since they're both immutable.

This is the reason why it is not too meaningful to name function literals, since this doesn't characterize or discriminate anything.
a lot of programming languages do have a way of specifying that a string constant contains embedded code or a template. Sublime Text for example will look for PHP heredocs with an identifier of XML, HTML, SQL etc. to know what to lex/highlight the string as. Or it will check whether the string starts with an uppercase "SELECT", as the chances are it's gonna be SQL. Code fences in GitHub Formatted Markdown are also a good example of this hinting.
>clearly know

This is clearly your opinion..
Buying digital advertising is big part of my job. I find the exact opposite to be true. FB provides high quality, low fraud. Especially compared to anything that's not Google/FB.

When we advertise to raise money (for politicians) that provides a direct provable ROI and I can tell you nothing else has come close. Seems that is true for many corporations as well just look at FBs growing revenue. FB provides the tools to measure either a sale or the value of an app install over time the increased spend is proof of quality/value so clearly many others have also found success. I wonder who/what/how your campaigns didn't provide value?
Encryption and Databases Are Actually Similar
The actual motion from the City Attorney which outlines the rationale. https://news.seattle.gov/wp-content/uploads/2018/04/HolmesMo...
As for me, these benchmarks are strange because there are solutions that are not omptimized -- in node.js implementation the memoized approach has been used (which outperforms the recursion), but in Java solution (as an example) -- the recursive approach has been implemented.
I write kernel mode drivers as my day job, and this is certainly the first time I've ever heard of non-swappable being called "wired".

It might be called "non-pageable", "pinned", "non-swappable", etc. Out of those, I'd prefer "non-pageable", because it's the most descriptive term for it.

Non-standard terminology is not great for communication.
SqlSatellite and communication between SQL ML Services components
I always get nervous when science start tampering with these things. Before you know it, zombie apocalypse!
Maybe an irrational fear, but how can we be absolutely sure (as in total certainty) that this kind of manipulation cannot "jump" to another living thing? Through mosquito bites, or by the mosquitoes being eaten by other animals, or perhaps by another, more subtle way?
Is this available as a service anywhere?
Show HN: Back endLab on product hunt
املاک دریاکنار – فروش ویلای 250 متری در خزرشهر شمالی and تصاویر
This is demonstrably not true. FB provides better tools than pretty much anyone else to tie sales to advertising (online or off) and to track app instal lifetime advertising revenue generated over time. The human data and walled garden of tracking they have are hugely valuable in proving ROI.
Yeah, the wto dispute resolution system is so fair that multinational corporations can no longer export pollution, weak worker safety protections, and fraudulent business practices to other countries. Everyone is on a level playing field. Or not.

Good dispute resolution systems are good. Bad ones provide the facade of justice and merely give credibility to those that have the power to commit injustice.
You don't even need 0-days, as most users hate updates and try to disable them, every single time.
Wow, that's a spectacularly bad solve rate. I'm used to ~95 % of murders getting solved.
Happened to me on all my devices. I smell a data breach.
Why leave out 2011-(mid)2012?
If the resource is peace and privacy then "tragedy of the commons" seems like a reasonable metaphor.

Can you post in a little more detail as just prefixing the bit you disagree with with "not" isn't terribly useful.
This is terrible news for those that didn't get included. The public will miss the details and think that everyone was included. Anyone with a conviction outside this arbitrary time period will be assumed to have some extenuating circumstances that meant that their conviction was upheld.
Why customer personas are key to e-commerce marketing
I mostly do not share these sentiments.

Before the late 1800s, few things were recorded in any way. How did Jenny Lind, "the Swedish Nightingale", sound? What did Marie Taglioni's en pointe style look like? What of all the lost films from early Hollywood, stored on flammable nitrocellulose?

What would it mean to keep petabytes of data "in a permanent way" which would assuage your concerns?
SQL Server Management console, Visual Studio, Windows Phone 7, Silverlight.

Then there was Longhorn, which failed more due to internal politics than due to technical issues, as Midori later has proven just to be killed by management, as decribed by Joe Duffy postmortem reports.

WinRT/UAP/UWP are built on top of improved COM, and .NET has a native personality for them, using AOT compiler for
WinRT/UAP (MDIL) and UWP (.NET Native).

Most of the new UWP stuff is written in .NET Native, with C++ taking care of the UWP runtime infrastructure, and the DirectX composition engine (Visual Layer).

The majority of Windows UI team UWP and FluentUI demos are usually done in .NET Native.
If you lack physical access to the parking lot, the classy way to launch your cyber attack is by miniature trebuchet.
Taxpayers already pay quite a bit to keep the cash system running. I think it would make sense for the state to provide baseline infrastructure for electronic payments.
Zoinks a coding contest :))
« Le Grand Échiquier »: Stéphane Bern Sera À L’antenne
How can we be certain that any chemical we put into the environment will not cause some catastrophe? We can’t. We can only study the solution until we get to some reasonable level of certainty.
Not to mention the fact that "-itis" refers to swelling so it's not even a medically correct use of the suffix! ;)
I am not sure to understand the definition.

The reference example might be related to (intended or unintended) irrationality by presumably/supposedly rational actors.

While the irrationality is very likely to be unintented, the issue revolves around the assumption of rationality of the actors.
Of all the benchmarks out there this is actually reasonable (though obviously limited). It runs the same thing in different languages and the processing time is long enough for VM startup not to matter.

Also the performance shows the bytecode languages C# and Java to do fairly well compared to C and GO.
Stop the centuries long control you've tried to hold over their homes, end the regular use of bombs and invasions, stop supporting the authoritarian regimes in their nations, and give the lm the sovereignty they crave.

Like in this scenario. There isn't really a radical element involved, and we are "supporting Human Rights" by backing a regime that many think is committing genocide.
I feel like maybe the store should just receive the payment in full. Then e.g. Visa could decide how best to make money off the system (say by charging the credit card users fees for usage).
The Missing Practical Step-By-Step Test-Driven Development
The rigth way to do fibonacci would probably be to add memoization...
But I suppose not adding memoization will reveal the real performance of the language
not op, but the laws he describes sounds a lot like what we have in Sweden. I'm not sure as to what number of hours a dog are allowed to be left alone though, but I think it's less than a normal working day, I have a bunch of colleagues who occasionally works from home due to their dogsitter being sick or otherwise unavailable.
If this happens retroactively, 2/3 of the jail pop[ulations would be free to live their lives without pain, despair, the misery of 6x10 21 hours a day even. Fact.
Just not idiomatic code
People have access to the financial system by virtue of having actual currency.

The question is how you move physical currency out of a payment system, if you don't have actual access to a bank. Essentially if you have "money" in any kind of non-cashable form you can't use it to buy anything. So being paid electronically in an environment where most people you interact with only accept cash/goods is essentially the same as not having money.

The ability to put money into any kind of electronic payment system is, if anything, less important than the ability to withdraw it, especially if you're in an environment that is still dominated by cash payments.
I noticed that with my mobile wifi (Huawei) which I generally leave plugged in, when my friend plugged in her Windows 10 tablet to the same power outlet (2 sockets), it suddenly noticed it as a new USB device. I don't ever plug anything in there except a charger for my bike light so had never noticed but I don't know if it has an autorun to install drivers they often do. Obviously the data wires are joined there..
"The architect and the painter"
"How the dutch got their cycle paths"
"Helmut by June"
To make things even more interesting, because of the overly long copyright, everyone's clinging on to anything they can. As a result a lot of stuff is buried and most likely destroyed by the passage of time (how many CDs have you had that can't be read anymore?). Say what you will about piracy, but it can surface interesting things people and companies are hoarding in the undefined hope that sometime in the future they will become valuable again.

Examples:

* source code and assets of games made in the 70's, 80's and 90's: very often you can see even the companies that made these games unable to re-build these games, because they lost the source code (!)

* documentaries from many broadcast networks
you could warm it up and pick it out when soft though
I don’t believe this could be transmitted by a bite. I understand this also requires that the target which is jumped to has the mosquito gene being targeted. I think non-mosquitoes don’t have this gene. I think this technology also works better on things that don’t have many cells.
Don't see the point really.

Languages without tail recursion will perform worse. Memoization is borderline cheating, because it's a different implementation.

Fib is the poster boy for tail recursion but the reason for that is that recursion to implement fib is simply a bad choice. It's cute but that's about it. If the point is to measure function call overhead, then measure _that_?
What’s the point of even mentioning the memoized versions? OF COURSE the naive recursive version is slow and it’s very easy to write something much faster in any language whatsoever.
The "right" way to do Fibonacci is to use matrix multiplication to get the nth Fibonacci number in logarithmic time (google Fibonacci log n matrix).
It's easy for us in stable nations to forget that there are many countries that storing your wealth in a bank poses a real risk of corruption, fraud or theft even by governments themselves.

Bearer instruments like gold and Bitcoin are important because of the fact that when stored properly they cannot be seized from you by a 'trusted' third party such as a bank and it's exactly because they can't be reversed.

It's good that we have both options.
I feel like the right to reject would lead to awful problems. How do I know if the particular card I get would work at a particular shop etc. There is certainly a problem, but rejecting cards outside of the normal Visa/Mastercard/Amex system is not the way forward and would be very confusing.
Ionic 3 filtering, sorting and pipes
Does someone know a similar tool to monitor CPU, RAM and IO utilisation?
I'm always surprised when I read the argument about speed.

Don't most countries already have protocols to facilitate immediate transfers? Here in India, we have multiple protocols for instant money transfers.

With one popular protocol, IMPS, I can send money to an account and receive it within seconds, all for a fixed transaction fee of Rs. 5 (~$0.07). All you need is a bank account.

There are other mobile-first protocols that require just a phone number.

This seems like a problem that has already been mostly solved
Called the government.
(Video) IN SEARCH OF THE ORIGINS OF LIFE – Mission Hayabusa2 and Mascot
Well, most cards in France are not credit cards any way, they're debit cards.

Sometimes you can have credit cards with deferred payment (everything at the end of the month instead of immediately) but actual revolving credit cards, like in US are pretty rare.
Haha, yes : )
For the longest time I didn't even have an example conversion image featured (!), and the interface was really barren as a result. I'm going to enlarge it, to make it stand out. Thanks for the advice : )
The notion of having the widgets at the right hand side do something right off the bat also intrigues me... Perhaps the interface should come preloaded with a live example image... Or would that be too confusing...? UX is super hard.
> First, anyone with the tiniest modicum of common sense can tell that

Cheap trick, don't use it.
Hint : you can also use 'calc' with vw and vh to get some more complex behaviours than purely proportional. You can add an offset, you can do some multiplications etc.

Don't go overboard, but a little offset can go a long way
"Interesting that we don't have a visceral reaction to the notion that people would make a lot of money not helping other people."

If for-profits didn't help people, they literally would not exist.
the length that some HN commenters will go to to tear down people like Elon

I suppose if you read literally anything other than absolutely fawning worship of Elon Musk as history's most titanic genius as a "tear down", I could see that.

But... it is absolutely true that his business model is incremental improvements + economies of scale. Tesla and SpaceX aren't in the business of inventing fundamentally new things. They're in the business of making improvements to already-invented things, and mass-producing them to try to bring costs down. This is only a troubling thing to read if you're deeply invested in his cult of personality.
> By making transactions final, the cost of fraud protection is put on the participants between each transaction

That would make me not want to buy anything with Bitcoin, knowing that there is nothing I can do in case I get stuck with a lemon
Supposedly because they had a policy that caused them to throw out all cases in the meantime, like it is done now in some jurisdictions.
Interestingly a barber in the City (of London) I occasionally go to started accepting Amex recently. I had asked them the first time I used them (back in 2008) why they didn't accept Amex and it was for the high rates.

When I asked why they'd started accepting Amex, they said that the rates on some rewards cards they were accepting were so high that Amex was better value for them.

I also assume it was helped that the demand for Amex is higher in the City than the UK average.
If Facebook were required to hash and salt phone numbers, then the correct 2FA value might still work (it would match the salt and has), but an arbitrary list of submitted values would be expensive to match to the hashed set.

Facebook would be unable to contact the user via SMS, they would have to issue a token via WWW or app and have the user text that to a specific address from the corresponding phone number to achieve phone-based 2FA. This might even be a third-party service to deny FB any direct access to the phone number.

The verification channel might become a phishing target via spoofed FB pages or apps, though that would be moderately expensive and of limited use. An attacker might request FB login credentials (the actual verification would not), might acquire a phone number (generally, though not always, a non-critical datapoint), and would still be denied account access via 2FA without further compromises, say, social-engineering the phone account (a proven risk, though expensive at scale).

Tildes.net uses a similar mechanism for recovery email addresses.
I wonder if a big (Fortune 500) company could get HID devices which were customised so that only company owned devices could be plugged in.. it shouldn't be that hard to design such a device that would show up as a custom device then the installed driver would poke it in a crypto shielded way and it then provides the keyboard/mouse inputs. It can't simply do the standard 'detach and reattach as a HID' because otherwise then a HID would work..

Hm, perhaps.. is anything like that available already?
Why Do Debt Crises Come in Cycles?
Creators of tools for open data? Steal this
> You get the standard rainbow close/minimise/full-screen widgets and they work fine. Window resizing using mouse drags — not so much. The performance is just poor.

It’s ironic that this is an issue again. Poor window resizing performance was probably the #1 complaint in Mac OS X 10.0 back in 2001 — resizing exposed the sometimes very slow rendering behind the beautiful new Aqua façade. Apple spent a few years tweaking resize performance, even adding AppKit APIs so apps can adjust their rendering when in live resize.

Doing layout updates in a rapid mouse tracking loop is hard. The iOS window resizing system was designed primarily around screen size classes which change on events (e.g. portrait to landscape), so there’s lots of fudge room to hide rendering updates while the entire screen is being animated. The desktop doesn’t have that luxury.
> However, phone hashes are sent, not clear ones.

A 10-digit number is only 10 billion possibilities, much less if you consider that they aren't completely random and have area codes, etc.

You can probably brute-force a hash of a phone number in seconds to minutes _on a CPU_.
Most of whatever their router sees, their ISP sees as well.

So I understand they are upset, but the panic is not warranted.
Google's claimed usage data has stood up poorly to my investigations in the past.
He's trying to paint the picture that Wallonia is a repressed ethnic minority. My head spins at the level of idea-twisting it would require to claim something like that. Otoh it's also interesting to find a new trope that this guy's ideological tribe is latching on to.
Just to underline the futility of this, if you are clever you can let the compiler do it.

https://everything2.com/title/C%252B%252B%253A+computing+Fib...
Want to lower the price of oil? Iranian Oil Minister advises the United States n
Coupon books are used in France. One coupon for each candidate. Voters privately choose a coupon from the book at the poll site and put it in an envelope. They're distributed and counted by volunteers very quickly and there are checks for integrity. A final count is ready for the evening news. There is a full paper trail. Very hack-resistant!
It's often said that improved access by the public to the wilderness helps promote the need for conservation and protection of wildlife.

I'm not sure there's documented evidence for this, but as an anecdote, I can tell you that my visits to natural reserves and parks since childhood have influenced both my personal activities and my political decisions.
It's also that not all services used together may work on the latest version of k8s. For example, one of the services can only support up to 1.11 and need updates to use 1.12, then you suddenly cannot deploy 1.12 to those clusters. I think in terms of LTS it's more about having stable APIs for developing.
> are done in a cryptographically secure fashion is not entirely comforting.

It's not even cryptographically secure, a phone number is like a 10 digit number that isn't even completely random because of area codes, trivially brute-forceable.
I can't wait for Swift 5 when we finally get ABI stability, that's the last major issue that's holding Swift back.
Which is why the FSF demands the assignment of the copy right from each author to the FSF for the GNU project.

I don't think they did that for Linux, did they?

In any case, they should start collecting copyright assignment forms quick, they won't be able to get them all!
It will be interesting to see if any of this goes anywhere. Real Estate is one of the tougher markets to really disrupt because of the amount of licensing, regulation and the fact that the local MLS is usually controlled by the local real estate group.

You have to pay a fee to join each one. I've heard a lot of tech people clamoring for a central MLS service but the local groups are well aware that controlling the listings protects the entire field.

There's so many hands in the pot from banks to inspectors to attorneys to insurance before you even get into the liability insurance that each one of them (and the realtors) have to carry for these transactions...since there are so many opportunities to get sued.

It's not going to be an easy nut to crack, but it should be fun to watch all this money try.
Lua would probably outperform most languages on the list.