skysight-inc/HackerNews huggingface dataset:
Stronger assertions can be given by static types. For more expressive assertions, dependent types[0] as seen in Idris[1] are very powerful.

When it comes specifically to cryptography, I think formal verification should be added for increased confidence.

(I'm not saying "don't bother writing tests if you're using a strongly typed language" - these things can and should be be complementary)

0: https://en.wikipedia.org/wiki/Dependent_type

1: https://www.idris-lang.org/
I don't get it. Isn't MacOS supposed to be "Secure By Design?" https://www.apple.com/business/resources/docs/macOS_Security...
> That's an unjustified qualification. I could throw together a spreadsheet format that is all text. The spreadsheet GUI then becomes a advanced text editor that, when editing that particular format, exposes advanced content-aware controls not at all unlike advanced text editors like emacs can for s-expressions.

If you could invent a text format that could be efficiently edited with a basic text editor then I would agree it's a DSL. But I feel like you would lose a lot by dropping a dedicated GUI, e.g.:

- horizontal scrolling of columns, adding, hiding columns

- "smart copying" a formula by scrolling down

- selection of rows/columns/cells

I don't think anybody would use such DSL using a basic editor.

Overall it's discussion about the definitions of terms, but I don't understand why people want to capture anything having some "editable format" as a "DSL" when addtional terms like "visual programming" allow more differentiation?
>My implementation from a few weeks ago
>https://observablehq.com/@jrus/cam16

Nice, thanks for sharing! You seem to work on a lot of stuff I find highly interesting! :) entirely off topic, but, you might find this of interest to your logarithmic spirals work:

https://link.springer.com/article/10.1007/s00004-015-0285-1

>But for converting colors from sRGB to a wider-gamut display there shouldn’t be any significant issue.

I agree, but I'd prefer it if eventually, we treated sRGB colors the same way we treat CGA colors. Especially due to the issues outlined in the other paper I linked. (Namely, that our 'red' subpixels ain't red, they're more orange-red, and that the 'green' ones ain't green either, they're more yellow-green. Really a shame Sharp messed up their tech in that regard by just using a standard back-light, it put a huge blemish in the quite sane idea of having yellow subpixels.)

But, at the moment, we don't even have Chrome properly supporting ICCv4 profiles, so, those dreams of the far future will have to wait.

>This seems largely irrelevant to the discussion in this thread.

>largely

Yes, I agree, I placed it there as a note of caution about:

1. Limitations in the works linked to;

2. The fact that color science doesn't seem to account for stereoblindness and monocular vs. binocular stimulii more often than not;

that's all.

That's also why I linked that PhD dissertation, which also goes beyond CAM16. I in fact neglected to mention some other limitations, namely, that it also doesn't fully factor in:

1. The works on color perception by Brian P. Schmidt¹ et al.: https://bps10.github.io/ (Note: It does factor it in /in part/)

2. More esoterically (by which I DON'T mean pseudoscientific.) the ones noticed by John Medeiros: https://www.youtube.com/watch?v=4Oj0hweYE00

¹ NOT the Brian P. Schmidt who won part of the 2011 Physics Nobel price

Edit: Almost entirely off-topic, but, I try to keep my thematically related Hacker News comments at least indirectly hyperlinked to each other, so, here, another color related comment:

https://news.ycombinator.com/item?id=20008969
I was confused in the same way and thought the 2B+ accounts figure usually reported was total accounts.

So how many accounts, active or inactive, bots or humans, are there in total?
Carrying a smartphone is exactly that.
If we remove options just because few people use them, we might as well shut down the Gnome project along with everything else related to the Linux desktop.
You wouldn't be able to tell between a hit in velocity 1 or 2 or between 254 vs 255 is my point.
Then why are you calling it 'policing' when you seem to be quite aware that it is imperialism by violence. I dont think the distinction is subtle.
So where should I look up the definition of a DSL?
The color change-inducing-friction complaint seems like an issue with lack of built-in theme sanity checking. There exist numerous partial solutions for this already, I'll link to the four best ones I know, albeit I wish someone would combine their approaches into one unified super-product:

1. http://www.hsluv.org/examples/ These palettes will absolutely NEVER clash. But they might have contrast issues. Which brings us to:

2. https://news.ycombinator.com/item?id=19800718 Lyft primarily designed ColorBox.io to always reach WCAG 2.0 contrast ratios. Something I'd claim a ton of UX themes mess up. Unfortunately from what I can tell, it lacks the anti-clash guarantees of #1

3. Much less related, but still important, albeit only for very specific parts of any UX:

The color map generation approach in Matplotlib: https://www.youtube.com/watch?v=xAoljeRJ3lU (btw.: Seaborn, as mentioned in #1, builds on top of Matplotlib.)

For even more color madness, see this recent Hacker News comment by me as well as the other comments linked to there:

https://news.ycombinator.com/item?id=19983604
They want an excuse to get paid to look at dank memes
I think the licensing was already an issue for them and that is why they switched to their own type of storage.

When I saw this a year ago I thought it was stupid just like Sony but I didn't know that in order to use SD cards you need to pay licenses. I thought it was on open standard.
Choosing a Linux distro with a specific theme rather than one using Adwaita or sticking with the pre-installed Windows is the user changing things on their machine.
Leave me my icons.

Meh about the in-app theming. Probably should not be bundled, but sadly most OSS ist lacking in the front-end and can really use some polish.
They're not addressing this to end users. There is a notice at the top of the article in a bright yellow box.

> Please read the letter all the way to the end. This is aimed at distributions breaking apps by default, not tinkerers playing with their own setup.
> But also as publishing software (think InDesign) and format their spreadsheet to look like an invoice / quote, a hand made Gantt chart (yeah with arrows as delimiter

Meh, I think I've done all these things myself at some point.

I'm very familiar with Excel, so sometimes it's easier to throw something together using a tool I know well, rather than get (or maybe buy) and learn new software.
The article isn't complaining about users changing things; it's complaining about the desktop unilaterally applying a style on all apps without testing.
Unfortunately, this is ultimately the problem with free software. Either you publish with zero support, and users end up using your software badly (via poor blog posts telling them what to do) or they don't use it at all; or you end up paying for your contribution to the world with even more of your time, supporting people who either don't realise that they've introduced the faults themselves (either directly through their own errors, or indirectly through their choice of distribution or guide they've followed).

How do you solve the social problem of a large majority who feel entitled to everything for free?

My solution was to give up, publish free stuff anonymously with zero support, and charge for anything I actually care about. My charged-for software has multiple orders of magnitude more users than the free software, and effectively funds the free software that nobody actually uses.

I regularly think about not publishing the free stuff anymore, but I figure that even if a single person benefits from it, it's a net-positive, and so I keep going. It doesn't stop it being incredibly demoralising.
There's an approach to compilation where you take the input program, but instead of running it you output what the interpreter would do, as a new program. So you get meh performance but you have an executable.

Here's a project doing that: https://news.ycombinator.com/item?id=19508616

This is a theory around this approach: https://en.wikipedia.org/wiki/Partial_evaluation#Futamura_pr...
Very weird, they must had a reason to do so (or so they thought). They could have charged him with a lot of other things and guarantee a set prison term. Prison is prison, no?
Don’t think they publicly reveal this as I’m not sure it’s relevant or important to investors/advertisers.
Let's take the Wikipedia definition, not the examples list:

> A domain-specific language (DSL) is a computer language specialized to a particular application domain.

where computer language links to a list of things that includes "programming languages", which visual programming languages are a part of.

Other sections of the article also mention some graphical examples, e.g. UML. (which isn't a programming language, but a modeling language, also used sometimes as an input to software)
Co-founder of https://forestry.io here. The author describes how writers can use branch logic (i.e. merging as an editorial tool). We're currently building multi-branch support into our CMS for just this. If you want early access, reach out to scott[at]forestry.io
Everybody writes buggy code and those who say they don't are kidding themselves. The most important thing is how you react to bugs being found. The right answer is to acknowledge the problem and fix it. Write a unit test so it never occurs again in this code. If you get hit by a common type of bug that's preventable in code, often, then your unit testing is not up to scratch.

If you write software for production and don't do unit testing then you are in the wrong job.
IMHO author is missing the historical perspective of DSL approach. In the time when SQL was developed, users simply needed a much higher level of tech skills than today. One older colleague told me once how he wrote his PhD thesis using ed (unix line-editor), and it was more than 100 pages work. To us that seems crazy complicated and unfriendly, editing 100s of pages line by line using obscure single letter commands, but to them it was a huge improvement compared to typing it on a typewriter - and they all learned how to use it. Similarly, analyst in the days when SQL was invented had very different expectations and ideas about what "simple to use" means. Back then you expected that you need to type your commands as text, so developing specialized tools in form of DSLs was a perfectly logical step. Today DSLs make less sense as we can build spreadsheets, wizards, visual drag&drop UIs, AIs for speech commands and so on. Users' expectations and skills are completely different now, and it's less likely that they'll invest time into learning a new language, they want buttons to click. That's why DSLs are now more a middle step that simplifies life for programmers when dealing with specialized tasks - for those areas where visual tools are too limiting, but still you need a way to abstract the complexity - just the way the SQL does it.
I agree with the previous person that 256 levels of amplitude should be sufficient purely when it comes to velocity as long as these levels are spread appropriately (i.e. non-linearly). If the expressive control is exponential, that suggests to me that the data itself should be exponential.

I know literally nothing about drumming but I've no doubt there are plenty of other characteristics of a drum strike than velocity. Such as the mass being applied to the hit (e.g. is it being hit with the weight of the stick alone or is it the drummer's whole arm) or the location of the strike, or the release time.
I don't think you read the article. It's not complaining about users.
Introduction to Icon P-Rep Node Campaign. Largest South-Korean Blockchain
He's talking about ads, not regular posts.
I may choose a distro that specifically looks a certain way - like the one that tries to look just like MacOS. That's a perfectly reasonable thing to want to do. Just as it's perfectly reasonable to regret consistency on a platform that doesn't have distros - as you may want to vary.

"However, if you change things like stylesheets and icons, you should be aware that you’re in unsupported territory."

Unsupported territory, for changing a desktop icon, or adding a higher or lower contrast stylesheet? Wow. That's pompous and absurd for me. Doesn't sound like it's explicitly made a reasonable exception though, just piles on a layer of entitlement for a damn brand.
That's true, but FB is not a "community" -- its a global mass mob consiting of billions of people. Even thinking about trying to moderate something at that scale is ridiculously impossible and disengenuous.
Will be interesting to see what they use for a receiving antenna. 90 dBi gain is about the limit for single aperture reflector antennas at RF, as you contended with structure deformation at low frequencies, then surface roughness at high frequencies, not to mention tracking a fast moving object with that precision to keep it in the beam width.

At X-rays, I don’t know how you would focus it as the roughness is in on a molecular scale. So going to higher frequencies has its limits.

I don’t know what the equivalent gain of these large, optical telescopes are, but they seem to suffer from the same problems.

The plasma penetration must the the real objective. You can get thru the plasma with standard RF, it just takes lots more power, or lower data rate, but a low reset beacon is feasible, just not voice comms.
> the future holds a merger of tech with business

Completely agree. And regulators are pushing for this. When.. in retail and SME banking and financial services the future is here, in Europe, but has yet to gain traction and public trust but that's coming quickly. That will be 5 years, change takes time, a long journey for VC money but not too long, they will see returns.

Asia will be slow. NA perhaps slower still. AU might pick up the ball but NZ will be faster if they choose. SG will lag HK because of technical debt in SG. I'm Asia based, not much idea on South America. South Asia are hand-tied by regulation, mainly currency, restrictions, the above regulators will be providing markets with the best retail and SME financial products. A hot place to be, Europe probably hotter coz PSD2.
> Please read the letter all the way to the end

I did thanks.

"If you like to tinker with your own system, that’s fine with us ... However, if you change things like stylesheets and icons, you should be aware that you’re in unsupported territory."

Unsupported territory for choosing a distro that looks unusual, or applies theming, or for changing my own damn desktop icon?
not only that but i've seen security people extend 90 days when the vendor asks.
Dred Scott, a slave, lost a legal suit for his freedom in the US Court in 1857
This is similar to all the fixed issues we solved for Y2K. When nothing happened then rather than saying 'well done to all who fixed the issues' it became 'that was a waste of time and overblown as nothing happened.' Sometimes I think they wished a plane fell from the sky due to a software bug so they could slam software developers for incompetence.

There's no middle ground :(
You're "tweeting" to your followers and random people that happen upon your feed can read it too, just as some random person sitting on a bench in the park would hear you speak. I don't believe that most people (normal people, that is, not professional pundits that use Twitter) are fully aware that they are "completely public" most of the time. They'll likely "know" if you ask them, but they'll use Twitter as if it's an extended group chat a lot of the time: they don't expect that the world is watching/can watch.

There's probably a cultural component to what side of this one comes down to, how much privacy you can expect (and be granted by law) in public spaces is different between countries.
This seems to be a bit of too much ado over nothing. This type of projects have been going on for over a decade now (just search for Twitter or Facebook in Google Scholar). Even the government has been involved in financing some of this research (For example: https://www.iarpa.gov/images/press/osi/24_open_source_indica...).

Many interesting things can be done with this kind of data (and it's what originally got me interested in data science https://www.springer.com/us/book/9783319140100). That being said, the specific solicitation (https://www.neco.navy.mil/synopsis/detail.aspx?id=537809) doesn't seem particularly exciting or novel. Just an overgrown grad school project to keep the students busy. With some Python experience and patience to collect the data, pretty much anyone can do something similar.

You can find the slides for one of my old (PyData 2015) tutorials on social media mining here: https://www.slideshare.net/bgoncalves/mining-georeferenced-d...
Don't release your software under a free software license if you don't want redistributors to randomly add bugs. Just go work for Apple, or something.
This is pretty cool. Reminds me of the live webcam feeds that were popular for a while (and probably still are).

Only problem is it sporadically fails to refresh, resulting in a white "Oh Snap!" says-nothing-helpful browser error that forces me to reload the page manually.
If that's really the reason, then I and (likely) the majority of other Linux users are completely fine with that.
Did fb refund all of the ad money spend on these accounts? Let me guess: No.
> And diplomacy is not my strong point.

As someone who struggles with this too: The world doesn't care that you own it and admit it; they only care if you fix it, or at least work around it for them.
> Even the slightest change in color can introduce friction between UI elements.

No two displays that I own produce the same colours. It depends on the hardware, the brightness, the daytime colour cycling I have, and so on.

I feel like if slight changes to colour can wreck your app then your app leans too heavily on colour reproduction.
i can't get no levitation

https://j.map.baidu.com/rybf-

Mysteriously the end of the branch/spur about a mile to the SW is not visible there. Anyways, doesn't look different to what's visible in gmaps, looks all like conventional tracks.
Ah, I guess this is sort of a change between GTK 2 & 3.
I think one can argue that a "visual drag&drop UI" to build a e.g. a complex query can also be a form of DSL.
I wonder how many people they have working to circumvent pi-hole specifically.
Yep yep, we're talking about the same thing.
I like to call it an inline interpreter.

It's a nice compromise. The emit-logic can be kept fairly uniform and low-maintenance since its more or less identical to the regular interpreter.

I got around 10% increased performance on a Forth in C for whatever that's worth.

One thing to keep in mind is to use functions in the emitted code rather than simply dumping everything in a pile. Most compilers don't deal well with code piles from my experience , which makes the code both compile and run slower than it could.
There's a node candidate named "DRAICON BALL"... https://icon.community/iconsensus/candidates/
Why making side projects rocks, or how we're making €2K/mon with zero effort
Ah hah, appreciate the depth. I misunderstood your comment and thought you meant it was vulnerable to some type of network attack haha.
GDPR After One Year
Hugo Black didn't write that only the New York Times had the right to publish government documents. He also didn't write that only organizations that meet partiallypro's liking can publish government documents.

Wikileaks is fulfilling an important role, publishing documents that shed light on the secret actions of governments. That's a service to democracy.
Actually no that’s not what it said. Or at least not in the way that your terse paraphrased summary suggests.

What it actually does is list a number of reasons why distro themes are bad (in their opinion). Some of those reasons amarettos equally true for end users theming and some of those reasons are not. The letter also does say that end users are welcome to theme themselves but they should do so under the knowledge that there be (potential) dragons.

What it doesn’t say is that theming “doesn’t work”

Personally speaking, I’m on the fence about whether I agree that distro theming is bad. However I do think their points are perfectly valid and that a considerable number of HN commentators have taken the letter completely out of context.

Edit: and I’m also a little peeved that there is so much knee jerk down voting of comments on here. Particularly when those comments are quite literally correct. It’s a really pity you guys couldn’t be bothered to read the letter before abusing your right to moderate.
I remember being a uni student at a career fair nearly a decade ago and the folks at the CIA booth were wanting to hire to "predict the next Arab Spring" (which at that time was fully underway). When I asked a little bit, they didn't divulge more and weren't interested in me (my degree is not comp sci).

I've just been assuming this sort of work has been going on since then.
Stagnating Wages Was Mostly Wrong
Well, SQLite is using it of course ;-)

Other large projects include Tcl/Tk and many related extensions, as well as all the cool stuff I write:

http://chiselapp.com/user/rkeene/
Our system: I make more, and I pay for the biggest expenses (mortgage, and previously cars and student loans before we paid those off) and have healthcare and whatnot taken from my paycheck.

She makes less but still a decent amount and pay for the smaller bills.

Every once in a while, she'll pay for a big-ticket item (like a vacation or a large house repair) out of her savings, which accumulate faster than mine, to catch up.

It works because we started together with next to nothing, so we're both big savers: Our combined income our first year together after college a little over ten years ago was probably a quarter of what we'll make this year. We both max out (or come very close to maxing out) retirement now. She has more cash on hand because I'm paid proportionately more in various types of stock incentives, so when my incentives vest I tend to sell the company stock to diversify but keep the money in investments).

We live in a small house, no kids, reasonably cheap cars, vacations are often tacked on to work trips to save money, no expensive hobbies.

I doubt I'll "retire" early but our savings mean if I decide to leave tech in a decade and become a woodworker or park ranger, I can with no monetary consequences.
As an American resident in Europe, I have to wonder what liability they face under GDPR.
I would actually go as far as saying Basic good enough SQL is easy to teach to people. You can make it easier by creating views for them.
To misquote Willy Brandt: There is no point in reaching the year of the Linux desktop at the price of it not being the Linux desktop anymore.
Maybe we could all settle on a common insult towards the government then?
But it's not fine with them; it's unsupported and they're openly hostile towards at least some users (distros) doing it.
Yea, but that requires other people to have gotten it. Which, if your site matters, is not a gamble you can take.

I love IPFS, but it still needs a live server to pin a resource. Luckily you can host IPFS stuff (theoretically) on a tiny box because any amount of traffic becomes "instantly" distributed. But, still having it hosted is the only way to guarantee your content is actually available.
When I say cost, I mean everything. Including R&D, including those other failed projects, including rye cost of capital.