skysight-inc/HackerNews huggingface dataset:
Reading the technical papers around Tree Calculus, I now see this claim a little more clearly. It's based around Tree Calculus rejecting eta-equivalence.

In Lambda Calculus, eta-equivalence says that `λf. λx. f x` is equivalent to `λf. f`, i.e. a function which passes its argument straight into `f` and returns the result unmodified, is indistinguishable from the function `f` itself. Those two functions could beta-reduce in a different order, depending on the evaluation strategy we use; but such distinctions are unobservable from within Lambda Calculus itself. In fact, we can make a rule, called eta-reduction, which transforms one into the other:

λx. F x --> F

This is sound and, if we apply it before beta-reduction, ensures that both forms will also reduce in the same way (and hence have the same normal forms, if they exist). Note that Python has a single evaluation strategy, which will not reduce an expression like `lambda f: lambda x: f(x)` to `lambda f: f`; hence it doesn't implement eta-reduction.

In SK combinatory logic, eta-reduction is also sound; e.g. if 'xyz' reduces to 'yz' then 'xy' is equivalent to 'y'. This is obvious with a combinator like I = SKK, since Iy reduces to y via the ordinary S and K rules, so Iyz reduces yz in the same way, and the above implication is trivial. However, there are other combinators which don't reduce reduce all the way until they get another argument, i.e. a combinator W where Wy does not reduce to y, but Wyz does reduce to yz (the Tree Calculus papers give examples, referred to as "wait" combinators). It's fine to use an eta-equivalence rule like "if xyz ~= yz then xy ~= y" for reasoning about SK programs, but to actually reduce real expressions we may need a whole bunch of rules, to cover the most common "wait" combinators. The reason this is sound is that the only ways an SK expression can "use" an argument it's applied to is either (a) discard it, (b) apply some other other expression to it (potentially copying it a few times), or (c) apply it to some other expression. Cases (a) and (b) do not depend on the particular value of the expression, and the behaviour of (c) respects eta-equivalence.

(Side note, I recently implemented SK in egglog, and wrote a search procedure for finding eta-equivalent expressions and setting them equal http://www.chriswarbo.net/blog/2024-05-10-sk_logic_in_egglog... )

Tree Calculus can also use a given expression in another way: it can branch on the structure. That doesn't respect eta-equivalence, and hence Tree Calculus can use this to distinguish between two combinators P and Q even if Px == Qx for all x.
Em... Adblockers still work perfectly? It's an annoyance to keep uBlock Origin updated, but it still blocks all ads on youtube. So it seems they're keeping up just fine.
(1) is exactly the misunderstanding i'm talking about, most creative jobs are not defined by their output (which is cheap) but by the way they reach that output. Software engineers that thought they could write their special characters in their dark room without the need to actually understand anything will go away in breeze (for good).

This entire field was full of hackers, deeply passionate and curious individuals who want to understand every little detail of the problem they were solving and why, then software becomes professionalized and a lot of amateurs looking for a quick buck came in commoditizing the industry. With LLM will go full-circe and push out a lot of amateurs to give again space to the hackers.

Code was never the goal, solving problem was.
And don't forget the rich vocabulary you pick up over voice chat. ;)
Sure, but does it make sense that your cubicle row of data entry guys are on the cutting edge knowledge of LLM expertise? Because the way LLMs are being pushed in every spreedsheet software would imply that's something someone is asking for.
Find an area to specialize in that has more depth to it than just gluing APIs together.
I can't read it because he made the website unreadable. Kind of interesting considering his subject matter.
It’s larger than military. This is how our democracy works. The government seeds ideas in PR articles to media and then evaluates if there is enough public support to do it.

The most egregious example I remember is the “Russians are putting bounties on Americans in the Middle East” article that was well promoted by prominent individuals on this site, and then turned out to be fake.
Buy a large monitor instead.
I can’t even get iPhone 15pro max insane. But don’t care. Apple is useless and Siri is SO pathetic that Tim Cook should be literally fired by the board for gross incompetence. It can’t even set a timer on the latest flagship device
2022, per https://x.com/danluu/status/1503512394126938120

I wish Dan would put dates on his posts!
A Ride-Hailing Startup in Washington Tries to 'Out-Uber Uber'
If that were the reason for this legislation, Meta (Instagram Reels) and Google (Youtube Shorts) should be very concerned. It’s the same content.
Using observed latency, power of two choices, and requests in flight reminds me a lot of Finagle
https://twitter.github.io/finagle/guide/Clients.html#p2c-lea...
> Since practically, what else should someone do?

Move to a remote cabin in the forest.
Try Oxen.ai
> bust most engineers are writing code most of the time.

the physical act of writing code is different than the process of developing software. 80%+ of the time working on a feature is designing, reading existing code, thinking about the best way to implement your feature in the existing codebase, etc. not to mention debugging, resolving oncall issues, and other software-related tasks which are not writing code

GPT is awesome at spitting out unit tests, writing one-off standalone helper functions, and scaffolding brand new projects, but this is realistically 1-2% of a software developer's time
> exploits in DSPs, not basebands

For what it's worth, the DSP this driver talks to is the same type of DSP used in Qualcomm basebands.

However, there's actually no strong relevance to DSPs at all here; it's just a broken DMA/ION-shared-memory driver that happens to be the one that talks to a DSP. There are lots of these in most Android board support packages.

> separated from the application processor on both iPhones and Pixels

Across an interface with drivers! Quite a few baseband drivers are exploitable from both sides of the interface.
LLM-based AI is not needed, or even useful. We know how to make voice interfaces that work, and work well: have done since the 80s. It's just expensive; and it's an expense that nobody in the industry is willing to pay, therefore nobody needs to do it in order to differentiate their product.
The productivity improvement is negative because of how much of everything is now a "product" instead of just a tool. Whenever you open something, especially after not using it for a while, you're met with an obstacle course of in-your-face modals and popovers about new features that you don't give a shit about.

Software used to let you get your job done more efficiently. Installing a new app and learning to use it felt like discovering a superpower. Now it feels like a chore. Now it feels like computers don't serve people any more, but the other way around.
When you start designing products with lots of gears and linkages, does animating/simulating your design become critical? What CAD tools are best for simulating your design, or is this even the right way to verify all your mechanical items are working together as expected?
LLMs can do useful things… but they seem to be getting shoehorned into tasks that they’re not good at.
Particularly as the idea of “micro-startups” is becoming both more popular and accessible.

Not sure I see the next Facebook or Google being founded by folks 40+, but the older I get the less I aspire to that

(Yes, I recognize the irony of posting this on a website that is associated with YC)
How do you assess how true one's reasoning is?
The only “benefit” of Apple Intelligence so far is that it apparently requires a lot of memory, causing Apple to bump up their minimum Mac Mini configurations to 16 GB memory. I’m loving my Mac Mini so far - but that’s entirely due to the M4 chip inside rather than any Apple Intelligence feature.

I have not used a single Intelligence feature beyond just trying them out initially and being completely underwhelmed.
This is actually for lack of RAM reasons - 15 pro and above have 8gb RAM which is enough to fit 3-4gb models locally with room to spare for rest of the applications. The 13 pro max has 6gb of RAM which is not enough.
Part of the challenge is how wide his text column is. It makes the lines hard to scan; your eye can't fall on a line just once or twice to scan it, but must keep falling, which makes the text feel more tedious. Easily fixed by narrowing the browser window, of course.
> Long term, I think silence is a losing strategy for the hider. You can hide with silence in the ocean because it’s so big.

This would also apply to low observability strategies for the atmosphere, no?

Perhaps lower observable atmospheric vehicles in general, autonomous or not, would mitigate mass freak-outs like NJ.
> The summaries are just not very good, and any sort of LLM writing is a tacit acknowledgement that people don’t really care what they are writing, an that no one is really reading that writing very carefully.)

I tend to write emails aggressively. The friendly option is helpful to tone down the rhetoric.
I disagree about the summaries. I find them to be vey good and helpful.

I teach a high level course and each week have the transcript summarized for students; also get feedback on my lecture and help creating the lesson plan for the following week.

My father was Dean of one of the top teachers colleges in the world and has been blown away by how useful LLMs can be for education.
> Who reads comments on news sites expecting quality?

Oh the irony!
The specific topic in question is Gaza. TikTok has been accused of spreading pro-Hamas content and leading the young population to support Hamas, whereas YouTube and Facebook ban it on sight.
Depict (YC S20) | Tech Director | Stockholm, Sweden or Remote | Full-time
http://depict.ai

Depict is on a mission to supercharge e-commerce stores with Pinterest-quality product discovery to make shopping a delight and online merchandising a breeze.

We power collections/category listings, recommendations and search for the best e-commerce sites in Europe and UK, Renowned investors, including Y Combinator, Initialized, EQT Ventures and Northzone back us.

We’re now looking for

- Tech Director. You’ll drive technical leadership of a creative and hyper-intelligent merchandising app that fashion and lifestyle merchants love to work with, working closely with product & design to create a delightful, pixel-perfect user experience.

We build our Applications with a React Typescript Frontend and a modern, well-typed python (fastapi, pydantic) backend. Our Infrastructure runs on Kubernetes in GCP with ArgoCD.

If it sounds interesting please apply below. We hire remotely but require some overlap with CET, +-2 hours CET.

Apply:https://careers.depict.ai/jobs/5288538-technology-director/2...
Hot take:

TikToks appeal is that it's digital heroin. People aren't going there because it's genuinely amazing stuff. People are going there because it's a dopamine hit. When you make it harder to view like having a web app that you have to refresh or click or have less smooth touch interactions, it'll get less engagement.

Edit: it will be more difficult to track user behavior and location with a web app.
Impressed by how accurately this identified and transcribed. Nice work
The EU is neither willing nor capable of challenging US supremacy economically or politically any time soon (not even mentioning the military). And as it stands with the current war in Ukraine the EU was further shot in the foot. Today the EU is a good ally to further bolster US' claim for supremacy.

China on the other hand has all but openly challenged the US for that title. On the surface at least they are skyrocketing in every area (won't go into how or why). They had the same "incompatible" political system for decades but they stood as manufacturing partner for many of those decades until Western leaders noticed a trend with a dangerous slope. And as it sank in that inaction means ceding the top spot, here is some action. CIA trying to overturn a regime is a tall order with China so the more handy ways were economic: tariffs and bans.
Hard same. An underrated feature of the ATV is that it will reach out and prompt you to use a keyboard on your phone when you need to enter values onscreen, which is WAY better than the character-by-character selection you get with lesser devices.

We got our Samsung on a Black Friday sale in 2019. It's capable of being online, and we briefly experimented with using those features -- not the streaming apps, but the ability to have it show art or amusing graphics when idle. Ultimately I decided whatever info that was leaking wasn't worth it, and so I blanked the wifi settings, which had the effect of freezing the "suggested movies" list in amber at that moment.

Its job is to show whatever external input we use -- AppleTV most of the time, but there's also a cable box/DVR, a Blu-Ray player, and an Xbox. The whole setup runs through an AV receiver, and the sound comes out of the surround system, so we really only need a dumb panel anyway.
Feels a bit premature to survey this because most of the very user forward features only released last week, so are still very early in having users update.

The ones in 18.1 are significantly more in the background and restricted to the US.

I’m not saying the results themselves would change necessarily, just that the timing of the survey is poor to have any actual substance be drawn from it.
<<<<
digit divide
====
digital divide
>>>>

For some reason I spent a few minutes trying to understand the digit divide before realizing it was a typo.

I do think VUI as a concept is in its infancy and will (like it or not) both hasten and address the decline of written communication.
Those familiar with the site know it’s intentional to deliver content efficiently to a wide audience.

You can’t read a long paragraph in reader mode?
Reflecting nothing can be as bad as reflecting a big bright 'ping'. Once you get to a certain level of stealth you have to essentially camouflage against an 'empty' background or you become a conspicuous absence.

Edit: I'm thinking more about visual camouflage here, though - maybe for sound underwater there's no point at which being quieter becomes a liability?
Personally I've found Copilot's meeting summaries to be really good. They're definitely a lot better than most minutes I've ever seen taken contemporaneously.
That's how I use it

Envoy as TLS terminating reverse proxy, and then locally it does http2.
100%. I'm still on the prior rev of both MacOS and iOS because I don't see the upside to upgrading.
It should be the future, but it won't be. Roku's ARPU (average revenue per user) is around $40/year. If a company sells you a TV and there's a 50% chance you end up using the built-in smart platform and you keep the TV an average of 7 years, that could be an extra $140 for them. If the TV is selling for $300, that's an enormous amount of extra revenue.

You might say that high-end TVs shouldn't come with ads, but the kind of person who buys a $1,000 TV is the most valuable kind of person to advertise to - rich, or at least willing to part with their money for high-ticket items. ARPU over 7 years might be $140 for all TVs, but the revenue from premium-TV buyers might be double or triple that.

Would you be willing to pay an extra $140 for a TV? I'd guess yes - we're in this thread because we're more likely to. But most people probably wouldn't. And when it comes down to it, are we going to pay the extra $140 or just hope that we can disconnect it from WiFi and it's almost the same difference?
Oh that makes sense, thanks for explaining!
It will make everything even more disposable than it is today. Products will be cheap and they will last a few months before breaking.
It’s open to developers as of iOS 18.1:

https://developer.apple.com/support/nfc-se-platform/
Yes, that's why I brought it up. We have teaching technology that works (textbooks) if you're motivated enough to put in the effort required, but insofar as learning requires effort and effort is demotivating, most people will gravitate towards the solution that demands the least effort (and provides the least learning) without being obviously useless.

Decreasing the effort required to learn something is probably hard (though quality-of-life improvements like making information more readily available are certainly possible) and so is motivating people to exert more effort, but there might be some value in establishing exactly how much effort a specific student is willing to expend, and then providing them with the most useful exercises that don't exceed that level.
I think you are downplaying just how many eggs Tim Cook has put in this basket to pitch to shareholders vs. the perceived low % of apple engineering staff that seems to have been involved in its creation. ATT has been advertising "get the new iPhone with Apple Intelligence" before it was even available for sale! And now it's here, and it's a tiny bump in feature set. A super missed opportunity to rebrand/completely revamp Siri, and instead an implicit acceptance of defeat that Siri is still so dumb, you should just ask her to ask "someone else" (ChatGPT). Cook is feeling pressure to explain how Apple is going to crank out unsustainable revenue growth even after basically saturating the world (at some point you've won capitalism).
"We’re actively pressured to use co-pilot at work"

Holy shit, really? That sounds horrific.
I had no idea that any Apple Intelligence features were enabled at all.
People like Peter Thiel are not so interested in government reform and efficiency so much as toppling "the ancien [sic] liberal order" and replacing it with techno-fuedalism.
Joe Biden cannot call up facebook and tell them to show everyone on Instagram ponies tomorrow.

However, if Xi Jinping calls up Bytedance and tells them to show everyone ponies tomorrow, your tiktok feed will infact be all ponies tomorrow.
I assume they believe in the advantages, to the company, of using these AI tools. Of adding them to the workflow, training their employees, and understanding quickly how it impacts their space.

If you just wait and all of your competitors have a workforce enabled and equipped with the best tools, you are at a disadvantage. It's being the company that put off computerization or automation when everyone else went wild.

And FWIW, I cannot imagine a programmer, in 2024, that remains dismissive of LLMs or the related tooling. While they are grossly oversold by the LinkedIn crowd, and are still a far ways from so-called "prompt engineers" replacing devs, they're a massive accelerator and "second set of eyes", especially if you're doing varied, novel work.
An all you need to bring that up to above 50% is 2cl/cubic meter of water!

A sponge drying up in your kitchen sink is enough to raise your kitchen's air humidity by 10%. Shut down your ventilation and you'll see, you won't suffocate but instead you'll get mold starting to pop-up. Moisture is the reason why houses have ventilation system in the first place.

As I said elsewhere in this thread, though, there's a problem with “dumb” ventilation systems though: they can't really adapt to big variations in outdoor conditions, and as such they tend to suck way too much air out of your house than needed during the cold days.
Pretending to be a whale doesn't seem like a sound principle to me. Subs don't follow the migratory paths of whales, as far as I know. Now, we just look for whales that are out of place and send a drone out to check.

Maybe you're right though, that overwhelming the signal pattern, similar to how SDI/Star Wars was deemed moot.
It's pretty common in large orgs, I think. Someone gets sold on or just excited about the features claimed by a particular product and becomes the czar for that thing. They want to make the transition to that product successful for their own career reasons. If people aren't using it, then the purchase was a bad move, so people start getting pressured to use the product regardless of how useful it is.

Year ago, my company switched from Skype for Business to MS Teams, and we just used Teams the same way we did Skype for Business (PMing each other directly) and the guy who made the transition was always lecturing us about having conversations in public threads instead.
but how much does it cost to feed 300 chickens?
TL;DR: YOU MUST NOT

(and as I haven't yet time to read the article I'm not sure if they convey that correctly)

But for various (complicated) reasons Drop isn't guaranteed to run on a "safety" level. That means that means whatever you do you must not rely on Drop for safety.

Through what you can do is rely on it for _correctness_, leading to safe but not very correct outcomes if it's not uphold.

What that means is that while you can (and should) use drop for cleanup patterns with patterns like drop guards, but you need to make sure that if drop isn't run it's still safe, i.e. sound.

It's totally fine to abort the process if a drop which _really_ needed to be run isn't run.

One example from `std` would be `vec::Drain` which if dropped leaks all elements of the `Vec` (not just the drained ones) but is safe i.e. sound to leak (also the mem allocation of the vec itself is not leaked just any allocation from elements in the vector).

On exception is if the drop guard itself is part of a unsound block or similar, i.e. if you can limit the scope of unsafe code enough to place the "drop-must" run part into a unsafe contract. E.g. you create drop guard at the beginning of a (non-async) unsafe block and can guarantee as part of the contract for that unsafe block that it's run at the end of it. This is commonly used in compact unsafe code blocks where in go you would use defer.
For rendering them, more than for anything else. There's a convenient 1-to-1 mapping in both directions.

You can of course just rasterise the vector for output, it's not like people view these things on oscilloscopes.
AI, especially LLMs, needs to move beyond being a "checkbox feature" and focus on solving real problems effectively. For example, as some users noted, personalized AI capabilities—such as context-aware assistance for accessibility or seamless integration across devices—have the potential to revolutionize user experience. However, the current implementation often feels more like a marketing exercise than a thoughtful enhancement. Until AI tools provide consistent, tangible value, skepticism from users is likely to persist
On a Linux command line:

echo '2^255-19' | bc
With adblockers disabled, I was seeing ads midstream ages ago. Ads that I don't see with an adblocker. Anecdotally, my subjective experience when adblockers are disabled seems to get exponentially worse whereas my adblocker experience seems to degrade at a much slower rate (e.g. manually skipping author recited ads on a podcast). Currently the TV is the weakest link, and people should be publishing layman's guides to pihole, or as others elsewhere have mentioned, refer them to a adblocking DNS redirect from an adblocker company. Midstream ads are especially obnoxious with music streams and I hope the majority's intolerance tips them over the edge.
Have you tried using Ladybird? The performance is unfortunately not very good. On the other hand Dillo loads pages instantly, even if most pages don't look right.
dupe: https://news.ycombinator.com/item?id=42414864
DeepSeek VL2
This is by far the best advice I've seen.
The apple tv app itself is pretty great as well, its really nice to have something that aggregates my "continue watching" list across most of my streaming apps, now if only netflix would integrate with it.
I respect committing to zero formatting but just one "max-width: 600px" would make this so much easier to read.