skysight-inc/HackerNews huggingface dataset:
Sounds to you, and to me too.
However there is as many different ways to do vacations as there are people. Some like to do nothing on a beach for days, others to live an adventure or meet people.
I can totally understand why you want a totally optimized trip if you have money and little time. And I am sure part of the 25k€ package mentioned is spent on planning with enough time or options to avoid stress.
Were you inspired by Git? How did you come up with MD-CRDTs?
Yes, exactly the above. Except it doesn’t replace Spatial computing conveniently
Any human written text (commit messages, code comments, Merge Request messages, etc) that explain WHAT is done are useless. They are basically a GPT bash command away : `git diff | aichat "summarize and explain these git diff changes" `

Instead , people should write WHY are those changes being made. That's info that cannot be generated automatically, they surely have at the moment in time they are making the change and most importantly, that's the question that another dev will be asking himself 5 years later when reviewing the commit in the middle of a code archeology session: "why the heck did they do that??,"
To be fair, it wasn't even the only disaster scenario in the movie - but it's very difficult to come up with a realistic scenario where someone would get left behind with a livable hab.
Everyone is piling on you but Id love to see what their companies are doing. Cosine similarity and loading a few thousand rows sounds trivial but most of the enterprise/b2b chat/copilot apps have a relatively small amount of data whose embeddings can fit in RAM. Combine that with natural sharding by customer ID and it turns out vector DBs are much more niche than an RDBMS. I suspect most people reaching for them haven’t done the calculus :/
The Play Store is not an alternate Android app store though.
So... are you trying to argue _for_ colonialism instead?
I guess letting the externalities go as a freebie could be considered a subsidy but I hear ya.
In which the guy who wrote The Lean Startup builds the most unlean startup possible.
This seems like silly trial. If I do a master copy painting it's fair use. This is essentially the same as this tattoo, it's fair use.

If Kat Von D, was tattoing a Nike logo on someone, then maybe there's something there.

I'm suprised this got to trial.
no, there's no reclocking on nouveau for that or I think anything beyond.
OML explained in 5 minutes: https://youtu.be/iqm3sba51p0

I found OML while looking for a more compact, readable alternative to this huge JSON file[1]

Quick Comparison:

OML:

{
key1 = true
key2 = "Hello world"
key3 = [10 20.5 null false]
key4 = {
sub1 = Test
}
# this is a comment
}

JSON:

{
"key1": true,
"key2": "Hello world",
"key3": [10, 20.5, null, false],
"key4": {
"sub1": "Test"
}
}

[1]: https://duckduckgo.com/bang.js
use np.dot, takes 1 line
up to 100k rows you don't get faster by using vector store, just use numpy
Yup. They could have security by allowing the user to see and control the sandboxing that the operating system imposes on the apps. The app store is not required, but they act like it is.
I hardly use search engines anymore. So there's no point in paying for Kagi.

90% of the time I'm not looking for a website, I need the answer to a question. I can either spend 15 minutes sifting through clickbait sites until I finally find the answer, or I can spend 15 seconds asking a chatbot.

For the handful times a month I still need to find a webpage there's no point in paying for one..
It can't communicate over long distances, so it wouldn't be able to communicate with Earth after Perseverance drives out of range.
The OP addresses some of those issues.
I sure hope the hype cycle doesn't destroy what's truly valuable here.

I accidentally stepped into seemingly endless demand for AI projects this year, and it has been a god-send for my crushing burnout. Truly interesting stuff that makes me feel like I felt when I was a kid learning unix.

I can accomplish such objectively cool things that add measurable value with these new tools, but the hype makes it all feel mildly gross.

I am both excited and feel the need to wash my hands.
We can talk about the datasets, but the elephant in the room - to me - is that the world is deeply deeply intermediated.

Our lived experiences are filled with countless powers preying upon us humans. They want to stay middlemen, they want to keep us using their convenient systems, they want their hand in every pot, and they use networks to vend their position to as many other would industrialists as they can.

That's them, what about us? We humans have lost direct and authentic connection to the world around us. We lack orientation & cannot make sense & decide & understand (and that alone may be a ghastly threat to democracy). We don't have visible economies around us anymore.

There's such a deeply Dark Forest scenario playing out, as companies invisibly consume & process society. It's so asymmetric, so hard to even grasp how thoroughly & tightly the corporate surveillance winds itself around us. Are the datasets generated terrifying? Sure, yeah. But the result is not the only horror here. The potential power of what is gathered is only one form of damage that the de-huamnizing/intermediating of humanity strikes against us with.
Ok fine... these replies are making me feel like I should read some more NK Jimison. Broken Earth did not land for me at all, but I hear all the enthusiasm and I'll keep an open mind.
'They're knowingly addicting kids': the attorney challenging social media firms
The scale of those colonies is kind of absurd when compared to any even moderately larger territory, leave alone the entirety of India!
Include a link.
Because this food item was a 'hack' ? Invented just to reuse the left over chicken tikka from the day before.
To be fair, that is their viewer application. Not an actual screen sharing server. It would be very difficult for a scammer to do anything to your device or account using the app in the App Store as is.
ingest and index build can take time
I doubt the alt-stores will be doing any installing of their own. They probably get a higher level API and get to say "install this package at this url" and iOS will handle the usual verification checks, permissions, actual installation, Home Screen and App lists, etc.
This BS is allowed by "Third Party Doctrine" which means that once you give information to a third party, you no longer have a legitimate "expectation of privacy" so therefore you don't have one.

For example, if I want to pay you $100:

- I can give you $100 directly in cash. We can limit that knowledge to two people, therefore it could remain private.

- If I pay you via check, credit card or Paypal, now I've involved a third party and the government can collect any information they want. It's up to that third party to choose not to share it.

Check out the book "Habeas Data" if you want to understand the US rules - and how we got there - https://amzn.to/311a0yl
mathjax has come tremendously far, but not on the problems you mention :(
The author shares some tips and prompts for writing a clear and compelling product narrative using GenAI as a powerful AI assistant that can help with brainstorming, outlining, drafting, and revising. The article follows the structure of Amazon’s 6-pager format, which includes sections such as intro, goals, tenets, state of the business, lessons learned, and strategic priorities. The author also provides some examples of how to use GenAI to generate ideas and insights for each section. The article is aimed at product builders who want to improve their decision-making and innovation process with GenAI.
Rick Wilson's Historical Flutes Page
> YouTube videos being the format?

Youtube is the TV of the 21th century, it's not only the format but what you find there which is unique.

> If Google thought YouTube had the leverage you do, wouldn’t you think they’d try swinging that around?

Because there's no competition between both companies? Why would they do that? Google is pretty happy about their current position.
In my opinion, if you think of open source in terms of money, you have the wrong values.
> What is rightfully disputed, is whether he also owns the land under the rover. He would like to, but not possible with current laws.

Actually, contrary to the opinion of Ms. Gabrynowicz, current case law and government/agency positions represented by the Artemis Accords reflect Mr. Garriot's claim. It may have been an untested hypothetical at the time, but in the current political climate it is finding support by all the relevant players. In fact they go even further in asserting exclusions zones much larger than just the regolith undermining a lander or rover.
Investors don't really care if it actually creates more value. They only care if the story can attract the public. They just want to profit by taking next investors' money.
Seems like so much work for paper thin profits, plus the usual risks that come with anything crypto related.
It's a very well thought through article by the developer of Nota, trying to bring EPUB format up to parity with PDF. It's a serious start and they've already written a viewer. In fact, the article itself is displayed in a browser-based wasm port of the viewer (and looks good!).

One issue is how precisely EPUB, which is really XHTML, can reproduce layout. What are the possibilities here? The OP's standard is that the document will look "reasonable". The imply that HTML would need new layout capabilities to match PDF, at least for line breaking:

There's two ways to make progress here. One is for browsers to provide more typography tools. Allegedly, text-wrap: pretty is supposed to help, but in my brief testing it doesn't seem to improve line-break quality. The other way is to pre-calculate line breaks, which would only work for fixed-layout renditions.

Also, though the author mentions annotations, I don't see how they intend to implement them.
A Terribly Serious adventure: Philosophy and war at Oxford
Remember that Meta actually followed GDPR law in terms of getting constent for personalised ads, and the irish courts even said that Meta was doing things legally, and then the EU courts decided Meta was actually doing illegal things, and fined Meta.

So there can be multiple layers to this, and ultimately I don't think the EU really works as a robust legal system any more, there are so many politically driven cases where the courts follow the politics not the law.
Spoken like someone who has never implemented a push notification system.

How does a server know when to send a push notification to a client if the server doesn’t know the users local Timezone.

Want a wake up call at 7am? How does the server know when to make the call? Want to avoid sending a study reminder at 3am, how does the server know when it is 3am? Most websites do some kind of location detection to show times back to the user that are likely in their current Timezone.
Do you mean specifically salaries, or comp in general? Like what about stocks and refreshers? Are people getting less (via lower/absent refreshers etc.)?
> The government is bound by the fourth amendment.

The fourth amendment is a restriction on the government's ability to search or seize - things that a regular private entity is not permitted to do at all, that represent an enormously abusable power. I don't see how buying public information fits into that.

> if people cannot have privacy because companies can coerce and buy so much information about them, then that too is a violation that should be illegal.

Perhaps. But looking to ban the government from buying that information on the open market is putting the cart before the horse. If the problem is our private information being sold, let's look for a fix for that that would protect us from large companies or wealthy individuals with a grudge, rather than focusing narrowly on the government.
COUNT is easy:

> SELECT COUNT(*) FROM ℤ;
ℵ₀
> SELECT COUNT(*) FROM ℝ;
POWER(2,ℵ₀)
> EXEC sp_configure 'continuum hypothesis','1';
> RECONFIGURE;
> SELECT COUNT(*) FROM ℝ;
ℵ₁

While non-termination is probably best left implementation-defined (to allow caller-terminated streams of infinite results where they make sense), ORDER BY would clearly be an error where no well-defined "first" or "next" result exists.
8 days ago, 134 points: "Portable Web Documents – An Alternative to PDF Based on HTML5 (2019)"
https://news.ycombinator.com/item?id=39036774
Does putting it in quotes protect you from libel charges? Honest question.
I don't know how common this is nowadays, but I'm pretty sure it used to be fairly common for wedding photographers to retain the copyright to all the photographs they take (even when you are paying them).

Often they would not share the negatives or full resolution images. That way if you decide you want enlargements, more prints, whatever, you have no choice but to buy them from the original photographer.

BTW, in the above scenario it's highly advisable to get whatever pictures you want soon after the event. No telling how good your photographer's backup practices are, or whether the basement where they keep all the negatives will get flooded..
I’m confused. It says she did it for free why is there a case?
Éminence Grise
I'm fully on board with the author's "I want to replace PDF" sentiment.

It's true that running code in the document has some downsides, but the vast majority of people does it all the time in their browsers. And it comes with tremendous upsides. Just imagine large amount of data presented in interactive tables which can sort, filter and export or interactive graphs inside the document. We already use HTML+JS so much, why should we stop at documents? Yes, they can't be printed, but in my observation less and less people even own a printer these days, and I see no reason why this trend should not continue. I bet the future will be mostly living, interactive documents.

It's funny that I just mentioned this in the other thread [1], but I also felt that there is a need for a format that is self-contained and widely supported by standard software (by which I mean browsers). A well-specified open format would be great, but until then I tackled the self-containedness problem with JS and wrote a Python script that zips and bundles all assets and embeds them as a SPA into one HTML file [2]. The focus is on Sphinx docs but it should work in general with all distributed HTML docs.

[1] https://news.ycombinator.com/item?id=39138444

[2] https://github.com/AdrianVollmer/Zundler
Lol rare collaboration between neon, AWS, and supabase.

But if Postgres wins we all win!
"free as in free puppies, or free as in beer"? I've never heard that, and they're selling themselves short, if they redefine gratis as "no strings attached".

Let's just go full ironic-Heinlein and say "free as in lunch"!
Thanks for your reply!

I think they called it an FST "Full Syntax Tree", which is probably very similar to a CST "Concrete Syntax Tree". At the time that moses was written, Python's internal AST hadn't sufficient code to mutate sufficiently for moses' designs.

MOSES: Meta-Optimizing Semantic Evolutionary Search :

https://wiki.opencog.org/w/Meta-Optimizing_Semantic_Evolutio... :

> All program evolution algorithms tend to produce bloated, convoluted, redundant programs ("spaghetti code"). To avoid this, MOSES performs reduction at each stage, to bring the program into normal form. The specific normalization used is based on Holman's "elegant normal form", which mixes alternate layers of linear and non-linear operators. The resulting form is far more compact than, say, for example, boolean disjunctive normal form. Normalization eliminates redundant terms, and tends to make the resulting code both more human-readable, and faster to execute.

> The above two techniques, optimization and normalization, allow MOSES to outperform standard genetic programming systems.

opencog/asmoses:
https://github.com/opencog/asmoses

MOSES outputs Combo (a LISP), Python as an output transform IIUC, and now Atomese with asmoses, which links to a demo notebook: https://robert-haas.github.io/mevis-docs/code/examples/moses...

Evolutionary algorithm > Convergence: https://en.wikipedia.org/wiki/Evolutionary_algorithm#Converg...

/? mujoco learning to walk [with evolutionary selection / RL Reinforcement Learning]
https://www.google.com/search?q=mujoco+learning+to+walk&tbm=...

...

Semgrep:
https://en.wikipedia.org/wiki/Semgrep links to OWASP Source Code Analysis Tools: https://owasp.org/www-community/Source_Code_Analysis_Tools

But what's static analysis or dynamic analysis source code analysis without Formal Verification?

"Nagini: A Static Verifier for Python": https://pm.inf.ethz.ch/publications/EilersMueller18.pdf https://github.com/marcoeilers/nagini :

> However, there is currently virtually no tool support for reasoning about Python programs beyond type safety.

> We present Nagini, a sound verifier for statically-typed, concurrent Python
programs. Nagini can prove memory safety, data race freedom, and user-supplied
assertions. Nagini performs modular verification, which is important for verifi-
cation to scale and to be able to verify libraries, and automates the verification
process for programs annotated with specifications.

Deal > Formal verification > Background; Hoare logic, DbC Design by Contract, Dafny, Z3:
https://deal.readthedocs.io/basic/verification.html#backgrou... :

> 2021. deal-solver. We released a tool that converts Python code (including deal contracts) into Z3 theorems that can be formally verified.
I've started auto-exporting Zotero-managed references to a bibtex file using better bibtex [1] and then using Sphinx and reStructuredText to process them uniformly into nicely formatted HTML, pdf, and epub using sphinxcontrib-bibtex [2].

[1] https://github.com/retorquere/zotero-better-bibtex

[2] https://sphinxcontrib-bibtex.readthedocs.io/en/latest/usage....
Evaluation of the DoD's Actions Regarding Unidentified Anomalous Phenomena [pdf]
English readability is only true for the simplest of queries. That goes overboard quickly as complexity increases. So I'd happily give that up for the from-select order if it means better code completion.
Tour browser's (or at least Firefox's) devtools have an accessibility tab that allow you to simulate colour blindness. You can use that to play around until you find colours that work.

(Fun game btw! I like how this completely changes the dynamics.)
But less wealth usually means more unhappiness.
For the level of surveillance taking place, I want a lot less crime.
Well, tv stations these days speed up the playback of older shows by a few percent so they can fit more commercials in than the original creator provided time for. I’m so glad I haven’t payed for cable in a very long time.
What volumes are we talking about.

There are ways to speed things up dramatically. Index build just became multithreaded (see above).

We have ideas on what to do with ingest.

Also do you interest from S3 ?
Obsolete now that PV has become so inexpensive, and that batteries have also fallen in price.
How French was medieval England?
From mastering the art of negotiation to understanding the intricacies of digital marketing.
I've had "attempt to implement a wide x86 instruction decoder on an FPGA" on my list of potential hobby projects for a long time. Though I was only planning to do the length decoder. My understanding is that length decoding is the critical path and any additional decoding after that is simple from a timing perspective (and very complex from every other perspective).

But now you are making want to experiment with compact uop encodings too.
np.dot is also multi-threaded, based on BLAS
It seems like the problem is that the information is for sale at all.

I generally think warrants should be needed when police (or i guess spies) do something that an ordinary citizen wouldn't be allowed to do. If the info is available for purchase by anyone, then i don't think warrants should be needed.
In the product of the singlehtml builder, you will have the entire document in one single DOM tree. For large documents, even modern browsers on a modern machine will be brought to its knees.

Check out the CPython docs for example: https://adrianvollmer.github.io/Zundler/output/cpython.html

This is a huge document, and having this all rendered naively in one single page will not only be hard to navigate, it will also feel really sluggish if not crash the browser.
There were instances of deliberate disease warfare in America, but that was already centuries after something like 80% of the population of the Americas was killed by diseases that early European explorers didn't even know they were spreading.
Whilet he parent's point is correct, note that Nick Clegg is not and never was a EU civil servant (although he was a member of the European Parliament when the UK was still in the EU).
This made me think of the other recent case against Apple from Epic, where Apple's response to the court was essentially trolling. The judgement required Apple to allow apps to advertise outside marketplaces where users could purchase in-game items. So apple responded by allowing developers to apply to place exactly one text-only (non-hyperlink), static, reference to an outside payment source on one page in an app, and further added a new term that developers must also pay Apple 27% of all revenue from these off-site purchases.

I'm certain they have the best legal team that money can buy, but I'm equally certain that that legal team is under the sort of pressure that happens when a multinational corporation is looking at the prospect of possibly losing billions of dollars in zero-effort recurring profit. I also think these sort of behaviors are damaging their brand, which is certainly Apple's most valuable asset - which is to say that I think they're acting in an irrational way, because of the amount of money at stake.
Tell HN: PayPal Call Center Fraud Ring
A cautionary tale for HN::

My mother's bank accounts were hacked earlier today. The attackers seem to be working from inside a PayPal call center.

The attack started when my mother received a legit email from PayPal. The email was a money request for $1,500 to "Gerald". My mother panicked and misinterpreted this email as if a payment were already issued, not just a request. So she called PayPal customer support to put a stop to it. This is where things get interesting.

My mother called the official PayPal customer support (as listed on paypal.com). She was connected to a female customer service rep with an Indian accent. After my mother gave the rep her paypal info, the call quality deteriorated and the rep offered to call my mother back.

The rep called my mother back from a different phone number. The rep proceeded to tell my mother that there was indeed an unauthorized transaction on her PayPal account. The rep then suggested they examine her other bank accounts and ensure they were not compromised as well. The rep asked my mother to download a program to her computer so that she could view her desktop. You can see where this is going. My mother complied, because she assumed she was working with a trusted PayPal service rep.

To make a long story short, my mother ended up logging into multiple bank accounts while the attacker was observing her desktop. The account rep stayed on the line and told my mother to accept all two-factor requests that would soon be coming to her phone. The rep said this was all part of the standard security procedure between financial institutions and PayPal.

Only after the call ended did my mother realize how phishy it all was. She then called me, her computer-savvy son, to get a quick sanity check. I told her she was definitely hacked and we rushed to kill all the outgoing wire transactions that the attackers had initiated. We've changed passwords and are wiping her computer clean.

Here's the cautionary tale: don't let your aging loved ones be fooled by malicious customer service reps.
The U.S. just sold its helium stockpile
More like a16z talking their own book. It’s too early to be defining a stack so concretely.
If you're being held, do you fall under homelessness?