skysight-inc/HackerNews huggingface dataset:
What a bizarre (in a good way!) and interesting opportunity.

You're Dr. Ryan Wisnesky, eh? Are y'all familiar with Conal Elliott's "Compiling to categories" work?

http://conal.net/papers/compiling-to-categories/

> Abstract

> It is well-known that the simply typed lambda-calculus is modeled by any cartesian closed category (CCC). This correspondence suggests giving typed functional programs a variety of interpretations, each corresponding to a different category. A convenient way to realize this idea is as a collection of meaning-preserving transformations added to an existing compiler, such as GHC for Haskell. This paper describes such an implementation and demonstrates its use for a variety of interpretations including hardware circuits, automatic differentiation, incremental computation, and interval analysis. Each such interpretation is a category easily defined in Haskell (outside of the compiler). The general technique appears to provide a compelling alternative to deeply embedded domain-specific languages.

I'm an independent (amateur) researcher working in the space of Categorical languages (Joy, my project: http://joypy.osdn.io/ )

I sort of "backed into" the categorical aspect of Joy when implementing type inference ( http://joypy.osdn.io/notebooks/Types.html ). You can evaluate a Joy expression in the "category of values" and get a computation, or in the "category of stack effects" and get a type signature. Elliott is converting Haskell code into Joy-like point-free form and implementing several interesting Categories.

Without going into a lot of detail, I became interested in Prolog (for implementing a Joy compiler) and went down a bit of a rabbithole. ( https://hg.sr.ht/~sforman/Thun/browse/default/thun ) Now I am in some sort of transition phase between what I used to be (mostly Python programmer) to what I'm becoming, a Prolog and Joy programmer.

Anyhow, do you think it would be worthwhile for me to apply? I have a kind of patron right now, but it would be nice if he had some help.
>the same as the privacy populists who obsess about data, most of whom lived in advanced democracies in which the data isn’t used for serious assaults on people

This observation betrays a serious misunderstanding of the way democracy functions. The reason these assaults don't happen (or rather, don't happen more, because they do happen) is there is a robust public discourse that is critical of these moves and keeps them in check. Democracies don't magically grant people rights, they must be fought for.
I haven't reached ten years abroad yet, not China, but for my anecdata, the local language is considered one of the harder ones for native English speakers to learn. To help remember it, I have to frequently put myself into situations where I feel pressure to speak and understand it. I can't just learn it by osmosis. I didn't grow up inundated by it, and I've had to invest considerably to get to where I am today with it.

I don't regret it at all, but it's time and energy which might have been better spent learning other things instead. Especially when English is mainly the official language at work, and many people on the street can speak it for business or travel anyway. Career options here are much more limited unless you have a decent command of English. My bigger reason to want to learn it has been for social purposes.
> But you can't make similar inferences about [] and ->?

Words are WAY less ambiguous. -> means pointer dereference, or function call, or an associative mapping in other languages I know. [] is often an indexer, or an indication of a fixed allocation, or an indicator in documentation that a value is optional...

Both of those symbols have very overloaded meanings.

> For example, what exactly is a "Select" and what on earth does "Result" mean on this?

I mean, Result is pretty straightforward. Especially in the context of "Func" which is already there. Select is a common phrase used in, well, english, but also sql, smalltalk, C#, ruby ... and a bunch of others. If I know any of those it's a pretty big hint. It's also a common word for anyone that uses computers. If I say "select a group of files" you know that I mean, grab some files based on some criteria. If I tell you to concat map a group of files, you would probably have no idea what the hell I'm talking about.

> But you can just work out what <> means?

It's roughly the same shape as () and [] and I already know it from html.

> That's probably a less opaque concept than "IEnumerable".

Subjective really. Enumerable means a thing that can be numbered. That's pretty unambiguous. [a] in unix docs often means "optional". Or it's an indexer. Or it's.. it's used in a lot of different ways.

> This fictive beginner who doesn't know what a function is but naturally can work out what "Select", "Func" and "Enumerable" are is a very strange creature to me.

To most programmers, a function looks like:

f(a,b,c)

The alternative:

a -> b -> c

Is REALLY unfamiliar to most programmers that have never been exposed to a functional language like haskell or F# (which is to say, most programmers). Select and enumerable are commonly used vocabulary (well, maybe the former more than the latter, but enumerable is an easy word to lookup). Func is a very common abbrev.

I've read some intro to haskell docs, and even I don't remember what :: means. There's nothing implicitly about :: that means anything at all. In C++ it's a namespace separator. In other languages it apparently just gets used because a single ":" just doesn't quite get the point across well enough.
This article is strange enough that I suspect astroturfing.

The reason 5G is being deployed in 24GHz is because we don’t have wide enough blocks elsewhere. The 800MHz and 1.9 GHz spectrums have existing services cellular services, and putting 5G there would have to block off spectrum that would otherwise be used by older technologies. This would increase congestion for existing users while very few people would be on 5G.

Unlike other countries, US govt does not force phase out of services—we still have 2G service in many parts of the rural us, and cell companies aren’t going to upgrade them voluntarily.

Eventually most of the handsets would be compatible with 5G, then 800MHz-2GHz bands will be converted over to 5G. This happened with LTE and 3G before that.

Maybe this article is being pushed by telcos, who wants the current TV frequency reallocated to them. Of course the broadcasters want to hang on to those to provide 4K TV over the air service.
Online grocery shopping is causing a cold storage shortage
I’m not surprised that the police wanted this information. The police are perfectly welcome to want any information, and in most cases can ask you for it, regardless of if you’re allowed to give it away.

I’d support penalties for both the police and disclosing organisation if it turns out that the police are using information that was acquired unlawfully in some way.
Still, the decision by Boeing to try to shoehorn the new, bigger engines onto a 737 body, was a mistake. Whose job was it to know that this was not a good idea, because it would make the plane difficult to fly, and thus difficult to train for? Hint: the one that employs a lot of aeronautical engineers, and whose CEO should have been listening to them.
When I first saw this comment it was downvoted. wisnesky is one of the main contributors in the applied category theory world, and one of the reviewers for Conexus's FRP. IMO it's reasonable to advertise for that on a post about Seven Sketches.

I've been meaning to work with CQL to see if it can make XML-to-other-stuff data migration easier. I can picture in my mind how I want the migration to go, but/and it's always a lot of error-prone, one-off work in $work_lang.
> an explanation of what deconstruction was

Here's an explanation of deconstruction I liked:

https://web.archive.org/web/20070610103653/http://www.info.u...

How to Deconstruct Almost Anything--My Postmodern Adventure

A classic written by a software engineer, mostly about what deconstruction is, with background about what postmodernism is. Quite long but very well written.
What's the story with the chipset fan noise? Is it a big issue on new motherboards?
That's way too low resolution for displaying sheet music.
This is hugely industry dependent. In the service provider routing industry, for example, many new features are developed after customers request them for their networks.
Right, the scientific method is mostly useless for social science which is why it is in such a dire state. My point is that we need something of equal significance for social science before it will start make noticeable progress, until then it will be on the level as Aristotelian physics.
You don't need to destroy Boeing, but we do need to tell them to suck it up and design a new plane. The sooner, the better.
There's a line in The Matrix where Neo asks Cypher why he looks at the raw green code of the Matrix. He replies "You have to...and all I see is blonde, brunette, redhead" (or something to that effect).

Every time somebody proposes to "fix" Lisp's syntax it reminds me of that scene. It sounds like a newbie Lisp programmer who hasn't yet experienced the thrill of seeing beyond the parentheses. And the mind-boggling compositional utility that comes from leaving them alone.
The topic we are talking about doesn't imply the question of no security vs. high security, it is way more nuanced, and most Waterfox users probably enjoy a very high level of security due to the content blockers they use.

Also I think my claim that browser diversity actually increases security of the bigger system as a whole is correct, because I did mention it is only valid for non-targeted attacks.

There would be no financially viable way I can think of of targeting waterfox users with code on a website, because there are basically no waterfox users. Even if you manage to include some malware code somewhere on the most used websites, you will probably not get more than a handful of waterfox users to compromise their system.
Python 2 or 3 fans?
I don't know, some Rust devs seem to think that too. That's why the Rust Evangelism Strike Force exists.
It's too bad that text labels don't show up correctly (because they're rendered to pixels like the map), but otherwise, wow that's impressive. It works like a charm on XTerm on Mac. (It doesn't work with Terminal.app, but that's because Terminal doesn't support 24-bit colour commands IIRC, so I am not surprised).
The opportunity cost of learning a language at school is very small.
>> There've been so many attempts at removing the parentheses from Lisp, to make it look more like C...

I think it's less about looking like C (or other) it's about looking like normal Math: (f 1) vs f(1). The above plugin solves this. Maybe the neoteric feature is the most important of the three extensions.

But then again `unnecessary` braces are nothing to torture malleable newcomers with, they are just a thing to get rid of.
The problem is that wlroots is one of several libraries with this goal.

Say I wanted to roll up my sleeves and implement NVIDIA's proprietary interface myself. (Or say in a few years we come up with some new, even better way to allocate buffers or whatever.) On X, I can write a compositor that uses that interface, and it'll work with basically every window manager written since the early 90's.

On Wayland, I could patch wlroots, but then I'll only be able to use window managers based on wlroots. If I want to use a different window manager, I'll need to patch a different library. And depending on how stable wlroots's interface is, I might need to maintain patches for old versions of it depending on how maintained my preferred window managers are.

The Wayland situation is probably fine if you only ever want to use the latest version of the most popular two or three desktop environments. But speaking personally, if I wanted to do that, I'd just run macOS.
It would have been possible if Wayland decided to include drawing primitives. They religiously decided against it.

Now every toolkit has to somehow manage dpi scaling by itself. Actually it is a huge mess.
Snatchbot Disrupts the Market with Free Automated Speech Recognition
How does it read in your internal monologue? "await pound" doesn't convey a whole lot of semantic meaning to me.

I'm curious how others read it.
The idea of using DRM Leasing to allow the full-screen app to exclusively grab the framebuffer for itself has been floated around.

I'm not sure how graceful the alt+tab behavior of this approach would be though.
Google acquired a large Common Lisp codebase when they bought ITA. I doubt they would have chosen Common Lisp if they had started from scratch.

https://en.wikipedia.org/wiki/ITA_Software
The submitted title was "readable lisp with infix and less ((braces))". That was not the original. The original title is "Readable Lisp S-expressions Project", so a moderator changed it to that, in accordance with this site guideline: "Please use the original title, unless it is misleading or linkbait."

On HN, being the submitter of an article conveys no special rights over the content, such as how to frame it for readers. If you want to express your opinion, the place for that is in a comment; then your view is the same level as other users'. Titles are by far the biggest influence on threads, so this rule is a big deal.

https://news.ycombinator.com/newsguidelines.html
I like the comparison between learning the language of math and learning a foreign language. In both cases, learning the language gives you increased access to more culture, history, knowledge, and means to express yourself. This is a good way to answer "Why do need to learn math?" which people often ask me. As in "What am-I going to use this for?"

I don't like the idea of learning math INSTEAD of a foreign language, since both are meaningful and interesting for different reasons.

In writing math books I often had to come up with various analogies to try to motivate readers to invest the time---look, if you get through these hairy equations you'll have access to powerful math modelling skills and be able to read Wikipedia pages that have equations in them without going into panic. I'll add the "learn a new language for the culture/history" angle too, not sure which is more convincing...
> But like runit it relies on bash scripts, which are not declarative and open to a wide variety in quality, just like with sysvinit.

In theory, this makes sense, with potential issues of poorly written shell scripts. In practice (I assume arising from its increasingly baroque growing complexity) systemd ends up with stability issues which aren't pleasant from an end-user perspective.

Setting shutdown aside, I had a horribly difficult-to-debug boot issue with systemd: a daemon failing in an unexpected way caused a failure to bring up any services, but without systemd failure messages. The problem was a systemd emacs service. On one boot I had an issue in init.el which caused emacs initialisation to hang, so the root cause wasn't systemd. But systemd didn't fail gracefully (or informatively) in this case. And it took me a while to figure out why systemd wouldn't bring up any services, since it wasn't reporting to me that the emacs service (or any service) had failed.

I've since reverted to launching emacs daemons via .xinitrc or the like on my systemd boxes, so that any emacs init issues don't pull the rest of systemd down.
Do you have examples of working pull-requests which were rejected for what you consider bad reasons? I’m sympathetic to maintainers choosing not to take on additional technical debt so I’d especially be looking for things like willingness to shoulder long-term support costs and other constraints imposed by accepting a PR.
Delphi was amazing. The best GUI builder I've ever seen, fast as blazes... then Borland went bust, and it got killed by being priced into obscurity.
How does a dedicated chatbot vendor keep up in a fast-growing market?
NVidia has a horrible history of Linux support.

GBM works just fine, they've simply chosen not to support it.
Is Microsoft Profiting from FOSS? WSL 2
Does anyone know how much Microsoft is profiting from WSL 2 (Linux kernel in Windows)? I love having native bash on Windows, but it seems like the FOSS culture is being appropriated by bundling it in Windows... Looking for answers from current Microsoft devs and full-/part-time FOSS contributors.
> It's time to change lifestyles, pets, x-mas, makeup, .. all those unnecessary things

This is a significant oversimplification of a complex subject.

Human life is a lot about things that are, in a way or another, "unnecessary". I'm not in favour of certain forms of pleasure (eg. "makeup"), however, they're part of human culture and they can't be removed in real world.

I have also the suspicion that you assume that a certain type of personality doesn't chase unnecessary things (hint: there are plenty).

At the end of the day, humanity as a whole balances, more or less consciously, the immediate advantages of those forms of immediate pleasure, against action against a perceivedly distant threat (if the perception was of an immediate threat, like, death tomorrow, things would surely change overnight), and chooses the former.

It's hard to say what could realistically shift the balance. Personally, I think the shift will start to happen when things will be considerably bad.
I've heard of it, not sure how mature it is these days. Maybe I'll give it another look
Let's flip this around. If these were 'nazis' would you feel the same way?

In the US, alleged nazis are doxxed and given to the press, police, and anyone else and nobody seems to care. I don't think I've seen on complaint here on HN.

My point is that we should care about everyone's privacy..not just the people that you agree with politically.
People can commit these crimes for a wide array of reasons and under a wide array of circumstances. Someone could commit a heinous crime while under the influence of powerful narcotics but still be a perfectly decent person once they've been treated for their addiction. It's not possible to say who can and who cannot be rehabilitated at the moment of sentencing. It's something you should update your judgement on continuously throughout their sentence.

And in my mind, reconciliation is always better than revenge. I should think any family should be happier to know that the killer lived to deeply regret their crimes and become a better person than to think that somewhere out there is someone locked in a cage wallowing in resentment and still thinks what they did was right.
The point is: Most of the parentheses are superfluous and removing them (in the right way) takes nothing away from the mind-boggling compositional utility.
The normal support period for a RHEL release is 10 years. RHEL8 came out earlier this year.
It seems that Firefox has taken the "we know best, and want to protect you from threats, including threats from your own ignorance" approach. Much like Apple, I'd say. It's a defensible approach, but it doesn't work for me.
Haven't read it yet, but here's a link that might have some examples: https://www.links.org/?p=1242.
All Config Management systems execute other programs, parse their output, check/parse files underneath their fancy skin.

I've used both Chef and Ansible. Their maintenance cost is pretty high unfortunately, and they are not that flexible, nor resilient to worth it.

No wonder the container/k8s boom is so big. Immutable infrastructure (docker images) with really powerful operational features is what can justify high maintenance efforts. Whereas fancy but brittle (due to the inherent problem of state discovery) CM systems are at best only useful for the initial platform setup.

Rust is just useful because you can quickly and relatively safely produce single binary programs. (Many people use go for this, but it's easier to skip error handling in go which result in runtime problems, which is very inconvenient in a provisioning/setup system.)
But what I am saying is that Valve could have kept the game effectively the same price and avoided the criticism by changing how they charged the player.
If you don't like the current maintainers' policy on "future project direction", you can always fork the project.

Yes, this involves an increased maintenance burden since you need to actively review what the upstream is doing and figure out how to cleanly pull their changes - but guess what, that's the very same burden that dealing with your proposed changes would have placed on the upstream themselves! "Authoritarianism" doesn't really come into it.
Ah, I thought your original comment was referring to using the corresponding letters for the Braille (semantically), but now I guess you're probably unable to see it because your terminal doesn't have the Braille fonts (or doesn't have UTF-8 support?). I guess it would be possible to hack the code (it's just JS running under Node) to change the output character set; the challenge (as usual with ASCII) is to pick a character set that looks good.

But honestly, it's not as if using 7-bit ASCII will make it any more "readable"; more compatible, possibly, but the use of Braille subpixels definitely makes the map look visually nicer.
How about cleaning up the mess.

The most "mess" is coming from old graphics hardware drivers, a task that is now managed by the kernel.

Besides, the "mess" performs better than Wayland in many use cases thanks to DRI3.
where on earth is it the norm to be living with your parents until you're in your 30s?

Kiwi here, a lot of us move out and go flatting at the first possible chance we get - which is right after high school/first year of uni.
If the generics are $25, then I don't see a problem. It's cheaply available and this article is wrong.
I think they are gaining control via a “dastardly power grab”, as you put it.

Software that I have relied on for decades no longer runs, and it is invariably because someone at RedHat consciously decided to break compatibility with the existing Linux ecosystem in some functionality regressing way.

This has happened with the Linux kernel, pulse audio, dbus, systemd, logins, systemd logger, wayland, gtk2->3, and countless others.
WeWork to Raise Billions Selling Debt Ahead of IPO
> I think Lisp failed because it had no killer app.

As a vim user I love to think of all of the emacs peoples' heads exploding when they read lisp has no killer app. However it should be noted that lisp still has strong use cases in education and language design and even if not commonly used in industry its principles and design ideas come through in many modern languages.
He is (hyperbolically?) asking for a scientific explanation `why` Lispers are so convinced of their language (and others not).