skysight-inc/HackerNews huggingface dataset:
Or even make it a full acquisition, but allow VW to remain a separate organisation with its own CEO and own board who answer to Apple's shareholders (and/or to the very top Apple execs) rather than to a separate group of shareholders?

I.E. securing any future VW profits, and ensuring that the IP licensing deal is indefinite, while staying hands off and allowing VW to keep doing what they do with the exception of using Apple software.
That doesn't look like a failed startup to me since it's still active and the poster has several startups under his belt seemingly being a "serial founder" so I was curious to know which of his startups was the one that he claims got killed by Teams to see if it holds water.
"The Axiom of Choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?"

Well, the axiom of choice gives a lot of counterintuitive examples, with the Banach-Tarski paradox being the easiest to imagine by a non-mathematician.

Yet, I know no consequences that would be measurable in physics. To my knowledge, AoC is more like glue, which (paradoxically) makes quite a few things smoother, e.g., all Hilbert spaces have a basis. Otherwise one runs in a lot of theorems, in all corners of maths, with "this is always true for finite, for infinite we know that there are no counterexamples, yet we cannot prove that for all cases".
I had to admit it was also my first thought. The sprite was very very well done, actually ...
The potential brands which can build a car on their own are VW, Audi and Porsche. It is pretty much unimaginable that they would be sold to Apple.

And what would apple even do with the teams? They now have 10k people in Germany ready to design a car for them, sounds totally nightmarish.
From the health perspective I agree, but there's a pretty clear reason to tax the second person more, since they have a car: more emissions, road use, infrastructure costs etc.
> Office Communicator, Lync, and Skype for Business.

I don't think MS Windows ever shipped with these.
That's a huge market which has lots of support engineers who can benefit from your tool. Is there a way to switch between LLMs? What about privacy policy?
> still a lot smaller than VW's market cap of $58B

Just to point out, that doesn't mean that you can buy VW for $58B...
> if you can convince people that it's the other way around

The US, the pariah state? In terms of geopolitics? In terms of economy? There's just no argument that could be made that that really is the case. What global players does Russia have any significant influence over? Who do they have substantial leverage over? A best some other pariah states. Now answer the same for the US. Not even in the same league.
> banks don't like lending money

Not quite. If you're not lending money someone else has deposited, you're not a bank. Banks have to lend money. Problems arise when they lend too much or lend badly.

If we want to spitball, we don't really need banks. In the age of computers, the central bank could take on their ledger function without breaking a sweat. It could then contract out the lending and deposit functions separately.

The deposit function is trivial. All deposit institutions would be 100% trustworthy. They'd just basically be ATMs for your account at the Fed.

The lending function is slightly hairier. The Fed would set risk parameters and performance-based revenue sharing. The lenders would have one client to please, and would be barred from many of the shenanigans they do today. However, they'd have a rent-seeking incentive.
> The reason you seek to explore what you don't know is because you don't know what you don't know.

In theory yes, in practice it's never the case, you have to justify hard why you want to do the experience and what you expect. Especially with multi million dollar experiences like these
> "VW themselves says they want the investment for the Software of Rivian, which also is somewhat curious."

If you've ever driven a Volkswagen EV and compared their software experience to what the likes of Rivian, Tesla, and Polestar have, this will come as no surprise.
I can't believe I have to specify this, but I obviously meant "other than by the human watching the room". Equally I don't expect the Uber driver to be the one vandalizing their own taxi.
I started writing postcards... address in profile, I respond.
There was also an application that took a screenshot of your current desktop and then gave you a bunch of weapons - bats, guns, bombs - and allowed you to smash it to pieces.

That was nice sometimes.
This is quite a common remark when it comes to Javascript. I rarely see the same being made about Rust libs, which also rely heavily on external dependencies.
The trick is that the connection is made using a third-party server: both the laptop and the Pi make an outgoing connection to this server, and the server sets up a connection between the two when there's pre-existing authorization. This means there's no need to poke a hole in your NAT/firewall to allow an incoming connection to the Pi.

There's some magic stuff going on in the background to avoid having all data flow via the server by making it peer-to-peer after initialization, but that's the gist of it.
That's awesome, thanks for sharing. We will have a look at it for sure.
Be careful about "doing too much of that" as it can make stressed friendships untolerable (soooo annoying, no I don't want to hear more about where you `went`).
(X) Positional *tracking* is brittle, equal battalions in range XNUMX it expenditure a time effort per batch on item.
Object is incorrectly threaded return request is here.

[FINE] [Returns] [Add...]
This infuriates me to no end. I like a news article, share or save the URL and when it’s opened it is something totally different.
She described being in a situation where she was unable to give consent, and where Assange acted in a way that violated her previous expression of consent (in that she'd expressly only agreed to sex if he wore a condom, and in this case he didn't). Whether she felt this should be described as rape or not, the facts as expressed would qualify as rape not only under Swedish law, but also under English law - see section 116 and onward of https://www.wired.com/images_blogs/threatlevel/2011/11/assan.... The narrative presented in that post also ignores the fact that after the initial investigation, the case was dropped - it was only reinstated because the legal representative of the women involved asked that it be reviewed, meaning that there was an opportunity for everyone involved to avoid being further involved. The cited link rebuts none of this.
I think this is right. I don't have a car but I rent cars periodically and pick based on the UX more than the "tech" features. Most EVs are fast enough and have enough range that it doesn't really make a difference to the driving experience but the UX and all the screens do make a difference.

I like the Audi E-tron because I can mostly ignore or turn off the center screen and have everything important in front of me behind the wheel. The center screen on the Polestar 2 is a bit more pronounced but can be muted when switching to the music screen. Teslas and VW EVs have way to much happening in the center screen so I avoid those. It's sad to see Volvo go down the same path but a correction should be in order.

Anyways, all the tech is commoditised so you need something else to differentiate yourself. For me that's not a big center display to show how "tech forward" you are, as it ends up suggesting you're anything but.
I noticed that the opinion on mars colonization tend to look like the bell curve/IQ meme, with the one thinking we can colonize mars in the middle. The simple fact that we are quickly making earth unlivable although we have 4.5 billions years of coevolution behind us shows that we are very far from being able to terraform any planet
I'm not sure this is true? Or I misinterpret.

Erlang/OTP 27 [erts-15.0] [source] [64-bit] [smp:4:4] [ds:4:4:10] [async-threads:1] [jit:ns]
Interactive Elixir (1.17.1) - press Ctrl+C to exit (type h() ENTER for help)
iex(1)> defmodule X, do: defstruct [:a]
{:module, X,
<<70, 79, 82, 49, 0, 0, 7, 128, 66, 69, 65, 77, 65, 116, 85, 56, 0, 0, 0, 244,
0, 0, 0, 22, 8, 69, 108, 105, 120, 105, 114, 46, 88, 8, 95, 95, 105, 110,
102, 111, 95, 95, 10, 97, 116, 116, 114, ...>>, %X{a: nil}}
iex(2)> x = %X{a: 1}
%X{a: 1}
iex(3)> x[:a]
** (UndefinedFunctionError) function X.fetch/2 is undefined (X does not implement the Access behaviour

You can use the "struct.field" syntax to access struct fields. You can also use Access.key!/1 to access struct fields dynamically inside get_in/put_in/update_in)
X.fetch(%X{a: 1}, :a)
(elixir 1.17.1) lib/access.ex:322: Access.get/3
iex:7: (file)
iex(4)> get_in(x, [:a])
** (UndefinedFunctionError) function X.fetch/2 is undefined (X does not implement the Access behaviour

You can use the "struct.field" syntax to access struct fields. You can also use Access.key!/1 to access struct fields dynamically inside get_in/put_in/update_in)
X.fetch(%X{a: 1}, :a)
(elixir 1.17.1) lib/access.ex:322: Access.get/3
iex:7: (file)
iex(5)> get_in(x, [Access.key!(:a)])
1
Nice app. Some ideas to make it more useful:
- Make it generate a small quiz to check if someone has read a book (could be used by teachers in the school)
- Generate pictures to boos memorisation
- Along with cards, you can generate top 10 ideas of the book
- If it were an app, I'd love to have a way to leave some cards for later to repeat and mark some as "known"
Hope it was helpful :)
I'm not a compiler writer, just a programmer that tries to understand the transformations the compiler is capable of.

-O0 is close to what you want. For hand optimized code there isn't a huge difference between the various optimization levels, but for higher level code C++ code, the difference between -O0 and -O3 are sometimes one or two orders of magnitude.

And yes, not all, or even most, optimizations apply to all programs. All loop optimizations are really most relevant for numerical, vectorizable code; branchy pointer-chasing code won't benefit from them. Branchy code can benefit from other optimizations though that can bring their own issues.
Not Mac, but I like a little cat in my Gnome task bar https://extensions.gnome.org/extension/2986/runcat/
I fail to see how "there is no security, but once your money does get stolen your bank might give it back" is a win for the consumer. 3DS usually means clicking yes on a popup on your phone or at worst typing a 6-digit code you got via SMS. It adds maybe 15 seconds to your payment, which when totalled over a year of payments doesn't even get close to having to call or go to your bank and deal with chargebacks and/or insurance.
Yeah, generally for historical figures if there's no particular emphasis in the popular biography on their background they were part of the elite in some way from birth.
Sounds like you want Linux.
it's the first time I heard about this concept of data diode. Is it physical ? if yes how does it work ?
Dare I say, Scratch?

https://scratch.mit.edu/
what's the scenario where you'd materialize the values of all those terms at once? maybe cache-invalidation-based incremental evaluation, like acar's self-adjusting computation? affine arithmetic (or raa) seems like it could be a good fit for that kind of thing, because it can handle small input changes within the affine approximation (with just a multiply-accumulate) and sometimes would benefit from being able to recursively subdivide the input space into smaller intervals without recomputing unaffected parts of the expression

on the other hand, if i am merely evaluating a polynomial with n terms, such as 3x⁴ - 2x³ + 17x² + x - 4 for n = 5, i only have three aa objects at any one time during evaluation of the expression, regardless of n. in this case the program might look like this

a ← x; a ← a⁴; b ← 3; a ← a · b
b ← x; b ← b³; c ← -2; b ← b · c; a ← a + b
b ← x; b ← b²; c ← 17; b ← b · c; a ← a + b
b ← x; a ← a + b
b ← -4; a ← a + b

this assumes we have three registers for aa objects, creatively called a, b, and c; that we can only do arithmetic on these registers; and that the power operations are unary (otherwise they require an additional register)

this is true of any polynomial

with horner's-rule evaluation we can cut this down to two registers

a ← 3
b ← x; a ← a · b; b ← -2; a ← a + b
b ← x; a ← a · b; b ← 17; a ← a + b
b ← x; a ← a · b; b ← 1; a ← a + b
b ← x; a ← a · b; b ← -4; a ← a + b

obviously there do exist expressions with deeper minimum evaluation stacks, but i think they're only worst-case logarithmic in expression size, aren't they?
This might be how the Singularity comes about: Anthropic or OpenAI release a "Desktop companion" (a la "Clippy") ...

(Which somewhere deep in the EULA grants then rights to crawl your hard drives to train their models ...

... after all, with the coming "data starvation" our PCs might be the last frontier? Insane amounts of (varied) data and some free, distributed compute. What's not to like, from their perspective?

Edited: "CatGPT" will bring about the Singularity :)
1. Yes and no. Improvements are planned, but kernel code as it exists today will probably be removed. I talked more about this here: https://youtu.be/0Lqc3SK6krA

2. Yes. Most of the pieces are implemented already, and we support local dependencies (as in, depend on a package on your local disk). We "just" need to figure out how to represent a remote repo in gren.json (easy) and what to do with name collisions (less easy).

3. Yes. Gren-in-Gren is currently underway. Once the parser is re-written, it will be made available as a package. This means it should be easy for anyone to write an LSP, formatter, linter etc. But it wouldn't surprise me if LSP becomes integrated with the compiler.
I remember reading an article on Source Code In Database back in the early 2000s, and it's been knocking around my brain ever since as something I ponder every couple of years. I just can't shake the feeling that there's the gem of a future paradigm where everyone wonders "why we didn't always do it that way?", but then every time I try to follow those thoughts through to a conclusion, it always feels like it'd just be re-implementing Smalltalk, and then the question is "why isn't Smalltalk more popular?"

That said, there's a lot to be said for revisiting old ideas. There was so much interesting research done in the 60s and 70s in all sorts of random directions, maybe because at that time there were no precedents or expectations for how things should be done. There are so many untapped resources here, it's crazy. Every now and then I re-watch "The Mother of All Demos" [1] from 1968 where Douglas Englebert demonstrates some of the research at Stanford or the Sketchpad Demo [2] from 1963 where Ivan Sutherland is presenting a GUI-based CAD system.

Fortunately, these ideas have now been picked up again, but to me it's interesting to note just how long a time lapsed between these ideas and becoming mainstream. Some of it is obviously the cost as the state-of-the-art research machines were massively more powerful than the home computers even 2 decades later, but I'm sure there were a lot of great ideas that have just been forgotten.

Part of the problem, I think, is that we have found solutions to some of the easy problems and optimised it to such a degree that it's then hard to ever go back and revisit the alternative approaches because you'd need to regress so far from the current levels of expectations.

[1] https://www.youtube.com/watch?v=yJDv-zdhzMY
[2] https://www.youtube.com/watch?v=6orsmFndx_o
The US innovates, China replicates, the EU regulates and Britain stagnates. It's most common.
> [SW's] police report states that, after Assange woke her up trying to initiate intercourse, the two had a conversation in which she asked Assange whether he was wearing a condom and he replied he was not. She then said he “would better not have HIV” and he replied that he did not, after which, she “let him continue” (lät honom fortsätta) to have unprotected intercourse. There are no indications of coercive or incapacitating circumstances suggesting lack of consent. Accordingly, Chief Prosecutor for Stockholm Eva Finne stated: “I do not think there is reason to suspect that he has committed rape” and closed the case on 25 August 2010 concluding that the “conduct alleged by SW disclosed no crime at all”.

From https://medium.com/@njmelzer/response-to-open-letter-of-1-ju...
That's the very basic job of being a maintainer. If you don't read and understand the code, you should just not merge it.

Nothing forces you to merge contributions. But if you do, do it right.
Firstly, that's just conceptually stupid, but ok, whatever, it's the US.

More practically: this is still a dispute process. You still have to fill in forms, you still temporarily don't have your money, you still might not get it back. Why take that risk when you could just have a popup on your phone that you click "allow" on? 15 seconds max.
Yes, 'decide' based on evidence not 'opine'. The jury is properly instructed to only assess the facts of the case as presented by the defense and prosecution. There's some wiggle room as to what a 'reasonable person' might consider to be plausible, but ultimately juries will only convict if they can unanimously agree that the defendant is guilty beyond reasonable doubt. This is clearly distinguishable from opinions of the public, or a potentially biased panel of judges in a military court.
Courts concluded that under both Swedish and English law, what was described (if accurately described, which is a separate issue) qualified as rape. Section 116 and onwards of https://www.wired.com/images_blogs/threatlevel/2011/11/assan... describe this in more detail. This isn't an arbitrary conclusion - it's based on an analysis of the described behaviour against national law. Someone unfamiliar with the specific law of the nations involved may reach a different conclusion, which is understandable and also entirely irrelevant.
Unfortunately, with our current capitalistic system, it doesn't make sense to buy a company which has no intention to be as profitable as you are.

Basically, shareholders expect you to invest all the cash in your stockpile for a similar percentage return (on average), and they won't want you to invest in a capital heavy but almost profitless industry like carmaking unless you think you can turn it into a business of similar profit levels per unit investment to your existing business.
Living longer but less fit is no prize. It's also misery to shuffle around and wheeze through every minute of your life.

Exercise improves sleep, improves cognitive function and make tasks easier and more enjoyable. Everything about your life improves.

I bicycle, and I enjoy it. It is one of the reasons I want to live longer.
My understanding is the general consensus is that no physical infinity can exist.

So Axiom of Choice/Banach-Tarski doesn't really apply in physics since they are only interesting when talking about infinite sets.
With all do respect - I laugh every time a researcher thinks THEY found something... Sometimes they really do, but many times others have long before and just don't share the results...
For the people wondering, the Github repo is only hosting a couple of lines of Python to connect to their API.

If you have your own LLM, you may have sensitive/private data "in" it from your training. You may not be allowed to use this service from a legal point of view.
75 Years of 1984: Why George Orwell's Classic Remains More Relevant Than
Groups tend to see collective trauma as normal and (unsubconsciously) work to sustain it.
Huh, I (from New Jersey) somehow made it through the British Museum without realizing "artefact" is spelled differently in British English.
If you restrict your language to pure functions only, then it is quite possible to have a system be both declarative and reproducible while having more expressivity than yaml.
Uber can have reporting as much as this, or more. I can think of some: the driver owning the car incentivizes keeping it clean; bad reviews for dirty cars.

This problem is orthogonal to selfdriving.
VW has comparable revenue to Apple, 4 times the employees, twice the assets and triple the equity. Additionally it can only be bought by negotiating with a single family.

No, apple can not buy VW. This idea is totally absurd.
It frightens me that you’re so dismissive of democracy and the rule of law. What is a “human right?” How do you ascertain what is and isn’t such a right? How does a judge decide something is a “human right” that justifies overriding democratically adopted law?

To me it seems like the concept of “human rights” is like the idea that there is “divine law” that overrides man-made law, which judges discover by looking into seeing stones. It doesn’t make sense, and is really just a way of imposing a particular quasi-religious worldview onto the democratic majority.
"They used to sell exclusively hot-dogs, and now they sell hot-dogs and hamburgers. That's the last straw, I'm going back to the US where they only sell hot-dogs!"

You have to admit it sounds slightly ridiculous, right?
Show HN: pypiscout.com – Find packages on PyPI with natural language queries
Finding the right Python package on PyPI can be a bit difficult, since PyPI isn't really designed for discovering packages easily. For example, you can search for the word "plot" and get a list of hundreds of packages that contain the word "plot" in seemingly random order.

Inspired by [this blog post](https://koaning.io/posts/search-boxes/) about finding arXiv articles using vector embeddings, I decided to build a small application that helps you find Python packages with a similar approach. For example, you can ask it "I want to make nice plots and visualizations", and it will provide you with a short list of packages that can help you with that.

You can try it out at https://pypiscout.com
VW does a lot of joint ventures with competitors; the Ford Explorer EV is essentially an id.4, say.

I'd kind of wonder if VW is more interested in vans here, tho. They seem to have missed the boat on electric vans; it's all Merc/Citroen/Renault in Europe, and Rivian in the US. VW's only electric van is a cargo version of the id Buzz.
After the women's representative petitioned for the case to be reexamined, a prosecutor with more experience of sexual assault concluded that the alleged facts amounted to rape - see https://web.archive.org/web/20190502114026/https://www.aklag...
Tried out 'Game of thrones' and it was gooood! What happens if the LLM does not know a book?
Nuxt releases icon module v1
VW group cars' software is absolutely terrible. Buggy, slow. My top-of-the-range EV runs a UI that uses an outdated version of Angular.

This can only be a good thing!
They are gotchas because they're unusual and people unfamiliar with the language will get confused by them.

I'm sure everyone who has used Elixir has been bitten by the list of numbers to string conversion.
"The letter is being sold as part of an auction of artefacts belonging to Microsoft co-founder Paul Allen, who died in 2018 at the age 65."

I wasn't aware the Szilard/Einstein letter was in the hands of Microsoft co-founder Paul Allen. How did this famous letter get out of the hands of Roosevelt/Government files in the first instance?

Seems very strange that an original letter of such national historical importance would ever be released, it should have been remained with the Roosevelt archives or with the LOC/Library of Congress, or the National Archives.

I reckon many will be very annoyed if this letter goes walkabout. Imagine if some Russian oligarch buys it.
Reminds me of Plasma's ball widget: https://store.kde.org/p/1172489/

Apart from amusement, this served as a nice example when you are giving talks at universities trying to motivate students to tinker. Just multiple gravity by -1 and voila!