skysight-inc/HackerNews huggingface dataset:
I think the LittleLanguages [0] should be further subdivided into:
* languages for describing something (e.g. regular expression, format strings, graph .dot format, LaTeX math equations, etc.) that are usable both from standalone UNIX tools, and from inside programming languages
* languages with a dedicated tool (awk, etc.) that are not widely available embedded inside other programming languages. Usually these languages allow you to perform some actions / transformations

I think both papers agree that the former is "good" (the reimplementation of awk in Scheme uses regular-expressions).

In the counterpoint paper it turns a LittleLanguage (Awk) into an Embedded Domain Specific Language by embedding it inside Scheme.

SQL is more difficult to categorize: I think the SELECT expression should be considered a LittleLanguage, however the UPDATE/INSERT part is better when having a full programming language available (see procedural languages inside SQL / triggers, which hint at the limits of the base SQL language).

[0] http://wiki.c2.com/?LittleLanguage
Check through my other responses; I don't view it as positive or negative, just necessary.
Software Architecture vs. Code
I have a difficult time imagining anytime that assertAndContinue makes sense. If a fallback is necessary and recovery possible, I would have asserts throw and use normal exceptional handling for that.
Well, this change will piss off half the population, because my preferences are exactly the other way around. Astronomical time is the best, because it syncs with the sun. Summer time means having to get up too early and doesn't play well with my biological clock. Heck, it will be even worse on teens going to school who need their sleep the most and whose biological clocks absolutely do not respect our silly numbers. I always loved when summer ended and I didn't have to wake up so early to go to school. Those few months on summer time were torture. I wouldn't want to inflict it on everyone year-round for any reason.
This should be a frightening reminder to some of the cities in China and India that are heavily industrializing with more than 10x the population of Manchester.
Regular sails actually work similarly to a wing, in that pressure differentials on either side create a force we call lift on a plane, rather than simply being "pushed from the back" by directly catching the wind. That's why a sailboat can go in almost any direction regardless of which direction the wind is blowing.
> there's a focus on R&D and exporting technology

Mandatory military service produces a disciplined and well-networked population. Israel also benefits from sensible commercial law and relatively efficient courts, two things India grossly lacks.
He was right that "The Magnus effect doesn't gain you anything other than the helpful drag of a tall cylinder when going in the same direction as the wind."

In fact, the Magnus rotors will not provide any usefull thrust is both upwind and downwind scenarios.

https://en.wikipedia.org/wiki/Rotor_ship#/media/File:Points_...
This was one of the very few valuable things I learned working towards a bachelors degree.

One of my professors popped a quiz on the class with the question “how many piano tuners live in the state of New York”. After collecting the answers, he spent the rest of the session lecturing (especially those like me who left it blank) on how to make estimates without having any firsthand knowledge in the problem space, and how valuable that skill could be.
What it’s like to photograph planet Earth from space
Ethereum Futures Will Launch in 2018 via CBOE
It looks like v2.1 has fixed that.

Also, +1 this is awesome.

@dang if you are here: HN should do this natively!
It's working fine now and doesn't seem to be duplicating badges. Thanks.
No Shipping to Russia
Rotor ships still need to tack for headwinds, but not to the same degree as conventional sails.

https://en.wikipedia.org/wiki/Tacking_(sailing)
Which part are you're referring to when you say "The equations dealt with have been transcribed into modern algebraic expressions. They were definitely solved, not merely computed"?
Silicon Inquiry: A personal inquiry into the tech industry
The reality is the time the sun rises changes throughout the year. To fix reality, we adjust the definition of time.

If an activity depends on the sunrise, and not the position of the hands on the clock, then maybe they should, I dunno, schedule around the sun instead of the clock. I know, seems like crazy talk. Farmers should have farming clocks, not break everybody else's clock to align with the sun.
In typical 9-17 jobs, 12 is definitely not the middle of the practical day. I don't know anyone whose sleep schedule puts 12 at the middle of their waking period either.
Does Spain want to be aligned with Portugal, though?
This is fantastic, just installed on Firefox and it's really helpful.

Just one feedback, if you can add a setting to increase the space between icons this would be very useful.
From the paper: "we make no attempt to describe the mechanisms that would be necessary to produce these schedules nor the architectural fea- tures that would be necessary to encode these schedules. We do, however, think that a useful mental model for the system under study is a machine like the Transmeta Crusoe [9], which consisted of a VLIW processor coupled with the CMS dynamic binary trans- lator. Our study can be viewed as investigating the potential for a futuristic dynamic optimizer provided it was not constrained in the static schedules it could generate and it could effectively profile the execution so as to generate relevant schedules."

"The Itanium approach ... was supposed to be so terrific—until it turned out that the wished-for compilers were basically impossible to write." - Donald Knuth
You can just do "time Dublin/London/city of choice" and it'll give you the right one.
yup. just realized this was because I had my dev version & the store version installed on my firefox.
It does trust the user input. If you are being attacked and the input has lost its null terminator then your strlcpy might core dump even if it doesn't leak data.

They made it this way to make it more of a drop-in replacement for strncpy, but IMHO they should have changed the return value to be the number of characters copied. If your return value is less than n, then your string was copied completely, if it is equal to n then your string was truncated.

There are good reasons to use strlcpy over memcpy. For example you have a text parser where the most common case is each string is only a few bytes long, but you need to be able to handle odd cases where they are much longer. So you have a large buffer that you only use a tiny chunk of most times. With strlcpy it will be quick, but memcpy will be chugging the whole buffer each time.
Though mentioned it the article, I'll add it here for posterity: https://web.stanford.edu/~bvr/pubs/TS_Tutorial.pdf

Great tutorial on Thompson sampling.
McDonalds (brewed) coffee always wins the blind taste tests that Canadian newspapers put on between the big chains.
I feel like all of these articles can be summed up with:

"C strings and string functions aren't designed to be safe. If you want safe strings use a library."
I found it distasteful to even click it and I definitely can't stomach a full read.

It's extraordinary to me how we so willingly accept policy that directly and negatively affects so, so many facets of society and economy.

You want to maintain all the effects of growth, profits and budgets of a drug war economy? If so then you're a fucking idiot.
> I always found it interesting that under YT rules content creators have the "3 strikes and you're banned" rule hanging over their heads

Does this include any linked Gmail accounts? Because that's heinous if so.
The interest is rising. Here's the story about Viking Grace, a passenger vessel with the Flettner rotor: https://www.maritime-executive.com/article/viking-line-insta...

Here's a passenger's video about it. It spins quite fast: https://www.youtube.com/watch?v=Ir8YSRhMsXA
Just a reminder BTW that since version 2.0 (1996), Unicode is not an encoding scheme but a character set (I avoid the confusing “charset” word on purpose). Therefore, Unicode does not use any number of bytes: it only assigns code points to characters.

Windows used to use the UCS-2 encoding scheme which indeed used 2 bytes for each character, but since Windows 2000, it uses UTF-16 instead, which like UTF-8 uses a variable number of bytes per character.
This isn't true in the slightest.
It's too bad strncpy_s is so unwieldy to use. Having to pass the TRUNCATE flag is frustrating. I really want a two argument (dst, src) function that guarantees null termination.
I always feel like people are trying to launder blockchain, which appears to me to be mostly useless, with AI, which is highly useful. I fail to see how the two technologies are related in any way.
Yep. They can be really good for those looking for a steady paycheck and just clock in and clock out and be done with work. I don't work after I leave work (with incredibly rare exceptions), I get 25 days of PTO and the ability to work remote as needed. The work is boring but I do side projects on my own outside of work to keep my skills sharp and to scratch my "exciting" coding itch.
Elon Musk Faces His Own Worst Enemy
Nitpick, but 0.2KW/m^2/hr would be an acceleration, not a constant rate. You mean 0.2KW/m^2 - this is constant power output. W already includes a per-unit-time component. I'm nitpicky on this topic because of how many professionally-written articles I've seen make similar mistakes.
His memory has always been laughably impressive:
https://www.youtube.com/watch?v=eNVJFRl6f6s
That's because the advocates of corporate feudalism and fascism are out there working to promote their agendas, while the advocates of alternatives are wasting time whining on HN about the poor menu of choices instead of getting out there to fight for better choices.

Good choices do not get handed to you on a silver platter any more than anything else in life. That doesn't change the fact that in a democracy, if enough people get together and FUCKING VOTE instead of sitting at home gazing at their navels and feeling sorry for themselves, they can change the world.

BTW, love him or hate him, Donald Trump is the poster child for democracy in action. He did not get to be president because some shadowy Powers That Be decided to make him president. He got to be president because he convinced tens of millions of people to FUCKING VOTE for him.
Five productivity features for C++ in Visual Studio 2017 15.8
So much public policy seems to be based on “start with the conclusion you want, then look for some evidence to support it”
LeBron James is arguably the greatest player of his modern era (Wilt Chamberlain did not have as much competition), if not all time.

Yes, he has tremendous physical gifts and dexterity.

What most people don't know is he has an almost uncanny eidetic memory that allows him to truly know how the other players on a team have played against him or his team in the past without studying game video ipso facto... and also whup them at Madden.

> "When I was a kid my coaches started to say to me that I remembered things that happened in games from a few tournaments back -- and that surprised them," James says. "I started to realize how important that could be years later, probably when I was in high school. And then, eventually, I realized that it can get me into trouble."
But how do we know it is actually powered by Keybase. I dont even know what is a dschep.

But I guess you got to start somewhere.
Farmers have always hated having to switch because doing everything an hour earlier messes with the animals. They can't simply roll everything one hour forward in the summer, because their produce has to be loaded on trucks and then transported to markets quickly, so the entire food distribution chain would have to switch to one hour later in summer.
Great Post
Yeah, and as a database of time changes over the last 50 years, it's not going to go away, as you'll need it for historical dates, and for other time zone changes that occur anyways.
What about user input, strings coming from files, and in general the diversity of things that can go wrong when your product ships. This is particularly important if your product is attacked by those who would like to exploit it.

Asserts are necessary, but not sufficient.
Farmers rise with the sun. Daylight savings time is supposed to save energy by having more of the day during daylight.
I recently discussed this with an engineering manager for a notable consumer iOS app with tens of millions of downloads. In discussing how to better reduce their crash rate, there was a debate on his team about whether to enable assertions in their production iOS app. As any iOS developer knows, even if you have a great crash reporter and database there are a lot of crashes that are hard to figure out.

One faction believed you should never intentionally crash the app, while another faction believed the app was going to crash anyways or maybe do something worse.

They decided to test it out and during a sprint that was already mostly about bug fixes where they would do extra testing before release, they enabled asserts, and closely monitored their crash reporter.

What they found was that the number of crashes did not change much, but the cardinality went down, significantly. The learning was code executing past a disabled assertion may be in one of n different bad states, each of which might lead to a different type of crash. They now had better high-level information about what was causing crashes (knowing which asserts were wrong) and it helped them reduce their crash rate much more than raw crashes without asserts (including cases where the crash was in iOS code, not app code).
Salt water is so corrosive that there is a whole branch of materials science dedicated to coatings and all kinds of other anti-corrosion measures such as galvanic protection using sacrificial material. The evidence is overwhelmingly on the side of statements such as 'simple systems that work well on the shore need extensive rework for ocean deployment assuming they can work at all'.

Even a simple scratch is enough to lay all your carefully produced work to waste.
Yield Curve Inversions Matter
> If I come out the same whether or not I sell polish, why should I sell polish? Rationally, I shouldn't.

Because you like polished widgets, I'd imagine? Or maybe a fascist government forces you to make widget polish, I don't know. I do know you can't have it both ways, if your hypothetical economy is not consistent then it is a useless example.
Not e-ink, but something very similar to that was a thing about a decade ago. To say it wasn't a runaway success might be putting it lightly.

https://en.wikipedia.org/wiki/Optimus_Maximus_keyboard
I feel like you're just cynically making this up. Are you talking from experience here? Most big tech companies have massive amounts of open head count -- you should probably sell them the location of all of these eager recent grads that they can hire who are just as competent as whoever you imagine they'd be replacing. These companies will want to hire them all, this morning, without firing anyone. You could be rich!
That was not the part of the comment that I referenced.
Maybe for marijuana but the societal effects of legalizing something like heroin wouldn’t be so clear cut.

I personally don’t want to live in a society with legalized recreational opioids and programs like needle sharing are (IMHO) part of the slippery slope towards the normalization of that degenerate behavior.

EDIT: I meant to type “injection sites”.
The core benefit of rental scooters is to cover the last mile, between public transport and your house or work. If you have to drag the scooter everywhere, the utility is severely diminished.
Here's a source for you that mentions that even some typical formulations of stainless steel are susceptible to corrosion in saltwater:

https://www.clintonaluminum.com/304-stainless-steel-in-seawa...
"To me, "computing" implies an exact calculation"

You are not thinking like a computer scientist:

https://en.wikipedia.org/wiki/Computable_number

"Computing" typically means finding an approximation up to an arbitrary degree of precision. As for whether or not that counts as "solving," it is a matter of whether or not you will allow lambda expressions in a solution.

Think of this: does the quadratic formula count as a solution to quadratic equations? x^2-2=0 has +/-sqrt(2) as a solution, but only if you allow "sqrt" as part of a "solution." If you wanted a decimal representation of the roots you would have to accept an approximation and you would be using some square root finding algorithm. If you are OK with that situation, why not allow a quintic formula that involves lambda expressions? What makes radicals so special?

Remember, all the Abel-Ruffini theorem says is that there is no quintic formula involving only arithmetic and radicals -- it leaves open the possibility of another kind of formula for the quintic.
fair,

are you arguing that of all the traits under consideration, height isn't one of ones of primary importance for his success on the basketball court?

ie, if we keep all his various traits constant, and one by one, move each of them back a standard deviation

is there a trait that would change his effectiveness more than moving his height back a standard deviation?
I'd buy something similar to YotaPhone, but:
- Updates
- Active mod community, when updates stop (this happens too soon nowadays and Yota is an example)
- Bigger screen, something close to 6 inch.

I'd buy it because I would find it perfect for reading, and I just love the feel, but guess it really depends.
reverse-engineering ?
For the same reason communities don't build a second road system not connected to the main road system. Why would I want to build a system that makes it so I can't check websites, email, webservices, gaming hosts, businesses, clubs, council, local news, and social media just because I'm in the next town over during work?

Also if you really wanted to only have services available locally why not just do that via access control policy instead of building a second infrastructure?
Trans women are women
Filewatcher does the same as entr. In addition it exports environment variables. It makes it possible to send the name of the updated file as a parameter to commands like this:

$ filewatcher '**/*.js' 'jshint $FILENAME'

https://github.com/thomasfl/filewatcher
Run Your Kubernetes Workloads on Amazon EC2 Spot Instances with Amazon EKS
Quantum AI blockchain technology on renewable energy will save the planet. Mark my words.
I can verify as well. I’m in the process of setting up a new Mac and had to turn this off yesterday.
While it is OK for the government to make statements that portray things in a positive or negative light, it is not OK for them to do so in the absense of supporting evidence, or worse yet, in the presence of evidence to the contrary. The former is, charitably, called "marketing" - but the latter is more commonly known as "lying".
Hence “analogy”
I have the first generation Lenovo Yoga Book. It's actually okay to type on. I'm not the best typer, but I have some decent muscle memory and my typing on that thing is about 95% accurate (one typo about every third word). It's good enough that I can correct any typos later and not take away from the other benefits of the design. I feel that I lose that accuracy because the "keyboard" is smaller than what I'm usee to.

I turned off the haptic feedback on mine as it's too distracting and to save battery. (The battery last a long time on it - about 8 hours watching movies on 50% brightness in airplane mode. Over 14 hours reading PDFs.)
Covfefe
They switch at the same moment, they're both defined to switch at 0100 UTC. So in London it will go from 0059 to 0200 in the Spring, and from 0159 to 0100 in the Autumn

In Berlin it goes from 0159 to 0300 in Spring and from 0259 to 0200 in the Autumn.

Making the change at 0100 UTC is pretty convenient if your timezone is close to the zero line, because most people will be asleep or at least in bed and won't care. It's not so practical near the dateline where 0100 UTC is the middle of the day.
Most companies aren't otimizing for innovations, they're optimizing for profits. If they desire innovation it's primary purpose is profit.
Just click the Keybase link next to the username, and you can verify each of the connections yourself.
Desperate for Data Scientists:U.S.data scientist shortage increases dramatically
It may be the lesser of two evils, but weed is not a good thing.
There was a free Bandits algorithm book discussed on HN about a month ago.

https://news.ycombinator.com/item?id=17642564
Computing is an algorithm which can produce the value to any given precision (I.e. bounds size). Approximating is an algorithm which eventually converges to the true value but you never know when you’ve actually gotten close enough. For this reason the computable numbers are a subset of the approximately numbers.
Surely some were, but there was no policy by the Obama administration to separate families.
The C standards committee is incredibly conservative, only adding new features if absolutely necessary. Unless the composition and goals of the committee drastically change, a new standard string API will never happen.

If you must write C, you should use a real string library, and not string.h.
You might find this article interesting http://spanishsabores.com/2015/06/17/spain-dining-guide-when...

But remember that they are in the wrong time zone, so they always get one extra hour of light in the evening and one less in morning. This could account for the one hour of difference with comparable latitudes in Italy.
yeah, I've had Americans say 6AM EST during the summer when it's EDT
Happens in Tunisia too. (and probably more countries). There is a special administrative time for summer.
Yeah, most problems that switching time twice a year is intended to solve could be solved much better by explicitly scheduling things relative to the available sunlight, and the circadian rhythm would cope better with the gradual change.

Want more sunlight in the evening? Find an employer who closes shop a fixed time before sunset.

Don't want to go to work in the dark? Find a job where you get to start a fixed time after sunrise.

Having both would lead to longer working days in summer and shorter ones in winter, but I think that would be acceptable in many cases.

The obvious reason why such a scheme wasn't implemented is that the calculations required would be annoying to do manually, but by now that can be taken care of by technology.
I have a similar sort of eidetic memory and I do find it often more hassle than help.

Most people seem to remember about as much as they need to remember, so remembering more is often not about having extra access to information you need, but rather remembering minutiae that are discarded as irrelevant by others.
Not saying that you're wrong, but let's say that heroin is legal starting tomorrow. Do you go out and buy some? Do your friends/family/coworkers? I'm not so sure that the only people that would go buy it legally would be the people already buying it illegally.
Still seems like a kind of magic to non-magic folk like me i.e. a muggle.
Reasons why gamification works today
That’s the stereotype, but in many (most?) cases the actual reason is about time, not brushing shoulders with the merely megarich.

Very rich people spend money to avoid ever waiting for anything or anyone who isn’t a close acquaintance or high status person. This is what private planes optimize for.
Intl Astronomical Union agrees on a new reference frame for directions in space
Have a look at the results in Portugal (this is a good summary https://en.wikipedia.org/wiki/Drug_policy_of_Portugal#Observ...) - then, come back here and tell us what evidence you've found of a slippery slope. I don't believe you'll be able to find any such evidence, because there is no such slippery slope in practice.