skysight-inc/HackerNews huggingface dataset:
Actually Smalltalk was earlier inspired by Lisp. Lisp already had persistent heap images in 1960 in the first implementation.

A development environment with persistent heap images was already provided by BBN Lisp in the late 60s. The in-image structure editor for BBN Lisp came in 1968. A "make" like feature came in 1971.

Xerox then took BBN Lisp and developed it as Xerox Interlisp from 1972 onwards. Masterscope then was a source code management system in 1973. 1974 it ran on the Alto with a microcoded implementation. 1976 Interlisp got a window system and a virtual machine specification.

Xerox Interlisp-D then ran on the same hardware (the D-machines) as Smalltalk -> it was another operating system option. It basically appeared at same time as Smalltalk 80. Smalltalk and Interlisp were developed by different teams (with some overlap), in the same company and also for the same hardware.

See the history&timeline of Interlisp: https://interlisp.org/doc/info/history.html

Interlisp has been open sourced: https://interlisp.org/

The MIT Lisp Machines were inspired by the Xerox systems, but were different hardware with a slightly different target audience and different approaches in software development. Xerox was a commercial company with PARC as a research lab. The MIT AI lab was a well funded research lab at an university (MIT). Their more powerful systems were mainly developed for their AI researchers.
There is a deep issue in this model: it works very well in a two-people relation, one teacher for one student. It does not scale. Books offer an easy scalable ways since the same text from a single writer can be printed in many copies, one per reader.
We have a 45" from ~2013, I used to connect it to the internet in the early days when I didn't have a Chromecast. The UI is underwhelming, and the only times I've used the smart TV features was when a streaming device wasn't working.

I've gone through 4 streaming devices, and I think that even if I get a new TV, I'm likely to continue with streaming devices, unless that TV runs stock Android TV. Even then, it'll reach a point where the firmware is no longer updated.
With the Roku stick, you can set up the remote to control TV power and volume. I stuck the TV remote on the back of the TV with velcro so it won't get lost, but in ordinary use the Roku remote is all you need.
Well, Facebook is pretty good at automated advertising.

Those YouTube ads featuring pitchmen/people could be replaced by perpsnalizedt deepfake for race/gender/style that fits the target.
I stay on top of device firmware updates in order to stay current on security patches, lest bad folks come crawling through the connection. I assume that's the "conventional wisdom" spoken of here. But if the TV never goes anywhere near a network...

If it's not a networked device, then the FW update better have enhancements that benefit me, the user, and not Samsung. Otherwise, GTFO with your crab bucket of new bugs.
It's not managed to annoy me, which is quite impressive. I never really considered Docusign anything special for usability, until your comment, but that's because it gets out of your road enough not to notice it.
Funny, I got a Samsung TV which comes with Samsung TV+ which is their internet streaming service for free. Although I'm fortunately enough to not get ads everywhere (hopefully this doesn't change), the channel are actually pretty good.
At some point, I fully expect the TVs are going to refuse to work after a month of no internet.
I have an Apple TV 4k ↔ LG OLED ↔ Soundbar setup, and it's all controlled via the Siri Remote. HDMI CEC seems to just work.
Sounds like a “devops” in that same position would be doing the same then.
Firmware updates can bring image quality improvements, hardware compatibility fixes, all sorts of stuff beyond the built-in streaming apps.
>will be used as political ammunition for further wage laws based on personal characteristics/identity

Like what? I don't really see what further laws California could have within the current EEO framework. This seems targeted at transparency and enforcement.
Something I loved about that game was that stopping didn't make you safe - if you stopped for too long the aliens would come and find you. This lead to a intense experience where you had to keep going - even when terrified - because stopping was even scarier.
> If you think that is substantive evidence for a stolen idea

He says in the article that he doesn't think it's a stolen idea:

"I won’t accuse LeCun of plagiarism, because I think he probably reached these conclusions honestly, after recognizing the failures of current architectures."
FYI for you and other readers, sales is actually hard. Low barrier to entry followed by brutal survival of the fittest. Don't meet your quota? Fuck you, you're fired.

People who survive for decades of that aren't trivially replaced.
Wish there was a nice HN coffee table book documenting historic trends on here... from first post to current print date. Maybe just a bunch of illustrations of key words and a small foot note accompanying each
So Steam removed an online- only game after the servers were closed by Square Enix.

While online only games are certainly a problem it doesn't appear Steam's actions made the problem any worse.
yet another JIT related vuln?

c'mon, will we ever stop using JIT in browsers?

Just take a look at this article from Microsoft Browser Vulnerability Research where they do challenge this and perform benchmarks without JIT

>https://microsoftedge.github.io/edgevr/posts/Super-Duper-Sec...

>Looking at CVE (Common Vulnerabilities and Exposures) data after 2019 shows that roughly 45% of CVEs issued for V8 were related to the JIT engine.
How will it determine who gets the tickets? And which event is the most appropriate one for a given prospect? How will it know that the prospect is interested in the first place? Or available? Or worth wooing in this manner?
That’s a completely different topic to the alleged discrimination from financial institutions. There are plenty of industries that have well funded lobbies working against them, and most of them don’t tend have issues opening merchant accounts.
Facebook’s recipe for hyperefficient data centers
Discussed at length yesterday, though Matt Levine's treatments are always gems.

<https://news.ycombinator.com/item?id=32999454>
Hacker culture is full of exactly the kind of people it used to despise.
Bash will not expand aliases within a shell script unless it is in POSIX mode.

When not in POSIX mode, aliases are only expanded for interactive use.

$ echo '#!/bin/sh \n alias p=printf \n p %s\\\\n "hello world!"' > ok.sh
$ chmod 755 ok.sh
$ ./ok.sh
hello world!

$ echo '#!/bin/bash \n alias p=printf \n p %s\\\\n "hello world!"' > nope.sh
$ chmod 755 nope.sh
$ ./nope.sh
./nope.sh: line 3: p: command not found
What if the theorem prover was compiled with an infected compiler?
Sorry I am amazed by tens of thousands of layers. I have not used figma but with all the kerfuffle recently, I get it is sort of photoshop with collaboration. But how, how does any user interface design get to have 10,000 layers? Is each layer a square or a comment or an erase? I might not get the scale of the collaboration, or something but the numbers sound ... huge.
Success vs. Velocity Metrics
There are two types of metrics you need: Success and Velocity. One tells you where you are going and the other tells if you'll get there.
250k layers to build up an image? I'm thinking Photoshop-style layers, or do you mean something else?
Found a cheap one but it’s 720p.

Sceptre 32" Class 720P HD LED TV X322BV-SR

Didn’t spent much time looking at Walmart however.
At which point I'm personally content to go read a book (on my network-connected Amazon Kindle, of course). But I'm one of dozens, unfortunately for the rest of you because Samsung won't care about cranky old men and their books, they don't spend money anyway.
This is why so many sex workers prefer decriminalization to legalization. Because many times legalization comes with these shotgun laws that prevent anyone from helping out a sex worker in any way without facing legal consequences that were built to be severe enough to punish the worst sex traffickers.

Do you want to pay your ex-marine brother to sit in the next room to make sure you're safe?
You can't, he'd face severe penalties for supporting the transaction.
The FAQ [0] clarifies some of what TLA+ is good for

[0] https://learntla.com/intro/faq.html
There's no "no ads" option in the settings.

You can turn off interest-based ads, but then you just get less-targeted ads.
Queue a zillion posts about wanting dumb TVs.

My suggestion is buy a Roku, don't give the TV an IP address, and run Netflix, Amazon Prime, Plex, Hulu, and whatever you want out of one of the biggest channel catalogs out there on the Roku. It's way nicer remote, supports RF (so no pointing at the TV), and even supports using earphones (BT or wired from the remote).
My first though seeing this was that Peter Adamson, creator of the History of Philosophy Without Any Gaps podcast and book series should respond.

He has:

Re. Hanno Sauer's article denying the value of the history of philosophy: it turns out he follows me on Twitter, from which I infer that he was just kidding.

<https://nitter.kavin.rocks/HistPhilosophy/status/15732353053...>

I'm inclined to think that this is all the response that's required.

(I do find several other comments on this thread on point, notably those by pron <https://news.ycombinator.com/item?id=33008453>, terkozz <https://news.ycombinator.com/item?id=33008248>, and ougerechny <https://news.ycombinator.com/item?id=33010884>)
In other words, the timeline for what you're predicting is much longer than you think it is

Indeed. So many people I knew, thought full self driving, any weather, any road, fully AI, would be here by 2015. Then 20.

I doubt we will have it before 2050.
I assume connecting it to an adhoc network that doesn’t have internet access wouldn’t work?
Why even buy a TV then, why not a PC screen or a projector?
What’s more, I can upload/download music with my Apple iPod over WiFi.

iPod, extremely light and long playing.

And none of that Bluetooth cutout while traversing through many AirPods zones.
Customer support is largely useless today and can be replaced by machine. It only exists because average (dumb) people tolerate a human customer service rep saying "I'm sorry but you're screwed" better than a web page saying it.

Salespeople says BS to sign you up, only vaguely coherent, backed by some basic database facts about the product/price, so GPT can handle that.
Think about Donald Trump: Huge fan base of paying customers, barely distinguishable from a chatbot.
I found out yesterday that our facility management is employed with us. But we also handle seriously sensitive data.
There was a great talk at TLAConf this year by a PE at Nike, where they used it to find bugs in their in-store payment apps. He said it's a 40/60 chance legal will give us permission to share the recording, though.
There was a statement [1] earlier from leigh123linux [2] announcing very little interest in maintaining something like this.

[1] https://www.phoronix.com/forums/forum/linux-graphics-x-org-d...

[2] https://admin.rpmfusion.org/pkgdb/packager/leigh123linux/
I'm surprised I had to navigate to the glossary to actually "learn" what the acronym 'TLA' actually meant, I'd recommend at least having that promoted to the home-page.
I buy Mission Impossible like once a year from Amazon. I think I've bought all of John Wick twice.

I kind of read the fine print at some point and it turns out "buying" is just renting for some arbitrary time until Amazon decides you have to pony-up again.

Maybe DVDs will make a comeback?
Many of them are tagged with Birthday Week, c'mon. Could check their social or homepage to figure this out.

No need to upvote this!!!!
I'm always skeptical of those man on the street interviews. How many students did they interview to find the handful who couldn't do it? And how many of those were just flustered by the situation.
Raspberry pi 400 is close except for the Ryzen.
US pirates https://uspirates.org
Because if u want the best oled panel as pc screen, you have to get a tv
Kobo is also an e-reader company like Amazon and so their ePub support is fantastic. Boox's is OK but since it's Android you can literally use any ebook app you want including Kobo and Kindle so it's not a huge deal. The PDF reader on Boox devices is very good too with features like autocroping of margins.
> The sentiment here on HN is to never connect the TV to the Internet

Appallingly, this isn't enough to stop the ads. Many TVs will proactively scan for open networks and connect to them.
Are you saying B Clinton is not a human?
Because a 32" monitor is small for a TV? and a projector has tons of downsides?

The solution is to buy a commercial TV used in retail environments.
How’s the “I can’t” work? If the installer is telling you it can’t that just means it’s checking for free disk space the wrong way.
I use these additional parameters: `&gsrlimit=25&prop=imageinfo|pageimages&iiprop=url|size`. I think it just changes how much and what type of data is returned, but maybe that could be the difference?
The methane released by this equals roughly 25% of Denmarks annual greenhouse gas emissions, and could be more or less completely avoided by burning. Is there any reason why it is not set on fire?
>To claim women are uniquely seen as "lesser beings" in a developed world is horribly naïve.

Not really. The developed world barely raised a few generations since women can vote. This is not saying men don't have problems - but the field is still very often tilted against women.

https://en.wikipedia.org/wiki/Sexism
Anyone who calls themself a climate change activist and supports shutting down nuclear plants is - well, I prefer not to use invective on HN, so let's say extremely misguided.
Upgrading Your Computer to Quantum
I think you are confusing a call centre employee, who blind calls via auto dialing, and reads a script, with a sales person selling a COTS, and doing inside sales.

There is zero comparison to this and a facebook ad, or targeted marketing.
LOL, that's encouraging! Better keep those VCs at a safe distance!
Nail polish is very handy for this sort of thing.
I think that’s a bit harsh. HN should absolutely be a place to try stuff out, as long as you’re clear about it. OP was mostly clear, even though the homepage copy might not be ideal.
> What is he even arguing here? That he has been cheated out of some kind of credit?

He's (at least to some extent) arguing that if you're going to say someone's paper is "mostly wrong", saying the same things 4 years later should probably warrant a "ok, you were right" at least.
I will build a fire pit with cinder blocks in my back yard and roast hunks of meat using a sharpened stick before I put my oven on a wifi network.
It could do that part. Making the decision about what to buy, how much of it, and for whom etc would be the types of non-trivial decisions you need your sales AI to make better than a person
Russia's Facebook-Like VK Removed from Apple App Store
Yes. This nearly happened to my spouse and I. It was such a pain in the ass. We froze our accounts after the Equifax breach. For some reason, I was able to unfreeze mine quickly and easily over the web, but for hers, they refused to do it over the web and insisted on using postal mail. Meanwhile the loan officer was telling us that if we couldn't get it unfrozen, they couldn't guarantee the rate they gave us and the loan could fall through. I forget exactly what happened, but once we received the letter in the mail we were able to call and get it lifted just before the time limit on the loan ran out. I would not want to go through that again. It's a terrible system.
From the comments on that post, written by LeCun:

"'[...] Yann LeCun, [...] is on a mission to reposition himself, not just as a deep learning pioneer, but as that guy with new ideas about how to move past deep learning'

First, I'm not 'repositioning myself'. My position paper is in the direct line of things I (and others) have thought about, talked about, and written about for years, if not decades. Gary has merely crashed the party.

My position paper is not at all about 'moving past deep learning'. It's the opposite: using deep learning in new ways, with new DL architectures (JEPAs, latent variable models), and new learning paradigms (energy-based self-supervised learning).

It's not at all about sticking symbol manipulation on top of DL as he suggests in vague terms. It's about seeing reasoning as latent-variable inference based on (hopefully gradient-based) optimization.

Gary claims that my critiques of supervised learning, reinforcement learning, and LLMs (my 'ladders') are critiques of deep learning (his 'ladder'). But they are not. What's missing from SL, RL and LLM are SSL, predictive world models, joint-embedding (non generative) architectures, and latent-variable inference (my rockets). But deep learning is very much the foundation on which everything is built.

In my piece, reasoning is the minimization of an objective with respect to latent variables. If Gary wants to call this 'symbol manipulation' and declare victory, fine. But it's merely a question of vocabulary. It certainly is very much unlike any proposal he has ever made, despite the extreme vagueness of those proposals."
I assume each feature is a layer
Roku does tons of phoning home, has ads and analytics to see what you’re watching afaik. Using PiHole shows tons of unexpected traffic.
My problem with this is I want to use the CAPTCHA to deter humans from continuing. Letting them thru automatically allows spammers/attackers to just continue on, but many will actually skip pages/sites where they have to do the CAPTCHA etc.

This helps the bot problem, but doesn't solve the SPAM problem.
Scaling is likely to be the biggest problem, not app development.
Doom 3 wasn’t the same kind of game as Doom and Quake were. Serious Sam was more on that line - Doom 3 was an entirely different game type even though it had the same lineage.
I suggest you actually try and sell a product once before making this kind of prediction.
3 people at 0.10% of their time is already 24K, assuming an 80K salary for each of you. You don't mention patching systems, or the time spend replacing the hardware racks every x years. It is very easy to underestimate the cost of maintenance.
Because those tend to not support features people want from their TV - related to DRM, software, connectivity and form factor.
> They were automating a task on one machine.

Remember that in those days you likely only had one machine. By "you" I mean the whole department. Everyone was logged into it and it handled email, talk, documents, compilation and debugging, etc.

That doesn't take away from the fact that the sysadmins were automating everything they needed to do, in the enviornment that existed.
More Companies Than Ever Are Sharing How Much Jobs Pay
I know you're being tongue-in-cheek... but this is actually something we care about a lot! There's a technique in formal specification called "Refinement", where you show a detailed spec successfully implements a more abstract one.

On the tooling side, Informal Systems has been doing some good work on static-typechecking TLA+ specifications: https://apalache.informal.systems/docs/tutorials/snowcat-tut...

(Disclosure, I've done consulting work for IS.)
The climate change predictions dating back to the 70s have been remarkably accurate. This has been studied - you are not the first person to ask how accurate these models are.
Yes, NSA’s high profile failure with Booz Allen is a great example of why some things should not be outsourced.
FWIW, I'm in your camp mostly too.

That expert may not know what to do either, or... will contradict earlier folks and say "you need to redo all of this pile..." and you'll be stuck.

I've no doubt there are some workloads that really do require a level of complexity that various cloud systems offer. Much of what I've seen doesn't require it, but once someone starts down that road, they're 'justified' in learning more and tying more stuff to the cloud provider's way of doing things.

I cut my teeth setting up servers back in the 90s, and that you can spin up 'full' servers (thinking various shades of VPS) in a few seconds is crazy great. But we're somehow now 'past' that... and we have mountains more complexity to consider.
Both the 286 and 386 PS/2s on which VGA was introduced had 10MHz bus speed, not 8.
Add another proviso: that the island (or those strongly influenced by it) are now filling cultural lore with themes and messages born of those works and ideas. Much as Hollywood, British cinema and broadcasting, etc., have been in the case of Western philosophy.

Even if the ideas are complete bunkum and red herrings, their cultural ubiquity and influence merit study if only to understand how things went astray. In practice, there are useful concepts to be found, precursors of much present empirically-derived understandings (contrasting with classical Western philosophy's focus on rational thought, as highlighted by of course Kant). And the buried bones and foundations of much present thinking.

Digging to find root causes of common shibboleths and tropes is also useful in debunking those same (or so I'd like to hope: <https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...>).
At this point in the game, I would be shocked if parenting advice was anything other than pure blog spam. Best to take any advice you find online with a grain of salt anyway.
It works fine if they tell the VM that its cache regions are purgeable, so they just go away under pressure instead of getting swapped out.

Of course getting swapped out is usually fine too.

Huge memory usage is more likely because they don’t know how to check for memory leaks, not because they’re trying to use it.
> hey I invented this new thing I call LSTM

Well, the LSTM fella does pop up later calling out Lecun for "rehashes but doesn't cite essential work of 1999-2015". Which I guess does mean people with real "ideas" are also fed up with him?

"Deep learning pioneer Jürgen Schmidhuber, author of the commercially ubiquitous LSTM neural network, arguably has even more right to be pissed [...]"
You SHOULD be a generalist for software development, but I would argue college level number theory is not a "general" mathematical thing. For example, in my college degree program, I was expected to be broadly introduced to math and science concepts. To that end I took low level physics, chemistry, and math classes, including calculus, discrete math, and linear algebra.

I was not expected to know how to calculate the static load on bridge segments like my engineer friends, but I was expended to learn the basic motion equations and be able to apply them. Equally, I did not take organic chemistry, though I had the option. I can balance an equation but not tell you what an "amine" or an "aldehyde" is.

My college's opinion, and one that meshed really well with my personal opinions on learning, was that you are better off having some surface level understanding so when you are asked to implement some sort of very complex algorithm about a domain specific problem, you will be better equipped to understand the domain expert and understand the common pitfalls that you should avoid.

My friend was a math major (and other majors) so he took number theory. I didn't totally understand all the things we talked about, but thanks to my understanding gathered from other higher level math classes like calculus and discrete math, he could dumb down his information a little less, and I could follow things like how it was funny when he was able to "prove" something on a test by doing every possibility, since there were only 24 possible outcomes, and why that displeased his professor.
Damn, I'm picky ... you want my phone number before even getting a chance to try it out?

NOPE.