skysight-inc/HackerNews huggingface dataset:
> Needed to make a hotel reservation, but the online form was broken (NaN for all number inputs, probably broken validator). Was able to guess the expected format and manually issue these requests, which worked.

Bravo for the neat hack, but did you actually get a confirmation email? I'd not be particularly comfortable arriving at a hotel that I'd booked through the direct, unsanctioned and entirely unexpected use of an HTTP endpoint! Perhaps ringing the hotel's telephone would have been more practical ;)
Also a needed feature is speech-understanding, which requires a microphone, which everybody has in their gadget.
Where do you think all the fish and other animals that Live in the river poop? It’s already unsanitary
I struggle heavily with complexity theory, and in particular struggle to follow the definitions, assumptions, and proofs. It can be very hard for me to decide whether to invest in the time and effort needed to decode a paper like this.

Here we have a number of assumptions, and very short proofs, which makes me a little worried that the CoT complexity class might not be useful for understanding the expressive power of actually existing transformers like LLMs - especially ones with hidden weights and architectures.

Can someone with a better understanding remark on this?

Some questions:

1. Does this paper let us better reason about trained hidden weight llms like gpt3.5/gpt4?

2. Does this paper imply that we can always exploit some linear CoT blowup factor to faithfully simulate an automaton, even on a very small transformers, like a 1.5B LLM instance?

3. Does this result attain for untrained or minimally trained transformers? Assuming that's not the case, what assumptions do we make about the network's training?

4. How would we bound the automaton simulation blow up factor for a given llm instance? Can we confirm bounds empirically by benchmarking transformer instances against a corpus of automaton specifications of arbitrary size?

Feedback from a expert on this subject would be really awesome!
> There is some good stuff on the utoronto blog

To be clear, this is the blog of one person at the University of Toronto, representing only himself, who has been working on Unix and Linux systems for, oh, probably 40 years at this point.
These consonances cannot be replicated on a Western piano, for instance, because they would fall between the cracks of the scale traditionally used.

Sounds like the author doesn't realize you can tune a piano. Actually, it doesn't sound like they know anything about music because the octave is surely universally harmonic.
Why do you think wealthy people should be treated more leniently for the same crime?
the MTA experience is so bad that ridership is already way down and trending downwards.
Hugely agree on transit access to the airport, but it has gotten somewhat better. The GCT Madison connection has enabled another connection to Jamaica for the JFK AirTrain alongside LIRR and the E-train. And no longer do you need a separate MetroCard, as the Port Authority has finally modernized with contactless payments.

And the Q60 bus serving LGA also couldn't be easier. It picks up from a clearly designated spot on the lower level and drops you off right at Jackson Heights for E and 7 access. Could there be a direct rail connection a la O'Hare? Yes, and there should be.
Nah, it's not silly - you had bad experiences with a company, it's normal not to want to interact with them further. I'm personally not a fan of Microsoft because I spent my formative tech years installing Windows on family friends' PCs and had so much inconsistencies and issues that I have a very negative association with Windows and Microsoft.

I disagree with the DSL part, but it's in big part subjective so people have all sorts of different experiences and opinions.
I accidentally installed an injector pump 180° out of time on a MB OM617 and it "ran" kinda.. with a massive white smoke screen. I was shocked it even started.
VMware has a track record of pretty great reliability across a vast array of hardware. Yes, the APIs suck, but they're a case study on tech debt: vSphere is basically the Windows equivalent of datacenter APIs. They chose the best technology at the time (2009, which meant SOAP, Powershell, XML, etc) and had too much inertia to rework it.
Your link re: Fair Dealing guidelines does NOT make it 100% legal. For one, the ENTIRE works are encoded into the model--not a part of them. For another, those are just guidelines, not explicit exceptions, just like Fair Use in the US. It's all very hand-wavy, even more so in the UK, apparently, so there's no way you can list those guidelines and say that anything is clearly allowed.

Your second link means it's legal for them to CREATE THE MODEL. This is true in the US as well: The model is a clearly transformative use of the data.

But as soon as the model produces works in the same use category as the original work (code -> model -> code, for instance, or image -> model -> image), it is no longer transformative.

If you understand the law and the technology, it's clearly generating derivative works.
The biggest financial frauds ever – from Sam Bankman-Fried to Bernie Madoff
London had the first full assessment in 1964 that something ought to be done about cars on the basis of congestion, but sadly those building roads had the upper hand for a few more decades.
In August it was 66ng/mL prior to taking any supplement. So above the reference low, but below the adjustment for RLS.

Unfortunately, I just had it tested last week but had given power red a few weeks prior and came in below even the normal range (20ng/mL).
maybe they can make up for it with the revenue from being able to fit in another client instead of sitting in traffic for 2 hours
Realistically, if your sewerage system is from before the mid-20th century, you'll usually have this problem.
A negative leap second has never been added or tested
That's great, but it did not really write the program that the human asked it to do. :)
If you read their blog post, they mention it was pretrained on 12 Trillion tokens of text. That is ~5x the amount of the llama2 training runs.

From that, it seems somewhat likely we've hit the wall on improving <X B parameter LLMs by simply scaling up the training data, which basically forces everyone to continue scaling up if they want to keep up with SOTA.
I think the insinuation is insider trading due to the timing, advised or not.
Pythagoras from the grave would nicely like to ask if the researchers could also give those 4000 participants a two-stringed instrument, and ask them to tune them in a way they find pleasant to hear – and see if that spicy headline of theirs still holds.
Sammy – Example Implementation
Do we know why they went with a system based strictly on a zone instead of based on the congestion level in that zone? It seems a fee based on congestion levels would maximize use of the roads by encouraging more use at off hours.
Mumbai becomes Asia's billionaire capital, topped by Mukesh Ambani
Ask HN: What are your favorite niche shopping sites?
We all know about the massive online retailers but where do you go to find what you need?

I recently used https://www.geartrade.com/ and https://www.thriftbooks.com/ and it sparked a little obsession into finding deals on other items.
It shouldn't be illegal if it is open to any company capable of also offering such a deal.

Isn't the Microsoft - OpenAI deal an exclusive one?
https://ghostarchive.org/archive/NEoog
Dittofeed – Efficiency and Deliverability – v0.12.1
Hey HN, Dittofeed v0.12.1 is out! For those unfamiliar, Dittofeed is an MIT-licensed, open-source platform for omnichannel customer engagement, offering an alternative to tools like Customer.io and Braze. This release focuses on key optimizations and fixes, enhancing performance and compliance:

- New "NotEquals" Segment Operator: Now, you can exclude users based on the absence of specific traits, enabling more precise targeting in your Journeys.

- Optimized Query Memory Efficiency: We've significantly improved the memory efficiency of our computed property engine, powered by ClickHouse. This is helpful for teams self-hosting Dittofeed.

- Subscription Email Headers: We've updated our email headers for subscription-related emails to comply with Bulk email sender guidelines, improving deliverability.

- Improved Messaging Stats: Addressed an edge case with Sendgrid webhook events that could lead to inaccurate messaging stats.

For a detailed look at the contents of v0.12.1 you can read our blog post.

https://dittofeed.com/blog/release-0-12-1

For self-hosting users, see our upgrade guide:

https://docs.dittofeed.com/deployment/self-hosted/upgrade-guide/v0-12-0

We’d really appreciate it if you visited and starred our repo.

https://github.com/dittofeed/dittofeed

Thanks!
> and how little mass 1500 calories is

Or how much, depending on what you’re eating. It would be physically impossible for me to eat 1500 calories of lettuce in a day (10kg worth) but it definitely aids in “feeling full” when added to a meal.
Kobo with text-to-image generation and ELI5 (Stable Diffusion/OpenAI)
Thankyou @talldayo, it is lovely to hear from you

> promotion of an arbitrary religion

Truth is in short supply. I think in secularism, and the religions as you described, people push their own advantage, rather than an independent truth. But the idea that our ultimate goal is truth -- i.e. truth is God, God is truth: This is the only truly trustable source; since anyone who places something higher than truth, such as life, will sacrifice truth to get that. So considering God, to be truth can be the only fully trustworthy position

This is quite different to your conceptualization

> you might be the least functional of them all

"If only for this life we have hope in Christ, we are of all people most to be pitied"

1cor15. So Yes :)

> you're dependent on the word of others to interpret reality for you

I really really appreciate your feedback!! However I would attest to many many personal revelations and observed miracles to the point i would consider myself insane not to believe. i.e. It is very much personal choice

I appreciate your other comments too, but my reply is already long
the "One group" in question is Hebrew University in Israel. So not exactly a sue-happy small group so much as a super well-funded very large organization.
This must be happening a ton because I'm not on Twitter anymore yet I know exactly what it's referring to. The bots/ads problem has become a joke/meme around the web.
Related: this "cyberdeck" project deserves to become a product, hopefully for sale one day at Framework's store.

https://github.com/BenMakesEverything/cyberdeck/

I'm totally in love with the expansion cards model, but I'm not ready to spend so much money for a laptop I don't currently need as I'm still fine with my thinkpads, but as soon as they start dying (touches various things), I'll seriously consider getting a Framework.
I'd exercise caution, in my experience, it'll take years for companies to transition from VMware to somewhere else. In the interim, their revenue will most likely pop as they're squeezing the shit out of these unlucky souls.
I can see two gadgets, one in my left pocket and another in the right. One for communicating with others, one for communicating with my future self i.e. my AI-self.
Apple Developer is now on YouTube
Do the 132B params need to be loaded in GPU memory, or only the 36B?
Fair. That said, the goal is to shift a lot of that delivery traffic to other hours.

There are about 125K truck crossings into Manhattan per day. In a NYC pilot program with receiving companies, carriers, and truck drivers; some participants implementing the off-hour policy at a number of their locations and it went fairly well.
The 4000 participants who have been living in cultures steeped with Western musical harmonies? I don't think it would be surprising that they would pick tunings that reflect the music that surrounds them every day.
I consider single letter flags only to be a mistake. There should almost always be a verbose double-dash option.

I get it, most of the tooling which uses single letters is totally ossified due to backwards compatibility reasons. However, the sudors team is already breaking backwards compat. Now is the time to make a minor usability improvement.
Actual accounting software can certainly care about that. This is called operational or cost accounting (vs financial accounting, which would be accounts payable etc.)
Kahneman was a giant among men. Anyone rattling on about "the replication crisis" probably isn't fit to carry his folders.
Clap is a really fantastic command-line argument parser, especially using the "derive macro" they now include. Once you start dealing with git-like subcommands, and other complex cases, it Just Works. You get help, short and long options, defaults, repeated arguments, deserialization to custom types, etc. Essentially everything is accessible with a couple of lines of code.

Life's too short to build all of this each time. I'm perfectly happy to ship 2-5 MB zip archives, which is where a lot of my more complicated Rust tools wind up.
I actually don’t answer unknown callers with “hello” or any words actually. I simply just say “mmmhhmm” or make a dumb sound if it is automated it will trigger the automatic message. Someone asked why and I said voice cloning software they said wtf you have nothing to steal. Just feels risky idk why.
Congrats on the launch! A couple small things: When you toggle between light and dark mode the hero section on the homepage ends up selected. Also the padding on the home icon at the top is a little funky. It looks out of line with the rest the titles

More broadly - interesting idea! I worry about there not being much utility in the space that lives between full-fledged documents and quick messages on chat. Including a demo, walkthrough or screenshots on the site would help make that gap more digestable for me.
For how progressive HN seems to be I'm surprised at all the support this is getting here. At the end of the day this about as regressive a tax as you can make.

And the whole point of this tax is to fund the most mismanaged organization in NYC -- the MTA.
Oh for sure. The implication is that it would be nice to have the Healthcare infrastructure and research to safely industrialize psychedelia. Animals deserve better treatment in pharma dev anyways, but so does Jake who can consult a specialist psych if they want to. Similar to consulting a physician or experienced trainer before body building.
If this is your site (rtwolf.github.io/Everyone-is-John/), looks like the linked site from the text is down (www.everyoneisjohn[.]com) It's just an empty page with a Chinese title?
Note that there are two ways to look at derivative works.

You're describing a Venn diagram of two independent circles, LibraryA and AppB, and saying AppB does not use any code internally from LibA, share code, modify code from LibA, etc. From that perspective it's not deriving code from LibraryA. You're not wrong.

The other view is two interlocking puzzle pieces, LibraryA and AppB. Can AppB function without LibA? Is there a standard library API that we can swap those libraries out? Can AppB be built or executed if LibA is not linked at build or runtime? GPL operates at this level and is why LGPL exists. If AppB requires LibA, AppB is derivative. If AppB does not link to LibA as distributed and can function without it, but links only at runtime on the user's system, AppB is not derivative.
I really recommend against doing a non Tech/CS business at this stage in your career. It is very hard to jump back into tech if yo have no experience and then leave tech for a while. Unfortunately, it's a really big negative signal that's hard to overcome.

Have you ever worked for a coffee company? Have you ever worked a full time job at all? Have you worked at a startup? If the answer is mostly no, I think some real world experience is going to be invaluable to eventually starting a coffee company.

I'd suggest a couple possible paths:

1. Apply to jobs, hopefully get a lucrative tech job. Maybe you like it and coffee becomes a hobby. Maybe you hate it, but you know you can save up even more for an eventual business. Remember, money now is worth more than money later . If you can stash away 100k beyond your current savings by working a boring tech job for a few years, that can drastically change the trajectory of your life. Makes buying a house easier, retire easier, more capital for a business, etc.

2. Apply to jobs, you don't get a lucrative tech job, but you get an easier job (maybe government, maybe a boring company). So then either start a business on the side to flex those entrepreneurial muscles (resell coffee, roast coffee and sell online or etsy or something). Alternatively, work at a coffee shop or roaster part time to gain some experience.
Agreed. These same trucks often get parking tickets that surpass the cost of entry.
Thank you for the recommendation. I’ll check it out
> Why do you keep thinking competition is what prevented blended wing bodies?

Never said as much. OP asked why all planes since the 70s look about the same. It’s because there isn’t a sustained budget for experimentation.

> no weird conspiracy

Never said as much. It’s not exactly groundbreaking for entrenched supplies to cease innovating and focus on extraction.
You paying a company money and them giving you a product in return is quid-pro-quo, so should that be banned as well?
Null is always sorted.

1 is always sorted.

x, y can always be sorted (and goes in "the second slot" because it's "too big" for "the first slot").

Now you have:

0: null
1: [x, y]

When you add another item (z, q, whatever...) you repeat the process until you "blow up" slot[1], and mergesort into "the next doubled big" slot.

A0: [z]
A1: [x, y]
--
B0: null
B1: null
B2: [q, x, y, z]
--
C0: null
C1: [q, z]
C2: [x, y]
--
D0: [a]
D1: null
D2: [q, x, y, z]

...each array (slot) is guaranteed sorted, and is guaranteed binary-searchable.

...each array (slot) is guaranteed sorted, so adjacent slots can be "merge-sorted" into the next slot "for free".

...to understand recursion, you must first understand recursion. ;-)

...the "B" and "C" steps are actually "in error", but hopefully is illustrative that they would both be valid representations and are equivalent from a searching perspective.

Basically, you're paying the pointer-cost (overhead) for log-n "Slots" (heads) making it space-efficient. Dealing _only_ with sub-sorted-arrays means you're always either binary-searching (time-efficient) or merge-sorting (popping previously sorted items from list A or list B), which is also time-efficient.

It's kindof neat b/c (for example) you can get "Z" up at the top when you think it should be "down below", but it doesn't really matter b/c you'll do a binary search in slot 1 (nope, it's not "Z"!), and then binary search down below until you find what you're looking for. When it's "time" for "Z" to move down, it'll move down to the right place "automatically" as you're merging adjacent (sorted) lists.

Maybe think of it as: 1,2,4,8,16, where the slot with 16 entries is always perfectly sorted, but you have the temporary buffers of 1,2,4,8 to be pre-sorting your stuff until you need to bump up to 32 entries.
it's susceptible to subtle prompt injection. I got it to output LLM like responses to just snippets of speech.
It also acts as a buyer when prices are very low (gotta fill the reserve somehow) which props up prices at oversupply times, keeping the industry stable.
> instead of leaving residents dealing with those costs.

Residents will be mostly the ones paying these costs. Residents are not exempted.
Part of me suspects it is done this way for political reasons. Nobody wants a sewage reservoir near their house. Everyone is scared of a reservoir potentially bursting and flooding a whole district with sewage.

Whereas if you say "it's a big pipe to take sewage away", nobody can object to that. Everyone wants their sewage taken away.

The fact the pipe is also acting as a reservoir becomes a technical detail.
VC's might be smarter than they show -> they have great interest in creating bubbles and hyping companies they invested in. They can always hope for greater fool further down the line. Best to sell company / IPO and just hype the next bubble
For those cases you can type until it autocompletes one of those commands, then press the up arrow key to cycle through the variations of that match. I don't know about zsh, but it's the default for fish and nushell.
Yes, I was living in Manhattan in 2004 working on GPS navigation software, and had
to perform some updates relating to the London congestion charge. I thought to myself "This is such a great idea, Manhattan will surely implement a similar system within a couple years". Here we are, 20 years later...

Parking is only really a problem below 59th st or so. You can usually get street parking by driving in circles for 20 minutes, or go to a parking garage and pay ~$8/hr to park.
We aren’t Europe though. Many Americans have no interest in paying even more taxes. Glad I avoided working and living in NY.
Embeddings are indeed sticky, I was referring to the LLM model itself.
Luckily for us DOJ is now suing Apple for monopolistic behavior
Minesto – Subsea Kite Generating Electricity from Predictable Tidal Streams
I agree with everything you said, except is it actually implied they faced financial ruin with your 283x return? What if they were doing a covered call? Then they lose the stock, that sucks, but they're not going to go into debt.

I'm just being pedantic, your broad points are absolutely true. I mostly just through cash into VTI.
All of AVGO/Broadcom's moves with VMware have been to keep revenue somewhat steady by focusing on their biggest customers locked into their ecosystem, while drastically cutting back everything else to lower expenses. This should produce excellent short-term financial results which the market will very likely reward with a higher stock price over the next year or two. The board and C-suites know what they are doing.

Of course, destroying the trust they had with their customers means the long-term prospects of the VMware are not so good.
Consider the bulldog: https://youtube.com/watch?v=hUgmkCgMWbg
Of course you can tune any instrument to any scale. "Western piano" implies a standard tuned piano.
hey, maybe you have one of the use cases erl/el excels at; I'm not going to go against that - I also like the language and the runtime and everything.

my point is just that at some point and at a certain org size, the technical prowess of the platform is not the dominant term in the equation; social merits of your platform become it.

organizations also don't see the value of retraining everyone, risking bugs, customer and dev dissatisfactions, and a myriad other correlated problems; and as elixir orgs are not running laps around non elixir orgs (you know, executives do talk with other executives in other companies - and whatsapp is an once in a decade) and given that most of us build web cruds, internal LoB apps, other small automations, they can tolerate the eventual delays of having worser tools.

closing our eyes and thinking these things do not exist is ingenuous imho; I wish I was writing rust or el, I'm stuck in python trying to convince people using immutable dataclasses.

I still feel langs like el/erl and in general pleasant, powerful but niche things like clojure, are better placed as secret weapons for teams of highly skilled, motivated individuals with homogeneous culture about code. They are not industry standard and they should not be. Touting them as magical solutions just hurts them in the long run.
Llama or mistral both are good. Running using ollama