HN user

xaedes

1,002 karma
Posts26
Comments496
View on HN
medium.com 1mo ago

The Simplest Learning Machine

xaedes
1pts0
www.haskellforall.com 1y ago

Optics Are Monoids (2021)

xaedes
3pts0
gliese1337.blogspot.com 3y ago

Schrodinger's Equation of Software (2012)

xaedes
1pts0
arxiv.org 3y ago

Why Can GPT Learn In-Context? Language Models Perform Gradient Descent

xaedes
35pts0
github.com 3y ago

Show HN: Brace Lang – parse brace groups and evaluate them however you want

xaedes
2pts0
xaedes.github.io 4y ago

Show HN: Online S-Expression Formatter

xaedes
1pts0
critical-hits.com 4y ago

The Wizards and the Sheep (2017)

xaedes
29pts4
www.icodeguru.com 4y ago

Transposing a Bit Matrix

xaedes
2pts0
www.nature.com 6y ago

On the correlation between solar activity and large earthquakes worldwide

xaedes
1pts0
howtosavetheworld.ca 6y ago

The Curse of Idealism

xaedes
2pts0
www.smithsonianmag.com 7y ago

For 40 Years, This Russian Family Was Cut Off from All Human Contact (2013)

xaedes
2pts0
arxiv.org 7y ago

Temporal Type Theory: A topos-theoretic approach to systems and behavior (2017)

xaedes
5pts0
critical-hits.com 7y ago

The Wizards and the Sheep (2017)

xaedes
1pts0
agileleanlife.com 8y ago

I am burning bridges. Watch me play with fire

xaedes
1pts0
www.theatlantic.com 8y ago

You Are Most Likely to Die at 11 A.m

xaedes
4pts0
www.ribbonfarm.com 8y ago

Tendrils of Mess in our Brains

xaedes
2pts0
arxiv.org 8y ago

An Analysis of Deep Neural Network Models for Practical Applications

xaedes
2pts0
arxiv.org 8y ago

Deep Learning Works in Practice. But Does It Work in Theory?

xaedes
2pts0
arstechnica.com 8y ago

Boeing: We Are Going to Beat SpaceX to Mars. Elon Musk: “Do It.”

xaedes
15pts1
www.inference.vc 8y ago

The Numerics of GANs

xaedes
2pts1
arstechnica.com 8y ago

The weight of Harvey’s floodwater actually made Houston sink a little

xaedes
5pts0
accu.org 8y ago

CheckedInt: A C++ Policy-Based Range-Checked Integer

xaedes
1pts0
nautil.us 8y ago

Can a Living Creature Be as Big as a Galaxy?

xaedes
1pts0
arstechnica.com 8y ago

Evidence that ancient farms had different origins than previously thought

xaedes
96pts40
www.eurekalert.org 9y ago

Study supports the idea we live in the largest known cosmic void

xaedes
1pts0
arstechnica.com 9y ago

45000 years ago in Ethiopia humans built a paint workshop; used it for millennia

xaedes
194pts40

For a few minutes after reading this I was worried about smartgit losing its way. But it seems they actually still offer perpetual single-payment licenses, where you purchase a few years of updates, usable after update period ends.

It puts a name to a considerate consensus-based way to approach change

When reading about nemawashi I immediately thought about its usage in software refactoring.

This is something you often intuitively do when making bigger refactors. Lay the foundations before actually doing it. Affected code parts and stakeholders should not be surprised by one big change. Instead they should be consulted before hand, building consensus, modify the planned big refactor itself and preparing the individual parts for it by small changes. Otherwise you will encounter a lot of friction, introduce bugs, etc.

It is very nice to have a proper term for this.

Wu Wei 3 years ago

There is this concept of the "Four stages of competence":

- unconscious incompetence

- conscious incompetence

- conscious competence

- unconscious competence

At first you are unable to do something, but you don't even know it. Then you learn about your incompetence and begin to work on it. Eventually due to conscious effort you achieve conscious competence. Doing it long enough you don't need to spend conscious effort to be competent - you just do it, and you do it well.

I think this unconscious competence is very similar to Wu Wei.

That official identity documents requiring a smartphone is the "smallest imaginable amount" is questionable. With this proposal I can not even go on vacation without a smartphone.

Maybe I am old-fashioned, but I still think humans should be able to do basic life actions without a smartphone.

I read the pie chart as this:

Only 11.5% barely notice them or can completely tune them out. 88.5% are annoyed by them with varying degrees of annoyance.

In Germany they decided to make the EPA (electronic medical record) opt-out starting by 2024. Managed by "gematik GmbH", a company with limited liability. Because why should the entity responsible for all medical records have some liability. It is a joke, a bad one.

They don't even say how to opt-out.

Yet another etymological curiosity:

hǫfn is "old norse" for harbour or port. Now going to wiktionary and following the etymology:

hǫfn: From Proto-Germanic *habanō, *habnō (“harbour, haven”).

habanō: From Proto-Indo-European *kh₂póneh₂ or *kh₂pnéh₂, from the root *keh₂p- (“to take, seize, grasp”).

Other germanic words (like german "Hafen") for harbour/port also have a very similar lineage and derive from this "to take, seize, grasp".

So basically the harbour is the place you go to, when you are going "to take, seize, grasp", like when you invade other countries by sea.*

Rewrite this function into latin-py, a python dialect based on latin, with all identifiers (even append) and keywords translated to proper latin. Add comments in proper latin. Add typeannotations (translated into latin) and docstring in proper latin.

    ```latin-py
    """Haec definitio vicini elementos in arr in spatio n a puncto (x, y) repperit."""
    definio vicini(arra: lista, x: numerus, y: numerus, n: numerus) -> lista:
        """Resultatus in quem vicini elementi addentur."""
        resultato: lista = []
        # Maximum quod x possit esse.
        riga_maximus: numerus = max(0, x-n)
        # Minimum quod x possit esse.
        riga_minimum: numerus = min(longitudo(arra)-1, x+n)
        # Maximum quod y possit esse.
        colonna_maximus: numerus = max(0, y-n)
        # Minimum quod y possit esse.
        colonna_minimum: numerus = min(longitudo(arra[0])-1, y+n-1)
        # Itero per intervallum rigarum
        pro i in intervallum(riga_maximus, riga_minimum+1):
            # Itero per intervallum columnarum
            pro j in intervallum(colonna_maximus, colonna_minimum):
                # Addo elementum ad resultatum.
                resultato.adde((i, j))
        # Redire ad resultatum.
        redire resultato
    ```

I like this passage from "Demian" by Herman Hesse:

And at this point I felt the truth burning within me like a sharp flame, that there was some role for everybody but it was not one which he himself could choose, re-cast and regulate to his own liking. One had no right to want new gods, no right at all to want to give the world anything of that sort! There was but one duty for a grown man; it was to seek the way to himself, to become resolute within, to grope his way forward wherever that might lead him. The discovery shook me profoundly; it was the fruit of this experience. I had often toyed with pictures of the future, dreamed of roles which might be assigned to me --- as a poet, maybe, or prophet or painter or kindred vocation.

All that was futile. I was not there to write poetry, to preach or paint; neither I nor any other man was there for that purpose. They were only incidental things. There was only one true vocation for everybody - to find the way to himself.

He might end as poet, lunatic, prophet or criminal - that was not his affair; ultimately it was of no account. His affair was to discover his own destiny, not something of his own choosing, and live it out wholly and resolutely within himself.

Anything else was merely a half life, an attempt at evasion, an escape into the ideals of the masses, complacency and fear of his inner soul. The new picture rose before me, sacred and awe-inspiring, a hundred times glimpsed, possibly often expressed and now experienced for the first time.

I was an experiment on the part of nature, a 'throw' into the unknown, perhaps for some new purpose, perhaps for nothing and my only vocation was to allow this 'throw' to work itself out in my inner most being, feel its will within me and make it wholly mine. That or nothing!

I learned to love linked lists as soon as I discovered that I can just store them in vectors to get the performance of guaranteed contiguous memory:

  // LinkedListItem[k]: item[k], prev[k], next[k]
  std::vector<T> item;
  std::vector<uint> prev;
  std::vector<uint> next;
Similar is used in transparency rendering with per-pixel linked-lists.
Ragnarök 4 years ago

"submersion of the world in water". What is seldom put in words, it might be frozen water: the mighty glacial sheet, the real cleanser and fertilizer.

Tried it, but returning lots of results doesn't seem to be their focus.

Now I installed OpenSearchServer and see how far a local index gets me. The simple query "a" gets me at most 394 results at google, after letting OpenSearchServer crawl/index for just 2h I already get over 900 results for "a". Well.. I guess it really is not hard to beat that meager 394 results.

I was feeling this as well, but didn't pay attention _how_ bad it is. I mean it really is... Is there ANY search engine left that returns more than 500 results for any search? Are there any community driven search engines? I mean at this point it can't be hard to build a better alternative...

That syntax here already is basically just sexpressions with indentation. Just integrate a full lisp with macros and all. Then people can define sugared DSLs for the simple use cases.

If you like that you might also like The Wizardry series by Rick Cook

Here a short description from some bookseller for the first book "The Wiz Biz":

It all began when the wizards of the White League were under attack by their opponents of the Black League and one of their most powerful members cast a spell to bring forth a mighty wizard to aid their cause. What the spell delivered was master hacker Walter Wiz Zumwalt. The wizard who east the spell was dead and nobody—not the elves, not the dwarves, not even the dragons—could figure out what the shanghaied computer nerd was good for. But spells are a lot like computer programs, and, in spite of the Wiz's unprepossessing appearance, he was going to defeat the all-powerful Black League, win the love of a beautiful red-haired witch, and prove that when it comes to spells and sorcery, nobody but nobody can beat a Silicon Valley computer geek!