skysight-inc/HackerNews huggingface dataset:
> The only thing holding it back is Apple not investing into making it happen.

This seems to be a (bad) pattern with Apple, one that Google used to (and still does) get a lot of flack for, this habit of not investing in things and then thing dying slow, painful deaths.

E.g. I remember this criticism being leveraged at e.g. Safari a lot.

But, for better or worse, Apple is not a technology company, really, its a design company. They focus on their cash-cow (iPhone) and main dev tools (macbook) and nearly everything else is irrelevant. Even their arm-laptops aren't really about being a great silicon competitor, I suspect. Their aim is to simplify their development model across phone/laptop/tablet and design seamless things, not make technically great or good things.

The reason(s) they haven't turned (as much) to enshittification probably are that a) it goes against their general design principles b) they have enough to do improve what they have and so release new stuff c) they aren't in a dominant/monopolistic market position where they can suddenly create utter trash and get away with it because there's nothing else.

And yes, they exhibit monopolistic behaviors within their "walled garden", but if they make a product bad enough, people can and will flee for e.g. Android (or possibly even something microsoft-ish). They can't afford to make a terrible product, but they can afford to abandon anything that doesn't directly benefit their bottom line.

Which is why I suppose I generally stopped caring about most things Apple.
The point is that it's valid syntax (invalid syntax is found in an earlier phase of compilation and would report much faster). It's invalid in Swift's type system, and it takes it 42 seconds (in the string example) and 8 seconds (in the math expression one) for it to tell you that it can't type-check it in a reasonable time and then it quits.
This is basically arguing "It's good to deceive your early employees about the value of their compensation"
This is morally repugnant to me, and I hope you're not an executive at a company. If you are, I would not work for you.
Down voting doesn't make it untrue. Slavery exists till today and I don't see much "white" in it:

https://www.walkfree.org/global-slavery-index/

The whole white supremacy is mostly because you're free to talk about anything in the west.

https://www.google.com/amp/s/www.bbc.com/news/world-middle-e...

Note: I'm not saying it didn't happen through history. I'm saying it's time to stop blaming "white" for everything that happens.
Proofs and proof checking is also big in SAT solving (think: MiniSat) and SMT (think: z3, cvc5). It's also coming to model counting (counting the number of solutions). In fact, we did one in Isabelle for an approximate model counter [1], that provides probabilistically approximate count (a so-called PAC guarantee), which is a lot harder to do, due to the probabilistic nature.

[1] https://github.com/meelgroup/approxmc
I meant to say what uv is _right now_, which AFAIK is replacement for virtualenv, some of pip, and pip-tools. I understand they have a vision for the future, but I'll believe it when I see it. As it stands, they're already a very useful tool.
I wouldn't call it naivete on the US side - most people with a functioning brain weren't snowed by that. However, the money men who make theirs on the backs of success OR failure trumpeted that it was a new dawn for democracy and capitalism in China because it was in their best interests to do so despite what centuries of history and decades of dialog told everybody who would listen.
I’m honestly surprised it wasn’t Avi Loeb when I saw, “Harvard researcher”
Aren't all contests that have a sponsor(s) this?
I hope it's not as bad as Overwatch 2 /s
Trees are technically “direct air capture”. Trees capture C02 + H20 + sunlight into glucose/wood + O2.

So if we can reduce our C02 output, and preserve the rain forests, they’ll do their job.

Even getting to zero carbon electricity in top economies is going to be a huuuuge deal.
The generated logos aren't good - they are just what chatGPT gives us using a normal prompt. I've generated a good amount of logos with it. And your app has the same problem I found: it can't write. Most of the times the words are just gibberish.
Well, the alternative for a megacorp like Google is to stop attempting to innovate, either top-down (like Apple aborting its entire car platform) or bottom-up by collapsing under the bloat of never making those hard choices (like many other sleepy giants).
Is the New York Times bestseller list politically biased?
Isn’t the channel variable declared and inferred as an int32? Can’t see why the overload isn’t resolved directly?
How did the writers forget a "bite that hand that feeds you" joke here? It's just waiting for it.
My guess is different extensions to Hindley–Milner type system, which is EXPTIME-complete in the worst case.

HM isn't bidirectional in the special case, so probably the features they added vs the top level universal quantifier type that has pathological low time complexity.
Op is not upfront about the toxicity situation to their management.And he haven't said anything about how toxic it is.

> Micromanaging employee time is one of the worst signs of a toxic company culture

I agree micro managing alot is bad but I don't agree it is toxic. I agree if leadership knows nothing about software engineering and microing it it is bad.

There's always two sides. I had seen projects fail because developers are doing what they want with their time, doing things unrelated to current project and end up missing delivery deadlines. I had seen company fail because they don't say anything to their developer because they afraid their developer will feel bad. I had saved client projects by joining in and driving their team to their potentials.

There's nothing rude or toxic about it.

Unless OP provide more details we can't really know if his company really toxic or not.

If job market is shit, build something in your own time, take ownership, make it grow and showcase it. A good C++ dev can learn new things so much faster than others.
Astra is barely holding on by a thread though. Their main hope of survival is their hall-effect propulsion engines.
At its core, both concepts involve the transfer of information between individuals without the need for physical interaction. The comparison of telepathy to email is an interesting one indeed.
See this site: http://nspasteboard.org/
> They created and secured a thing

They did not do that alone. If they had, there would be no employees to keep secrets from.
It’s pretty rare to find a ranch for sale with all the mineral rights intact.
Sounds cool in theory, but much less than useful in practice. The hardware and file formats are different enough that the data would be mostly useless to us (I work at a self driving-ish company).

The models are predicated a specific set of hardware ( which camera, what fidelity LiDAR, but even something as simple as “what’s the frame rate” can have a difference)
There's a moral justification, and a desire to change the social norm, versus the terms of an agreement. This is where educational articles like this are important to improve the understanding throughout the industry so that employees can make informed choices.

>>Why is Bob not in the same situation?

In this specific circumstance, Bob agreed to an arrangement that contractually doesn't put him in the same situation. Hopefully Bob will learn from this experience and, if possible, negotiate better (or equivalent rights) instead of willingly agreeing to unequal rights.

Pragmatically, unless and until more workers are willing to take the risk to become founders themselves, the balance of power usually is in the founders' and investors' favour (i.e. capital).
I assume he had to give up the decryption credentials when he handed the laptop for the investigation. Not complying with the investigation can make it worse for you in some places.
> our minds may network

Do you know of an exercise for an individual to practice this?
Sometimes the land owners have some of the mineral rights. Often they don’t.
Exactly, if you call them out, they’ll paint you as a mean jerk, and discredit you.
Bibliography keys: It's as easy as [1], [2], [3]
> Haize: To rigorously test AI to preemptively discover all failure modes

We can't acheive that on a typical C program, so what chance is there on an LLM?
Apparently Asimov linked the robots into Foundation some decades afterwards, so maybe he agreed with you. (I've not read past the original trilogy, so can't say for sure.)
It's interesting that the plaintiff brought similar claims for a variety of flavors[1], but the judge threw most of them out, with pistachio being the sole exception[2].

[1] TFA: `Duncan also attacks other Cold Stone flavors like mango, coconut, mint, orange and butter pecan, and orange sherbet, claiming they are "merely flavored after their named ingredients."'

[2] See the decision (which is a somewhat interesting read, if you're willing to tolerate puns and general silliness in legal proceedings): https://storage.courtlistener.com/recap/gov.uscourts.nyed.49...

> With respect to these products, plaintiff offers far less support. No mention is made of competitor products. No survey evidence is offered as to these additional offenders with the sole exception of Mint Ice Cream, noted above. And, importantly, perhaps driven by the axiom that begins “fool me once,” there is no suggestion that plaintiff purchased any of the other accused ice creams, and apparently plaintiff had the willpower to resist the allure of the Orange Sorbet—or for that matter any of defendant’s sorbets.
Probably thought he was safe in his country. You can be tech literate and international criminal law illiterate.
People have been using tools like Excel or Access to do it for decades
That article is infuriating. Classic 'it was great when I did it, now it's gone too far.'
The state of justice on Airstrip One

How can a judge deem that:

During the trial, Judge Sellers ruled that "none" of the defence’s three arguments would be allowed for the jury to consider.

How can that be allowed?

Surely everyone is entitled to offer their defence in a court of law.

At least the Jury acted with common sense and good grace
What makes you think that we're actually close to AGI? I'm actually asking, because it seems like a buzzword that the media throws around a lot of handwaves the details away and just acts like it's inevitable.

The latest thing I saw about it seemed to indicate that OpenAI was looking to build a dedicated nuclear power plant because AGI on current hardware might be possible with that much energy [1]. Even if they do crack AGI with that, it's not like its energy consumption will be justifiable.

[1] https://www.independent.co.uk/tech/openai-nuclear-fusion-ene...
500 MW or 400,000 homes, but what is that in terms of data centers? Is that enough to power us-west-1? assuming 50kw per rack of Nvidia GPUs(which is high. usually it's closer to 10), that's 10,000 racks or about an acres worth of datacenter.
i dunno what privacy/civil laws are like there, but couldn't the police or courts compel Kandula to surrender the password?
> If you were an employee and had $200k total value in your options, and you could sell 10%, you're getting $20k. Not really enough to de-risk your life although still might be welcome (and employees would appreciate having the choice).

$20k would be a life changing amount of money for me right now
You lose all credibility when you start yakking about FIVE EYES, etc. If you're the target of intelligence services, the advice you need is eloquently delivered in the movie "Goodfellas". That is: "Don't talk on the fucking phone."

American companies are subject to US law, full stop. Global technology companies have to balance interests to operate globally. China requires a local partner to operate services in the PRC, thus Apple and Microsoft (and others) operate with a business partner in that market.

From a business perspective, there's little or no incentive for Apple to take measures to collect information on you systematically - they do not monetize it and won't devote resources to its collection. However, not being responsive to government requests, demands, or order for information will result in punitive action. So they comply.

No company cares about you. They don't love or hate you. There's no moral purity - the competitive platform is owned by a company that owns the advertising market and has a long history of extracting every sinew of data to create profiles that allow for maximally efficient ad delivery. Engaging in whataboutism isn't productive.
excellent, now how many of them don't have crazy side effects, can meet FDA for clincial trials, and can be manufactured ?
Last I used NuGet, circa 2013,it allowed packages to run arbitrary code during install, which resulted in dozens of shareware like pop-ups for trials.
Google's abuse of Fitbit continues with web app shutdown
I agree that, but he should stand up to toxicity case first.
I'd guess that they are referring to this video by Ars Technica https://youtu.be/izxXGuVL21o
Life360 confirms a hacker stole Tile tracker IDs and customer info
The mathematicians I know of who work on Lean4 as part of grant-funded research do so because their research funding is for formalising mathematics and Lean4 is the tool they choose to use for that.

I really have no idea why people are taking this approach here.

Proof assistants are useful. People use them to do actual maths. There is a lot of work to formalise all of maths (this isn't a proof assistant thing this is a huge undertaking given maths is 3000+ years old and we've only just decided what formality really fundamentally consists of) so some places you need to do more foundational work than others to make it useful.
>I would also imprison (or at least fine) the company's security chief.

This is just incompetency. It is ridiculous to think that this should rise to the level of criminal negligence.

Of course there are good reasons to fire him.
Skybox VR is great for watching movies on The Quest line. 2D or 3D.

There are actually some tools that exist to convert blu-rays to SBS 3D if you’re looking to go legit.
"Does type X have an implementation for typeclass Y" isn't always easy to answer.

https://aphyr.com/posts/342-typing-the-technical-interview
The aversion to static linkage predates that, back many years static linkage also had other issues that have been solved today (ALSR ..). Many of the very basic points that Ulrich Drepper made some odd 20 years back (https://akkadia.org/drepper/no_static_linking.html) still hold.
But this analogy fails, too, because in Silicon Valley, the serfs aren't attached to the land. Generally, someone who's an early employee at a tech startup has the option to go be an early employee at a different tech startup, without too much hardship. They aren't tied to the company the same way a serf is, where uprooting one's life to go work a different stretch of land was absurdly difficult, if not impossible.
I don't remember if it was Geoffrey Litt, or someone else, but I used to follow a few people in that noosphere on Twitter. One of them promoted a short film which was captioned (paraphrasing), "this man made this film all by himself," even though there was clearly a live female actor in it. There was that, and then sexist remarks, possibly by one or two different accounts, at unrelated times.

Anyway, whoever they were, good riddance.
Alan Turing's paper in which he first lays out the idea of the Turing Test for AI is surprisingly prescient in many particulars. But one thing that stands out is when he is considering various arguments for why computers might not be able to pass the Turing Test, he considers the objection that humans will be able to display some telepathic abilities that computers won't as one of the strongest counter-arguments. He considers it nearly a given that these abilities exist.
After some sleuthing and Geoguessring, here's the alley where it happened:

https://maps.app.goo.gl/UNUzQn686ESYWbfo7

Further south of the pin, by the section of the alley with stripes on the pavement behind the garages for 842 N 6th Ave (but not on 6th or 7th, on an unnamed alley between the two).

Let me repeat - it's an alley. The Google Maps car didn't even go down that road (though it looks to have been under construction when the Maps car went through).

Without exclusing Waymo (they had their car do something dangerous and stupid) this is the kind of pseudo-off-road parking lot/driveway/construction zone nav stuff that's really hard to get right, and almost requires AGI.

I think the real error was not the damage score but the planning algorithm that directed it to drive down and to continue through that alley.

I think we'll soon get to (if we're not there already) a form of level 2 driver aids or level 3 geofenced self driving (highway only?) that's safer than average human drivers. I think we're a long way from self-driving cars that will assign a low damage score and drive over an empty cardboard box in an unmarked, unmapped private alley, and we may never get there. But that doesn't mean Waymo can't or shouldn't exist, it means they need to shut down the car and delegate to a human when they're stuck and not not on public, mapped, confirmed clear roads. Maybe that means it can't pick you up from the back of the Chic Fil A parking lot or the entrance to the mall that's an island in a quarter mile of private parking lots and you have to go to the nearest parking spot on the actual road, but if the alternative is assigning damage scores to stuff in alleys that's probably for the best.
I'm not sure how to view the embedding, I clicked on the graph, narrowed down to a comment, but it only shows the row and not the raw array? (Or I've misunderstood)
Really insightful. What's missing though I think is that LLMs abstract things in ways that are increasingly super-human. Tao says: "It’s very easy to transform a problem into one that’s harder than into one that’s simpler. And AI has not demonstrated any ability to be any better than humans in this regard." But I think due to the way LLMs work there will be much higher-level insights that are possible. And that is the really exciting part.

Right now it's a helper. A fact checker. And doer of tedious things. Soon it will be a suggester of insights. Already LLMs compress embeddings and knowledge and have insights that we don't see.

Hinton gives the example of how a nuclear bomb and a compost heap are related and that most humans would miss that: https://www.youtube.com/watch?v=Gg-w_n9NJIE&t=4613s
The 1PM quote should be “It was a bright cold day in April, and the clocks were striking thirteen.”
WhatsApp didn't have multi-device support until mid 2023. I'd have to see exactly how it works now, cause it raises more questions. If you can rely on users remembering passphrases (no recovery mechanism), it makes chat history easier, even then I wonder if it knows how to merge divergent chat histories if one device misses messages. iCloud/GDrive storage is another moving part but also nice in case you want to download/copy it. Would be neat also if contacts could be stored that way, cause I ain't sending them to WhatsApp.

The only major app I've seen handle everything 100% reliably is FB Messenger, since the start, which was easy because there was no e2ee. Just a server-side master with simple web and mobile clients using it.

SMS is bad, but at least I can send/receive it on my Mac without my iPhone being online, idk how.
I agree... with the exception of PersonAccounts... those need to go die in a dumpster fire
> aimed at app developers

I'm a native Swift app developer, for Apple platforms, so I assume that I'm the target audience.

Apps aren't major-league toolsets. My projects tend to be fairly big, for apps, but the compile time is pretty much irrelevant, to me. The linking and deployment times seem to be bigger than the compile times, especially in debug mode, which is where I spend most of my time.

When it comes time to ship, I just do an optimized archive, and get myself a cup of coffee. It doesn't happen that often, and is not unbearable.

If I was writing a full-fat server or toolset, with hundreds of files, and tens of thousands of lines of code, I might have a different outlook, but I really appreciate the language, so it's worth it, for me.

Of course, I'm one of those oldtimers that used to have to start the machine, by clocking in the bootloader, so there's that...
Im surprised to see Python in that list. Swift being type safe and Python not puts Swift miles ahead.
Yep indeed, same here.

I know "me too" comments aren't generally acceptable here, but I think the wholesale pillaging of the web for LLMs etc is way out of hand.
There's nothing wrong with getting paid. But there is something wrong with pretending like you aren't getting paid in order to play on people's sympathy, so that they will accept getting paid less.
Yes. I use it and have an app on the Vision Pro app store for watching content.
Throughout history, our quest for knowledge has continually reshaped the tools of discovery. From the early record-keeping on clay tablets in Mesopotamia to the sprawling shelves of the Library of Alexandria, each leap in indexing & retrieving information has sparked waves of intellectual and cultural growth.

The invention of the printing press revolutionised access to knowledge, setting the stage for the Renaissance and beyond. Today, digital search engines like Google and Bing have further democratised information access, enabling depth and breadth of insight across global data pools.

Now, the next frontier in search is becoming clear.

Personal Intelligence is transforming search from passive data retrieval to proactive, personalised exploration. This new paradigm enhances the way we form queries, build context, make decisions, and execute solutions, tailored to individual preferences and needs.

Every Problem is a Search Problem and Personal Intelligence is the next paradigm.
>full disk encryption is a thing.

Just actually get rid of the evidence. Throw your laptop into a shredder and buy a new one. At least get a new hard drive.
Show HN: We Built a Tool to Create an Online Catalogue so You Can Sell More
I think it would also be interesting for the compiler to modify the source code (with a flag, presumably, or possibly through the local LSP server) with the solved result as needed. This would also feedback to the programmer what the problem is, what the compiler thought the solution is (and under the circumstances, while it can't be "wrong" there's a decent chance it is suboptimal or not what the programmer expected), and not require future caching.

I kind of feel like that for more advanced languages this sort of back-and-forth between the type checker and the language has some potential to it.
Would be interesting to see average founder who can fundraise large amounts and family income. I’d imagine they tend to come from higher income backgrounds, though could be wrong.
I've never thought about this before, but I think there's a good argument that tea technically falls in the category of bitters.

After all, bitters are just an infusion of plant material. What is tea but an infusion of plant material?

On the other hand, bitters generally include many different plants and seems to be quite concentrated, while tea is just one plant and isn't as concentrated.

I guess asking whether tea is bitters is kind of like asking if hot dogs or tacos are sandwiches...
May '24 CPI-U flat MoM, +3.3% YoY [pdf]