Gormisdomai

The example sentences generated “only from neural data” at the top of this article seem surprisingly accurate to me, like, not exact matches but much better than what I would expect even from 10k hours:

“the room seemed colder” -> “ there was a breeze even a gentle gust”

This looks cool but I’m confused exactly how the compilation is supposed to work, and the docs[1] don’t make it any clearer. Is it promoting an LLM to try to get it to generate deterministic code to do the task?

[1] https://docs.a1project.org/guide/compilation

Related: LLMs trained on "A is B" fail to learn "B is A"

https://arxiv.org/abs/2309.12288

This website was a part of my education as a computer scientist and seeing it here again I'm curious for the full story of how this site was made. Who made it, what do they do now, is it part of a broader project they have?

There is only very basic info here: https://en.wikipedia.org/wiki/Project_Euler

This is aesthetically very pleasing but the contents of the sections currently either don't load for me or load very slowly.

Thank you for doing this!

There must now be projects like the one the author describes that are at least 5-10 years old now, I’d love to see a comparison of ones that delivered their promises and ones that keep delusionally lumbering on.

Glad to see this on here again. This book is what bridged the gap between my undergrad degree and feeling like I could contribute to nontrivial real software projects. I originally found it because of HN

I would suggest that if one label is singular (the world) and the other is plural (the totality of facts) and you explain how the latter combine to form the former then the observation should be especially informative.

In general pointing out that two labels point to the same object can be very informative and this is relevant for the context in which Wittgenstein was writing https://en.m.wikipedia.org/wiki/Frege%27s_puzzles

A good place to start with understanding the context for Tractatus is reading about Bertrand Russell’s logical atomism https://plato.stanford.edu/entries/logical-atomism/

In this critique have you considered that a way that that X can be logically determined by Y is by X just being Y.

Under one very theoretical framing[1], it turns out (maybe unsurprisingly) that spreadsheets are more powerful as a model of computation[2] than Turing Machines[3]. Mostly because of excel’s “drag down” feature[4].

In particular, a Turing machine with an infinite tape cannot simulate Excel with an infinite spreadsheet size. But Excel with an infinite spreadsheet size can simulate a Turing machine with an infinite tape.

None of this actually matters in the real world because computers have finite memory.

[1] https://en.m.wikipedia.org/wiki/Hypercomputation

[2] https://en.m.wikipedia.org/wiki/Model_of_computation

[3] https://en.m.wikipedia.org/wiki/Turing_machine

[4] https://support.microsoft.com/en-us/office/fill-a-formula-do...

How many of the city’s challenges are technical versus policy problems?

You could, for example, show all front page users a random selection of new posts alongside top content.

I wasn’t sure if paypal-corp was a legit webpage for paypal. Here’s a Reuters article confirming the story https://www.reuters.com/technology/paypal-launches-stablecoi...

I was browsing an old thread about this, and this comment from 2010 put it very well https://news.ycombinator.com/item?id=1076422 which is where I got the phrasing of the title from

What are the 3-5 books you have in mind?

One reason I'd love one of these (or a generally cheap low power linux PC) is just so I could e.g. muck around with e.g. code golf or advetnt-of-code programming puzzles on my commute.

What is "shared randomness" in the context of this article? When I google it I find papers on quantum computing - is that a prerequisite for this implementation?

I found the content of the article interesting but am also fascinated by how this kind of clickbait gets published and produced in the first place.

I did a whois lookup for history101.com (partially because I was half wondering if this came from some kind of politically motivated bot farm) but it leads to https://www.novelty.media/ who unlike traditional newspapers seem to be upfront pitching themselves to advertisers specialists at fine tuning articles to keep a high value US audience to keep reading and sharing them.

I guess it's working since this made it to the HN front-page!

If we grant that the right kind of blog could make the aesthetics of this work I still think users with cheaper internet might like to be able to click to load the original full-res versions of the images.

The paper studies trades made on financial market indexes, so over the periods of time measured I wonder if the random strategy they used is about the same as investing in index tracker funds and spreading your buys / sells out in order not to time the market.

> At Gratipay, we believe that companies want to pay for open source, and will pay for open source if it’s easy enough—bureaucratically, technically, and socially.

I think this is the right insight, but clicking around the links on their website I don't think they were executing on that insight particularly well. This looks more like it was a platform for individuals to make recurring donations than for companies to support the tools they use.

I'm curious why it successfully rotates some emoji but not others.

E.g. stars and hearts get rotated but sunglasses do not

(EDIT: rewrote my example to use words because HN doesn't render emoji, duh)

Loads for me now too. Wow, that is indeed an impressive list!

And yes, definitely don't want to detract from the community effort, the huge list of individual contributors is impressive in itself.

[edit - the link below now loads, very cool to see all the companies involved, especially given Pharo crops up here every few months]

I'd be curious about who, if anyone, funds Pharo development - especially if there are any medium-large companies backing it's development.

I found this link to the Pharo "consortium" but it's not loading for me https://consortium.pharo.org/

There's a nice quote about this in Neil Gaiman's Sandman comics https://i.pinimg.com/originals/e2/bc/96/e2bc964c94ddefc86a99...

A serious answer from me would be how to ask for help when stuck on a problem or understanding a topic. A lot of students (me included) will leave school with the impression that it's always better to grind through and figure things out oneself, and that asking for help is a sign of failure.

It's not the end of the world if you do, but if you do find yourself repeating the same news or information in several one on ones it's probably better to just discuss it in broader meetings.

For me it's almost certainly the risk to mental health - a lot of founders I know are chronically stressed, anxious or lonely, even the ones doing great work.

Would you say the main risk here is ultimately financial in your eyes? Namely that you won't be able to raise money to pay yourself a salary and then won't be able to find a new job or return to your old one?