HN user

omaranto

3,339 karma
Posts44
Comments1,266
View on HN
venturebeat.com 5y ago

No-code/low-code: Why you should be paying attention

omaranto
2pts0
orgmode.org 5y ago

This FSF form assumes everyone's full legal name can be written in ASCII (2011)

omaranto
20pts44
www.reddit.com 5y ago

In the 90s part of Germany's air traffic control software ran on Emacs

omaranto
241pts80
stuartsierra.com 5y ago

Sequential Consequences

omaranto
32pts10
nullprogram.com 5y ago

Exactly-Once Initialization in Asynchronous Python

omaranto
2pts0
www.cs.kent.ac.uk 6y ago

Some Were Meant for C (2017) [pdf]

omaranto
1pts0
www.justinobeirne.com 6y ago

Google Maps’s Moat: How Far Ahead of Apple Maps Is Google Maps?

omaranto
1pts0
github.com 7y ago

The Bosque Programming Language

omaranto
36pts1
blog.simon-wirtz.de 8y ago

Creating DSL with Kotlin: Introducing a TLSLibrary

omaranto
1pts0
jdh.hamkins.org 9y ago

A program that accepts exactly any desired finite set, in the right universe

omaranto
87pts18
www.johndcook.com 10y ago

Literate programming: presenting code in human order

omaranto
4pts0
medium.com 11y ago

Career Transitions: Crafting Your Medium Humble-Brag

omaranto
2pts0
support.office.com 11y ago

Microsoft apps no longer support Facebook Connect due to API change

omaranto
3pts0
github.com 11y ago

Dale – A GC-less S-expression system programming language

omaranto
123pts33
int-index.github.io 11y ago

Sodium: Pascal to idiomatic Haskell translator

omaranto
2pts1
www.npr.org 12y ago

French Court Orders Google To Display Notice On Its Search Page

omaranto
2pts0
www.amazon.com 13y ago

Announcing Kindle Worlds: sell licensed fanfic to Kindle users

omaranto
1pts0
alpmestan.com 13y ago

GHC Core by example, episode 1: Hello, Core

omaranto
1pts0
twanvl.nl 13y ago

The complete correctness of sorting in Agda

omaranto
1pts0
blogtrottr.com 13y ago

Blogtrottr delivers RSS feeds by email

omaranto
1pts0
yaxu.org 13y ago

Haskell patterns ad nauseum: datatypes for music

omaranto
6pts0
laneyk.org 13y ago

Startup recruiting pitch generator

omaranto
8pts0
hardware.slashdot.org 14y ago

Why Babbage failed

omaranto
2pts0
www.cs.northwestern.edu 14y ago

A macro story

omaranto
1pts0
docs.google.com 14y ago

Oracle on why you shouldn't use NOSQL (PDF)

omaranto
95pts98
okmij.org 14y ago

Impredicativity Bites

omaranto
1pts0
prog21.dadgum.com 14y ago

8-Bit Scheme: A Revisionist History

omaranto
3pts0
freeformlang.sourceforge.net 15y ago

Freeform - a meta language that allows defining and extending syntax inline.

omaranto
54pts11
theorymatters.org 15y ago

Theory Matters - Vision Nuggets

omaranto
2pts0
ceaude.twoticketsplease.de 15y ago

A Survey Of JavaScript Lisp Implementations

omaranto
49pts3

Who do you mean? The author of the tweet is Levent Alpöge, who does not have a PhD in math from Cambridge... but does have a PhD in math from Princeton. And his advisor was Fields Medalist Manjul Bhargava.

Also, there is no way this counterexample is wrong. You can very easily check it for yourself. (I did, I don't know why, obviously Levent wouldn't be wrong about this, but I guess I was in shock.)

Emacs can run external processes asynchronously. It is true that Emacs locks up while updating packages but it is actually not while downloading or unpacking them! It locks up while byte-compiling them. :)

feel a little exhausted just thinking about needing to be on 14 different chat networks.

You do not need to be on all 14 to find Beeper useful! Even if you only use a few you might still want them to be together in a single app. As to why you might be on several different chat networks, you might have different friend or family circles that use different chat networks and may have failed to convinced them to move to a single one or, like me, may think it is a bad use of time to even attempt to convince them to. I'm using Beeper for WhatsApp, Telegram, Facebook Messenger and Discord and it's great!

And people wishing to delve even deeper switch back to R? I don't use it, but I understood that most advanced techniques in statistics are implemented first, and sometimes only, as R packages, no?

As the link shows, the syntax section of the Vim manual offers suggestions to increase speed on slow computers for all syntax categories, tex being one of them. That does not mean all those categories are a problem in Vim itself.

Oh, absolutely! I should have said before that I edited many file types in Vim on that netbook and syntax highlighting was lighting fast on all types except LaTeX. Sorry if I gave the wrong impression. Unfortunately for me, LaTeX is by far what I most wrote at the time, so it was an annoying problem.

So, baffling discrepancies; I wish software performance was more predictable.

Amen to that! I've even been on the other side of this issue, with some Emacs packages I've written. I've received reports of some operations being very slow that I've been unable to reproduce (even though I continue to use underpowered hardware because I value battery life more than speed —I'm typing this, in Emacs, on a 10 year old Chromebook!).

I was using a third-party plugin for markdown (I think it was called pandoc.vim), but for LaTeX files I was using only plugins that come with Vim. The documentation in :help tex-slow did suggest things to put in .vimrc to help make syntax-highlighting faster and I did try all of them. The only thing that solved the lag was disabling syntax highlighting for LaTeX completely.

The slowness I experienced for LaTeX files happened even without any third-party plugins installed, using a one-line .vimrc that only turned on syntax highlighting. So I think it is unfair to say "the slowness has nothing to do with Vim itself". Probably also "or the low power of the netbook" is unjustified, in the sense that the tips in :help tex-slow do likely solve the problem on computers a little beefier than my old netbook (which is probably more than 15 years old at this point). I mean, those suggestions are in the official Vim documentation presumably because they did work for someone.

Think of it this way: if the slowness of LaTeX syntax-highlighting were not a problem in Vim itself (where by "Vim itself" I'm including the vimscript files that ship with Vim, not just the executable), would it be documented in the official Vim documentation?

https://vimhelp.org/syntax.txt.html#tex-slow

Taking notes in math courses in Vim on a netbook (remember those?) is what made me switch to Emacs! I tried taking notes both in LaTeX and in Markdown with syntax highlighting for embedded LaTeX math formulas, and Vim just lagged behind my typing —and I'm not that fast a typist. In the case of LaTeX this is a well-known problem that's addressed in the manual (see :help tex-slow). I tried all the tips the manual suggested and Vim still lagged, the only thing that fixed it was turning off syntax-highlighting completely. On a whim I tried Emacs, saw it was perfectly snappy (like Vim with non-LaTeX files) and switched.

https://vimhelp.org/syntax.txt.html#tex-slow

I wouldn't characterize languages in the K family as particularly focused on math. They have vectors, but do not have matrices or higher dimensional arrays, they don't have a built-in to compute factorials, binomial coefficients, roots of a polynomial or hypergeometric functions. And Ks do have dictionaries and tables. Maybe you're thinking of J or some dialects of APL?

In my opinion, the language that comes closest to K's functionality and is also understandable by mere mortals is K itself. It is obviously extremely close to K's functionality and is a very simple language, the only reason it doesn't seem simple is that most people are used to verbose languages. A couple of days of practice is enough to make K readable, in my experience.

Also, I am constantly amazed at how concise K is, easily rivaling not only conventional languages but also much larger array languages like APL or J. Arthur Whitney's taste in selecting primitives is out of this world.

Briefly: yes, you generate lots of temporary arrays, but it is not slow because it often allows the use of vector instructions and parallelism, it can be faster than a constant-memory loop that does not take advantage of vectorization or parallelization. Also note that most array language implementations reuse temporary arrays a lot doing in-place modification when possible.

If the necessary temporary arrays are really huge, array programmers will just do the computation in chunks that fit comfortably in memory.

I think they are called colloquialisms

Close, they are called "idioms".

+|x

The plus should be an asterisk, but yes, that is an idiom the ngn/k interpreter recognizes.

k on pdp11 3 years ago

Yup, UIUA is Polish notation rather than Reverse Polish notation.

Most of the websites I interact with are either very interactive web apps which have no hope of working without JavaScript or are basically made up of text documents I want to read. It is shocking how much the document-style websites improve if you browse them without JavaScript. People have really put a lot of crap on top of what is basically just a text file.

This looks great! I think I have access to most of these features already, but for people who don't this seems like an easy way to get it all in one package.

Grouping browser tabs is of course already handled by browsers, or you can use a window manager like i3, with the added bonus that i3 tabbed containers aren't limited to putting only browser windows in the tabs, but can include native application windows too.

The ability to add links to anything in your to do list I get from Emacs's Org mode —and probably even better than what is shown in the demo gifs: there you see adding a task from a sentence in an email, but it doesn't look like that also stores what email it came from, in Org mode you can easily set things up so that kind of that context is tracked automatically for you.

What really made me think is the Paste Calendar Availability feature! I need that all the time and it had never occurred to me to automate it.

Mastering Emacs 3 years ago

You don't mention any specific part of this so-called industry-standard UI that CUA mode does not provide. I guess if I were really motivated I could try to figure that out on my own, but it seems like a lot of effort because I'd have to play around with both CUA mode and some industry-standard editor (which I'd have to install first).

BuzzFeed has made no considerable effort to position themselves as a platform worth listening to.

Well, they did win a Pulitzer. That sounds like it would position them as a platform worth listening to and also like something that took some considerable effort.

Wat [video] (2012) 3 years ago

Bryce Adelstein Lelbach, the ISO C++ Library evolution chair, says that he would rather be consistently wrong than inconsistently right. Maybe that's what the Python core team thought, "we'd better make this consistent with +=, whose quirks people already know".