skysight-inc/HackerNews huggingface dataset:
> The books they scan may have an ISBN, but the scans do not have them. Like all Project Gutenberg books, their books have no ISBNs at all. From a strict point of view, they've released new editions of these books.

Are you saying they actively remove ISBN numbers from scans? If I downloaded one of the books, it wouldn't have an ISBN?

Why? That seems like a bunch of extra processing per book, makes it harder for users to specifically identify a book, and probably does nothing for legality. Also, can people search by ISBN?
I made similar and free analytics, you can add it by submitting your project to huntlie.com and installing the analytics.

Demo: https://huntlie.com/product/huntlie?tab=nominalytics
Came here to post this same book.
what's even more weird is there was a similar naming situation with another wycats-associated project: Handlebarsjs: https://news.ycombinator.com/item?id=1677499
> HTML is somehow simultaneously paper and the printing press for the electronic age. It’s both how we write and what we read. It’s the most democratic computer language and the most global. It’s the medium we use to connect with each other and publish to the world. It makes perfect sense that it was developed to serve as a library—an archive, a directory, a set of connections—for all digital knowledge.

Ah yes, journalist word salad.

No, HTML is not a programming language. We all know this. The definition of programming is: "creating a sequence of instructions to enable the computer to do something" - which HTML does not do. Defining HTML as a programming language is like defining a plain .txt file as a programming language. You can open it in your browser, the computer is "running" it, but it's not doing anything. The underlying rendering engine of HTML is what's doing the work rendering your markup.

I suspect this is the author trying to quell his cognitive dissonance at not knowing how to write code for actual programming languages. Perhaps it's his ego invoking that fear... "I don't know something I want to know, so I must rationalize something I do know as being more than it is."

I suppose it's a good article for engagement - for journalist types to send to each other to feel better about their lack of knowing how to write code, and for developers to chuckle.
> Mosh doesn't listen on network ports

...

> ... Then Mosh runs the mosh-server remotely and connects to it over UDP.

Are UDP sockets immune from port scanning? Regardless of the answer to that, the sentence should be rewritten because it sounds like nonsense as is
At the end of the day, it's one ecosystem we all live it. It doesn't matter if the top polluter has 1 billion, 0.1 billion, or 10 billion people. The total amount of greenhouses gasses added to the atmosphere is too much. We all need to stop adding and then start removing.

As for which metric to use, that depends on the argument you want to make. One can look at cumulative emissions and see how western nations have polluted much more historically, and should therefore do much more to clean up a mess their have contributed much more to.

Their governments will retort: "Oh but we produce so little of current global emissions now, those other countries polluting more should change first".
I've been out of rails for more than a decade, ended up mostly with Django, but I always kinda miss rails. But Django has treated me so well, just wish async and python in general had more legs on this side
Looking uncrossed at the images in the article on my phone, I can easily achieve the effect uninterrupted between fully stretched arms and about half that.
My sense has always been that, there actually is no difference between "the implicit meaning in text" and "correlations between sequential words".

That is to say, the fact that LLMs are able to communicate effectively with humans is a discovery about the regularity of the semantics of human communication, rather than a discovery about the intelligence of neural networks.
Some tech companies have been liberal on cultural issues in the past for promotional and branding reasons, like you suggest. Some, more recently, have promoted conservative talking points and ideas for the same reason. Those political positions and policies should not be seen as anything other than profit seeking and are almost completely disconnected from any ideological positions held by the leadership of those companies. If pretending to be MAGA creates engagement, they will all be MAGA.
The author specifically calls out that the taxi service needs not operate in all weather conditions or times of day.

> First driverless "taxi" service in a major US city, with dedicated pick up and drop off points, and restrictions on weather and time of day.

However, their analysis this year is that, "This is unlikely to happen in the first half of this century."

The prediction is clear. The evaluation is dishonest.
Not really, there are tons of different filesystems mounted from all over the place. It's a mess.
> Because HTML ... lacks features like ... Turing-completeness, it’s often dismissed as not a programming language.

This is the core reason why HTML isn't considered a programming language. It's not designed to be Turing-complete which is a key aspect of programming languages.

That being said, HTML+CSS is unintentionally Turing-complete: https://stackoverflow.com/questions/2497146/is-css-turing-co...
I'm very pleased that this did not work in Firefox on Linux Mint. Unfortunately it does work in Vivaldi.
These are wonderful:

Louis Auchincloss, The Rector of Justin (1964)

Donna Tartt, The Secret History (1992)
US announces $25M reward for arrest of Venezuela's Maduro
> Tech companies, perhaps until very recently, have been extremely left-leaning.

No, none of the big for profit, often venture-capital funded or publicly traded, firms in the tech industry have been advocates for any of the pro-labor and anti-capitalist ideologies that define the left. Being (often only performatively) on the Democratic side of some of the culture war issues between the centrist Democratic Party and the hard-right Republican Party while spending lots of money to keep the Democratic Party strongly committed to corporate capitalism doesn't make them even slightly left-leaning.
Weird timing. I dunno why this works but I've been using it to see mice.

You see, I noticed that I have a mouse problem in my garage. I figure if I've seen one mouse, there are probably more. So, I stood on some stairs in my garage and crossed my eyes to sort of blur the scene. It allowed me to catch movement more quickly and I was quickly watching multiple mice run around the edges of the area.
Location: Germany
Remote: Open to hybrid & Remote
Experience: 4 years
Willing to relocate: yes, within Germany
Technologies: Golang, Typescript/Node.js, React, Nest.js, GraphQL, MongoDB, Redis, PostgreSQL, BigQuery, Cloud(AWS, GCP, Docker), Distributed System, API Design, OAuth, Payment Service
Résumé/CV: https://hhow09.github.io/cv/
Linkedin: https://www.linkedin.com/in/hhow09/
Summary: Experienced software engineer with 4 years of experience specialized in backend and frontend development. Proven track record of delivering impactful solutions in authentication system, order/payment systems and pipeline optimization. Demonstrated ability to lead project development and optimize performance. Thrive in fast-paced environments and collaborating with international teams.
The Gazan teenagers defying war for competitive maths
Can you create a second read-only mount of root?

Maybe this would help:

https://serverfault.com/questions/136515/read-only-bind-moun...
This is the map territory relation problem.

We bring in the 'Trinity of thought' a priori and forgot about the advantages and costs.

You have the principal of excluded middle, principal of identity, and the principal of non-contradiction.

If your problems territory fits things are convenient.

Once you introduce known, unknown, or unknowable unknowns, the classic model falls down.

Unfortunately you have to choose what to sacrifice based on the context of the problem at hand.

This is exactly where Rice's theorm, the halting problem etc.. arise.

AC from ZF(C) and IID from statistics bring PEM, which gives or forces the classical behavior.

The 'non-trivial' properties of Rice's theorm are exactly those properties where PEM doesn't hold.

The frame problem in machine learning is also related. As is Gödels (in) completeness theories.

Sometimes you can use failure as negation, other times you can use methods like accepting that NULL is an unknown.

But you have to decide what you can sacrifice and still solve real problems.

I think thinking of a problem and it's complement is better.

E.G P is the truthy T and co-P is the truthy F. Obviously P=co-P means that the traditional method works, but jump to NP vs co-NP and ot doesn't.

NP chained ORs, co-NP is chained ANDs is another way of thinking about it.
Worth pointing out that Finland is one of the most ethnically homogeneous societies in Europe - only ~10% of the population is of foreign origin and background [1]. So, like Japan, it's easier to have a high-trust society if you eschew immigration.

Edit: Just to be clear, I'm very pro-immigration. I just think that studying rich homogeneous societies doesn't result in many useful takeaways for countries like the USA.

[1] https://en.wikipedia.org/wiki/Demographics_of_Finland#:~:tex....
While it's true that if you call Lua extensions written with the Lua API from LuaJIT it will be slow, that is much less of a problem in practice in LuaJIT. LuaJIT's FFI is extremely fast, and that's what you usually use. (This is an option in PyPy, but the FFI is less fantastic.)
Most of the articles I've read about formal methods feel like lead gen for consultants. That's fine but feels obnoxious when they implicitly act as though they have reached formal methods induced enlightenment that you can too if you buy a pack of trainings for your employees/coworkers or hire me as an employee to fix your bad (irresponsibly dangerous even!) programming habits.

Get back to me when the formal methods actually generate high quality code that cannot deviate from the spec.
Oh, I see where I misunderstood. I agree there doesn't appear to be a built in way to check, given a label, that the label is legit.

However, I was able to at least verify the label on my dishwasher by doing a google search for `site:energystar.gov <model number>` and seeing that that model comes up in the search results.

After some more digging around I think the expectation is that the trust would stem from an assumed effectiveness of the FTC to squash materially misleading advertising. Though even that needs someone to first notice a discrepancy and bother to look into it.

Kinda like how we trust that the nutrition information box on food is accurate because anyone selling food that falsifies that is going to have a bad time when the FDA comes knocking.

Is it possible to find sketchy products? Yeah, but there's often signs they're sketchy. If it's a concern for you, stick to large, established brands from large, established retailers. They're getting scrutinized up down and sideways for this kind of stuff.
>That's because "different" and "distinct" don't mean the same thing.

The literal definition distinct is:

>recognizably different in nature from something else of a similar type.

If you want to get down to it nothing is "equal" or the same.

Is a temperature measurement 25C the same as another of 25C? No these measurements are an approximation of the actual values which are actually not equal to each other they are distinct they have just been lumped into the same 25C group due to the resolution of measurement yet equality works just fine on that value in sql.

I have used SQL for a long time null handling is weird and inconsistent and a waste of time. For all the language bugs due to the existence of null at least I can count on null=null and not write garbage like value=param or (param is null and value is null)
New business idea: git diff, but it uses Mechanical Turk to hire an army of cross-eyed diff spotters.
Yeah I thought the t-shirt move was ridiculous, but it's genuinely a very high-quality shirt. I'd like all my company shirts to be made by them. It's still a bizarre unrelated business decision, but at least they nailed it.

Agree about not being interested in AI integrations. I pay for a quality search engine, and I am happy with that product at the moment.
I have no doubt this would stop some instances of (say) accidentally rebooting a production server.

But as an idiot, I’m here to tell you it isn’t idiot proof. In a moment of suboptimal attention, I could easily ask myself “What host am I on?” rather than the more appropriate question “What host am I trying to shutdown?”

In my case it may be quite a bit worse because I have hostnames in PS1 specifically to avoid running any command on the wrong host. With the hostname right in front of me I could easily accidentally habitualize just typing the hostname I see.

Over time, I imagine this would befome more likely rather than less, so although I think it probably helps, I am sympathetic to GP’s view of futility.
This is certainly not agreed. Computer scientists here don't even have a theory of meaning, because it isn't part of the discipline, nor do almost any have any prior research background in it -- hence making these sort of outrageous claims all over the place. However you want to give natural language semantics, ML models certainly to not use this semantics.

The very best that might be said is that the correlational structure of words under transformer-like supervision (ie., where "predict the next word" is the goal) produces a distribution which is an extremely approximate model of natural language semantics.

Though this has never been disputed. The question comes down to what kind of extreme approximation is involved.

Eg., the truth conditions for "I have a pen in my hand" are that I have a pen in my hand -- direct access to these truth conditions is very plausibly necessary to mean "I have a pen in my hand" in the relevant context. Since a machine has no access to the truth conditions of such utterances it cannot possibly mean them.

Thus if a machine manages to say, "I have a pen in my hand" at an appropriate occasion -- the "extreme approximation to natural language semantics" has to do with this occasion and what "appropriateness" means.

Critics of LLMs and "computer-science-addled thinking" about such matters (such as myself) would say that there are a very narrow range of "occasions" (ie., situations in which you're prompting) that allow such responses to seem appropraite.

That a response seems appropriate to a user is a good engineering condition on a tool working -- it has nothing to do with whether a model understands natural language semantics.

What we might say is that it approximates conversations between agents who understand such semantics on a narrow range of occasions, and succeeds in modelling appropriate language use. And so you might call LLMs models of 'average appropriateness of replies'.

It obviously does not, nor cannot mean, "I have a pen in my hand"
In almost all situations regarding humans, the difference between groups is smaller than the difference within groups.
I think the "not recognized as work" part feels similar to my experience but I don't really understand the psychology of it. Work is not done until it is reviewed and merged, so the review part is necessarily a part of the work cycle. I don't get the sense that you're advocating for the "not recognized as work" perspective, just responding to that viewpoint you shared.
If you're interested in a book about massive failure - read the story of Donald Crowhurst (The Strange Last Voyage of Donald Crowhurst is the book, there is also a documentary out there). It's hard to tell much without spoiling it, but basically, a highly publicized sailing competition was sponsored in the mid 20th century to see who could be the first person in history to solo circumnavigate the globe with a sailboat. Crowhurst had little to no sailing experience, and mostly sold navigation equipment and gadgets for sailing - a weekend warrior - and bet his entire future and business to support his entry into this endeavor. It erm... did not go well, and got increasingly worse, then almost ok.. then absolutely not okay. They don't know what truly happened in the end, but what did survive shows he went mad at sea from the likely pressure he was under.
I heard they’ve been here the whole time, we’re just not as adept as we think!
I think a problem is that we have to look at shady, ruthless, unethical and illegal actions as different categories, but to many people they are all the same.

Of course, you don't want to leave a trail of bodies in your wake but Life's not a bowl of cherries and taking a Pollyanna approach to business won't get you very far.
I have a friend who is an MD, and he recently asked me what I’ve been doing to manage my seborrheic dermatitis. Since dermatologists have no cure for it, we often have to resort to anecdotal treatments. Moreover, big pharma doesn’t invest in studies for treatments they can’t patent. Blind trust in medical professionals isn’t necessarily wise. Anecdotal solutions still hold significant value, in my opinion
I've always been interested in rails, even though my career has gone the JS/TS route. Think i might finally take the plunge and try to build some random stuff with it. See how far i can get by looking at code examples and asking gpt "how do you do x in rails" etc.

Really love that it seems to just be a complete toolbox, especially for a solo project.

Also seeing more and more rails roles out there, but obviously don't have 5+ years with the framework
>website down

oh deer.
I love sex
Because of this posting, I found the "1.0" version at Macintosh Garden and started playing with it in an emulator. It is pretty neat and advanced for the time -- while it supports the traditional line number/goto/gosub style of BASIC, you can also not use line numbers and define multi-line functions with "function/end function" and basically have something as structured as Pascal. Obviously this style of BASIC was common in the 1990s with Visual Basic and the like, but for 1984 this was unusual.
Ok, but crashes are much worse than navigational issues or accidentally looping. It’s only status quo bias that makes us think driving is more solved if you get the accidental looping fixed before the crashing.
> Is a temperature measurement 25C the same as another of 25C?

Yes, the measurements are the same.

The actual temperatures probably are not, but measurements are not the same as the thing measured.
New Math Suggests 'Impossible' Third Type of Particle Could Exist
I have a small astigmatism (and wear glasses) and I was able to do it, but I feel like if I did any more today I'd have a headache.
It's not the first pointless downgrade of the LG remote: they've already removed the pause button.
Now pausing and unpausing is done with the general-purpose click-wheel, is up to each app to implement, and is dependent on the UI state.
If a wrong element is focused (which is not hard to do, because the button is a scroll wheel surrounded by directional buttons), you may end up toggling subtitles or some other option when trying to pause or unpause.
It used to be a hardware button that always worked, was trivial to find by feel, easy to activate, and worked instantly.
Now it's "wait, I need to pause! Oops, I moved the scroll wheel button by a notch when pressing it, so it's a mouse cursor now! I fast-forwarded to the second half of the movie and the audio is in French."
I love sex and sperm
Define soul please
The other opt-out might be to opt into UTF-8 support for the "A" functions.
Wow. Thanks to MarkusWandel I discovered I can focus images while crossing my eyes and finally understood your comment. I've always done the "uncrossing" since I was a kid.
Was the C64 version available as a cartridge or did you have to load it in via the painfully slow floppy drive or worse off of a tape?

An advantage of the NES version is you could be playing it within seconds of hitting the power button, which made it great for casual pick up games.
I feel old knowing https://en.wikipedia.org/wiki/Magic_Eye
Also, they're rolling the dice continuing to use Redis https://github.com/redis/redis/blob/21aee83abdbfe8878d8b870b...
But the point is I want my 'root' session to have no ability to do anything destructive.
I started writing this past year and have enjoyed the process. Mostly just about my time as a professional trader - https://kylevallans.bearblog.dev/finding-asymmetry-in-chaos-...
This underscores the importance of designing systems with a multi-region strategy for high availability and resiliency against issues / outages like this!
> I've been using LLMs the same way this past year. As a challenge to myself, I've implemented full-stack interview evaluations using languages and tools I've never worked with before and see what I can do. Using LLMs, it hasn't taken me more than 50% longer to craft a solution as compared to my crafting one using tools and technologies with which I'm intimately familiar.

The problem with this is that you don't know what you don't know. I've actually used Claude to build a project in a framework that I haven't worked with before and it got me pretty far. Once I got that reviewed by someone who actually knew the framework it was terribly structured, not using higher level constructs to organize things, wasn't using idiomatic approaches - stuff I could easily confirm myself after going through the official docs.

I think using LLMs to skip learning from official sources is a bad move, you're bound to hit a wall with LLM (at the very least the training data cutoff could be before something changed in the framework), you'll have to deep dive into the docs and figure it out.

That is to say - sure you can pass the interview with LLM only - but you'll suck at the job. If you invest some effort upfront to learn from traditional sources and then use LLM to speed you up it's going to pay off really fast IMO. The more I know about what the output should be the more useful LLMs are.
That's not really what's going on though. Semantically, it is a type of document that browsers to display in certain ways. A HTML isn't really programming your web browser any more than a .wav file is "programming your audio player". I suppose though, semantics are ultimately made up, and we can indeed choose to flip it such that documents are actually programs for platforms that are the document browsers
To put a finer point on it: Instruments that exist to enable the owner class to buy and sell control of the means of production are incompatible with systems that don't distribute control of the means of production to an owner class.
I think it is a lot more general than that, and outlined in the first sentence. In a world interconnected with soft power, the battle lines on free speech are unclear, and the US position is not ideologically consistent.
Seems pretty ridiculous to me to parse some PDFs. Almost like they made this as bloated as possible to justify buying $5,000+ GPUs for an office.
Double deep environment protection. True prod servers can't be deployed to except from special terminal which only appears visible to the ProdGlasses(TM). If you are wearing ProdGlass(TM) you receive mild brain wave stimulation which is collected for "product control purposes"(TM) future product development(patent pending).