skysight-inc/HackerNews huggingface dataset:
Vision Zero is a project that's unable to come to terms with its own beliefs. Their stated goal is zero traffic fatalities no matter the economic cost, and yet they don't actually embrace policies that would reduce fatalities to zero. Their policies seem to merely be the same old stuff you'd see out of traditional planning, but with a little higher cost assigned to injuries and fatalities.

That's good, and it plays nicely to your point that the status quo isn't always at the right balance point, but the hypocrisy is off-putting.
To own a big boat without financially stressing yourself would require you to be a billionaire. That level of wealth involves a huge amount of luck.
>whereas they only know the total if you used a Mastercard/Visa

This is simply not true with respect to the big retailers in the US. This started as far back as '06, though the details of the implementation have changed a bit.
It's a list of facts. You don't need a "mountain of salt" to take a list of simple, easy to check facts.

> you get this kind of "My programming language and community are already wonderfully perfect and kick more goals than there are nets to kick into"

It doesn't say how wonderful Rust is, it says how many contributions it had, how many users on gitter, etc. You can interpret that like you want, but that's just your interpretation.
Upvoted your comment, but I worry this trend will only get stronger if we endorse and reinforce such behaviour. Why provide eyeballs, via the HackerNews front page?

The OP is truly disgusting clickbait and crossed the line for me.

I flagged it for this reason.
Serializing code like this is a bad example, because you need to introduce eval into the loop, which is another step entirely from printing and reading objects. Consider this example, from REPL interaction:

CL-USER> (with-open-file (f "/tmp/makapaka"
:direction :output
:if-exists :supersede)
(pprint '(a potentially (complex data structure)
mixing lists #(and vectors) 2/3
#C(2 5) and stuffs) f))
; No value

CL-USER> (with-open-file (f "/tmp/makapaka")
(read f))
(A POTENTIALLY (COMPLEX DATA STRUCTURE) MIXING LISTS #(AND VECTORS) 2/3 #C(2 5)
AND STUFFS)

In this example, I printed and read back a list containing symbols, lists, vectors, rationals and complex numbers.

Basically: the reader converts strings to Lisp objects[0]. The printer converts Lisp objects into strings. When we say that an object has a "readable representation", it means that if you feed the result of the printer into reader, you get the same object back.

The evaluator (which I didn't use here, but OP did) evaluates Lisp objects (not strings!), and can e.g. introduce a new function to the environment when evaluating a defun form, i.e. a list of form (defun name (args...) "docstring" code). It is not needed (in fact, it is discouraged[1]) when all you care about is writing and reading back Lisp objects.

--

[0] - Note it's the same reader that actually reads your code when you compile/load file or use a REPL.

[1] - The usual eval-on-untrusted-data code execution vulnerability. Note that since the reader is mostly used to process code, by default it allows you to use the #. read-time-value reader macro. If you READ a string like: "(1 2 #.(* 2 2))", you'll get a Lisp list (1 2 4), since #. basically means "pipe the next s-expression to eval, and return that". When you use reader/printer for serialization/deserialization, you usually want to disable #. for those invocation of read function, by setting

*READ-EVAL*

variable to NIL.
Do I understand right that this could be a software for managing a daycare center (kindergarten or for elderly people?)

I like that the page is simple and easy to read, on the other hand I don't really know much about the product behind. Is this just meant for checking if there's a demand for this software? Do you guys have any demo that you could show already?

BTW, if you'd like to get more UX feedback, please feel free to visit our free community UX platform at https://usability.testing.exchange
If you know what's going on, the title might be clickbait. But I looked at the abstract (via the link in the article on Quanta Magazine) and understood none. Read the article and understood some. They explained the Big-O, the algorithm and the underlying graph that's being created. For me the bravour in the title is (just) fitting.
Cross Cloud Kubernetes – Auth, Secrets and Ingress
Levels of expertise in CSS – Are you ready for the tutorial?
Is there a reason parameter names begin with underscore? Or why the page parameter is abbreviated to "p"? Why is a non-standard syntax used for multiple values rather than just parameter arrays? E.g. instead of:

/api/payments?_fields=customerNumber,checkNumber

why not:

/api/payments?fields[]=customerNumber&fields[]=checkNumber

Kudos for "sort=-{field}" though (I think); any commentary on that design choice? I've used e.g. "sortdir=desc" in the past; not sure which is superior.
We use SVG as react components to change SVG attributes without the need to change the SVG source, e.g. the color of the icons etc
Statically checking refinements still only works so-so, that is, what do you do when the SMT solver times out? Writing manual proofs (or proof fragments) is great for special-purpose languages used by highly trained people, but it's not quite ready for the mainstream yet.

Checking refinements at run time is considered "too expensive" by many people.
I recommend the paper "Complete and Easy Bidirectional Typechecking
for Higher-Rank Polymorphism" by Dunfield and Krishnaswami. It describes an easy to implement algorithm for type inference for higher ranked types that can subsume Hindley-Milner.

Implementation in Haskell: https://github.com/ollef/Bidirectional

Implementation in Javascript/Typescript (by me):
https://github.com/atennapel/bidirectional.js
Smells like geek spirit...
Reformation: How It All Started
> I'd rather call myself a Rubyist or a Pythonista.

You can call yourself whatever you want. "Talk is cheap, show me the code."
Hard Things in Computer Science: Naming Things
I think the proposed logic here is "a person like you buys burn cream so we advertise burn cream to people like you." In this scenario the person who actually bought the item will get the ad too.

To me, advertising a product to people who already bought it is a sound strategy. I see no contradiction. I'd rather like to hear a cogent argument as to why that is wasted effort, as is usually implied.

In your example, maybe I left the bottle of burn cream at the office. So I will want to get another one on the way home. It's effective to get reminded in my Facebook about that item (and the brand) isn't it? Yes it's creepy but it works.
Who Is Managing Rahul Gandhi’s Twitter? A Dog?
For me the fear is insurance companies denying cover or increasing premiums based on some random search, share or like that actually has no relevance to the cover, then not telling you why they made that decision.
Or just copy OP url & add to pocket/instapaper ;)
So that makes it ok to grab someone's breast without consent?

I'm sorry, that's the most weaselly statement any of these schmucks have made so far, and the bar for that is pretty high. (Or should I say low?)
The problems with this 'psychological explanation'

1. It is just as unscientific as saying that Facebook MUST be listening, without finding any evidence in the workings of phones, app source code, etc. Almost by definition, there is no experimental evidence for the Baader-Meinhof Phenomenon.

2. It posits that everyone who has experienced this is unsophisticated and ignorant about cognitive distortion. Clearly, some people who believe that Facebook is listening to them talk also believe that there were no planes on September 11th, etc. However, many many people today have a good understanding of psychology, are well aware of (basic) cognitive biases, have thought about these experiences. People also have experiences of unlikely events but which have well understood or easy-to-estimate probabilities, which didn't occur much historically. Lots of people can distinguish quite well between their own illusory biases and events which are coincidental, but not 'in the mind'. Some of these people seem to also believe their speech has found its way into advertisers' profiles.
You can get prequalified for an FHA loan just like any other loan. Everyone doesn't live in SV where houses go so fast you're constantly having to outbid people.
Also very creepy.
A curated directory of resources and tools to help you build your startup
> ads are such an integral part of our lives

I'll skip the futurama reference for now, but for me ads are far rarer than in the 90s. Adblock handles most things online, iPlayer, Netflix and amazon don't really have adverts on TV (they have a graphical menu but I would call that an advert), Spotify doesn't have adverts. Sure there are a few adverts if I go to somewhere like london, and Sainsbury's advertise their own deals in store, and of course products on the shelf are adverts in of themselves, but the only advert I have seen in the last 24 hours was one raising awareness of cistic fibrosis in a billboard outside of Sainsbury's. Oh and the train announcement saying "the on board shop is open for teas coffees and light refreshments". There wouldn't have been any product placement in the episode of once upon a time I watched last night either.

The TV jingles I remember from childhood are still etched in my brain, the adverts I see in this decade are ones I hunt out depberatly (the John Lewis Xmas advert for example, or film trailers, or something about amazon delivery people stealing your sofa that was recommended at work)

I did see adverts on Saturday night when we went to see Thor. I don't recall what was advertised other than odeon limitless, the trailers are adverts too of course, alas they don't really work - we'd rather see more films at the cinema than we do now, but getting babysitting is a pain. We missed Spider-Man and kingsmen for example.

If anything there are more opportunities to avoid adverts than ever before.
Anvil founder here!

The crucial difference between Outsystems(/Bubble/etc) and Anvil is that Outsystems tries to be a "no-code" environment, and we think that's a mistake (or at least, a different market).

Delphi and Visual Basic proved that writing code isn't the problem - code is the best way to tell a computer what to do. But writing code in five different languages to produce "Hello World" on the web...now that will slow you down.

(Count 'em: JS, HTML, CSS, backend eg Ruby/Python, SQL. We do everything in Python, which gets you going much faster. We just got back from PyCon UK, where among other things we got an 8-year-old building database-backed web apps in an afternoon. That's the sort of thing that used to happen with VB/Delphi.)
Ideally this is applied as a webpack transform, so the asset is left as SVG, and only converted during the build process.

Inlining the SVG as Base 64 in CSS is not that good, since it limits what you can do with it (basically setting it as a background). If you create an actual SVG tag within HTML (via React) you can then use CSS to style the strokes, fills, etc.
Shoot me an email (see HN profile/website) if you ever think about reviving the idea. I would be very interested to colloborate.
Thank you for your input. I will consider this feature going ahead.
> Still Rust or something else?

My personal answer to that is OCaml. The only thing I miss there is good concurrency support. I can see how this might open a whole new can of worms. Would we still use locks, or some addition to the type system like Pony's reference capabilities?
Compared to the potential energy of lifted water mass in a dam, isn't the water also highly pressurized under that rock mass? Would that not need to be taken into account as well?
I write Kotlin for more than a year and semicolon usage is pretty consistent: no semicolons. The only place I remember using them is in enum constants. I also came from the lisp world (CL -> Clojure).
> You are saying it like there's something good in extorting money from foreign companies because we own the territory, so damn it if you're going to do business here without paying us protection money.

This is how the world works.

If your country has the oil, you get to reap the benefits.

For Facebook, the resource is the population. If Facebook grows rich off the backs of your population, you have every right to tax that.
I don't really understand the equation.

Plugging in an average stock market performance (over last 20 years):

Return: 8%
Standard Deviation: 17.72%
Risk free rate: 3% (guess)

This gives f = 1.59.

This means the optimal strategy is to be putting 159% of your money in an ETF index?

This strategy is in stark contrast with the typical 70%-30% allocation of investments. How do we reconcile this? Intuitively, the function of your age needs to be included in this equation (I think somebody commented on this already).
> ...not to mention that it only works with IDEs.

That's not true. Lombok is an annotation preprocessor. That means it is running with javac which is independent of any build tools or IDEs. As long as it is on the classpath when compiling (-cp flag of javac) it works.

Of course for code completion you need an editor that is aware of Lombok / uses the compiled bytecode for that.
> but almost everybody agrees it is flawed as a language. If that's the future, we are screwed as an industry.

What language is not flawed? And why are we "screwed"? I don't get this FUD...there are more important things than language-choice such as dependency management system + community + ecosystem. JS lets you get on with the job and get things done quickly. You need performance - use C/C++ bindings. Its been clear for a long time that JS is the safest long-term choice and is slowly creeping into every other language's castle.
In order to use RNN in the way you suggest I think I would have to create a very large data set with annotated chord progressons. Which is something I would like to do but it would take a very long time to create the training sets.
Compared with Coq, F* makes it easier to write programs with side effects, i.e., actually mutate variables and memory. There is a language fragment which amounts to programming in a subset of C (and this is used for generating C code for the verified crypto stuff in Project Everest mentioned in other comments).

Also compared with Coq, proofs rely heavily on SMT solving with Z3 instead of lots of manual tactics (yay!). On the other hand, where SMT solving fails, you can not resort to manual tactics because there is no tactic language. You have to write proof terms without interactive support. (This may have changed in the last few months, but I'm almost sure it hasn't.)

I wrote a bit about my experiences trying to prove things in F* two years ago: https://news.ycombinator.com/item?id=10984306

Don't rely on any of that though, things will have changed in the meantime!

I'm optimistic about F*, but at the moment you have to be quite determined to try to use it for fully verified programming. The same is true for Coq, though.
Yep, but it is a baroque abomination which I would rather steer clear of.
How Does Neuromarketing Help E-commerce Companies
They do send standard rejection messages. At least, in 2011 they did, not sure about now. I got this canned message:

"We're sorry to say we couldn't accept your proposal for funding.
Please don't take it personally. The applications we receive get
better every funding cycle, and since there's a limit on the number
of startups we can interview in person, we had to turn away a lot
of genuinely promising groups.

Another reason you shouldn't take this personally is that we know
we make lots of mistakes. It's alarming how often the last group
to make it over the threshold for interviews ends up being one that
we fund. That means there are surely other good groups that fall
just below the threshold and that we miss even interviewing.

http://ycombinator.com/whynot.html

We're trying to get better at this, but it's practically certain
that groups we rejected will go on to create successful startups.
If you do, we'd appreciate it if you'd send us an email telling us
about it; we want to learn from our mistakes.

Y Combinator team"
You're saying that it is enough just to have will power. I am saying that you must use your will power, and that is two different things. You are just relying on it to make some magic, whereas I am pointing out that you should understand that something is making you do harmful things and then act on it. I guess your concept of will power is severely flawed.
If by "not long" you mean 10 minutes under ideal conditions?
It's guerilla marketing where one person's fact is another's spin: the Amazon job requiring in-depth domain knowledge and leadership skills mentions rich Java or C++ experience as desirable while also requiring familiarity with Python or Rust.

The resulting fact is then "Amazon is hiring for developers with Rust experience.". If a candidate checks the other boxes they'd probably hire them if they knew VisualBasic... :)

Personally I don't like this forceful advertising stuff unless maaybe it's for a really good social cause which is otherwise ignored. e.g: privacy
Money, power and prestige is a pretty attractive triumvirate of reasons to be a CEO.
It does for me while outside the app; tested with FaceTime (Built-in), Voice Recording (Built-in, recording not streaming), Snapchat, and Discord.

Inside the app I believe they can record whenever, without the banner appearing.
Does this blog have a RSS feed?
Know More About H2O Molecular Geometry
If people really think that's the case why don't they uninstall facebook immediately?
Why? There's almost no competition in the US from the complaints often posted here. Further, the rates seem to be insanely high (comparing to various countries in Europe).

Why would a company that has no competition lower the rates?
An Ubiquitous Domain language throughout testing
Was/Is OnePlus 3T also affected? (asking for a friend)
Your Best Alternatives to VR Box
Any article that starts with biasing against some country (Russia, Iran, Finland, whatever) discourages from reading it. Because the authors unequivocally assume that guilt of a particular country is already a known truth and hence does not need a separate discussion -- so we can safely plunge into Facebook's issues of not being able to withstand such attacks.

So, sorry, not going to read the article.
piece of pie, never believe a lie.......one.....two....threee....what
On the install page https://github.com/astorfi/CNTK-World/tree/master/docs/tutor... it would be nice if it says which version(s) of Ubuntu are supported.
Do credit card companies get the list of items you purchased, not just amount and the place?
Is that an opinion?
How to Stay Focused When You’re Working from Home
Thank you for your inputs.

Kibana and superset look awesome. I'll have a look at them.
Process Vacuum in Manufacturing Industry
I take it your tax money has never been used to repair the widespread damage to society caused by a too lightly regulated industry. It blows.
Elixir is mostly different syntax(Ruby-like instead of Prolog-like) for Erlang. Beyond syntax change it fixes some Erlang warts, ads better metaprograming and great tooling. Elixir isn't academic innovation - it's about proffessionals convinience and effectivness similar as go lang. Started by 1 person.
Do you see many wild animals with missing limbs?

Especially mammals
as mentioned in another comment, the scope of this repo is limited. I will try to make it explicit by having 'when to use' section before. Thank you.
Thanks; that sounds very interesting. I will check it out tonight.
This indicator only shows while the app using the mic is in the background.

The banner won’t show if the app using the mic is in the foreground.
Cameras have gotten good enough that they're also used for book "scanning" now. Nondestructive and very fast.
There's also the factor that some people, at least, would like to secure PCs from the user, particularly in the case of DRM video (which has an implementation in Intel ME). There's no real equivalent for Google servers.
Simulated phone interviews with volunteer participants? British police being aggressive short of torture?

These all assume we can learn something about torture by studying interviewers that are a bit standoffish. Some might not find that compelling, despite the editorialized headlines.

Regardless, effectiveness still seems like a red herring to me. Why not just focus on morality?
I agree. I'd love something shorter than having send someone to read half of the LessWrong Sequences. I wish CGP Grey or Kurzgesagt could do a video on that.

The basic thing you need to make people comprehend: to learn a fact X, you don't have to actually learn it - it's enough for you to learn about such Y that P(X|Y) >> P(X). And you don't have to learn Y either, you have to learn V and W such that P(Y|W) >> P(Y) and P(Y|Z) >> P(Y). Etc. This method applies recursively.

And once they comprehend the causality graph this forms, you need to make them understand just how much information we radiate all the time, and how humans are still very inefficient in doing the calculations mentioned above with all that data. Facebook is only the tip of an iceberg; it's only going to get worse from here, because modern technology keeps letting us explore the causality graph even further and faster.
Finnish airline Finnair to start weighing passengers to collect data
Jumped out at me too. The link 404s so there's no source for the claim. Plus, what does "use it" mean? They dabbled with it for a small, non-critical application, or they're using it as their primary language in a non-solo project?
I think this is why it's far more important to try to find your own path to success than to emulate others' paths.

People are inherently different. In the physical realm this is completely self evident. It's far from controversial to acknowledge that you could train day in day out for years at a sport and never be even remotely comparable to even a middling professional in one of those sports. And whilst we try to ignore it in the mental domains, the same is no doubt true. So ultimately I think the key to success is to find what you personally do well at and leverage that into your own path to success. While keeping with the one constant in advice - the first time you fall, which you will, get up and try again.
I was very lucky with the Logitech M555B (bluetooth) mouse.
I always used rechargables, which meant I had to replace batteries every 2-3 weeks; but it was a great mouse for me.

I didn't wanted wireless mice that needed their own USB port for the receiver. I guess they hava a more reliable connection, but since I already had bluetooth headphones I don't want more devices near using the same frequency with different protocols.
You could call yourself a Whoover.
Yes, people who promote a language are biased. But so are people who resist that language: they tend to have existing investments in their favourite languages, and have inertia in moving to a new language. I personally haven't decided to learn Rust yet, but I still appreciate being kept up-to-date on the landscape of programming languages, and I want to know about the cool new languages as well as the solid old ones.
Are you 5?
The GP (in both senses) means this: they want it to be simple. So simple they are not aware of how it works. If they have to know about 'the cloud', 'sharing', 'syncing', where the photos are stored, etc., then it's not simple enough.
> Lots of people are reinventing Smalltalk on a Mac.
(See Bret Victor and Eve).

At last, someone noticed! ;-)

Though from that expression, what the author doesn't seem to grok is why having a Smalltalk-like environment is desirable; maybe not as the primary way to program computers but certainly as a tool alongside.

It's a shame that a family of programming languages that build on and expanded that model hasn't gained more traction in the industry (not necessarily for people who dedicate their lives to build complex software with a highly general programming language, but for the rest of us).