skysight-inc/HackerNews huggingface dataset:
Yes, true, I should have said the HN thread was “one of the few discussions” not “the only discussion.” HN discussion was much earlier than the LTT one though.
It was inspired by Baths of Caracalla in Rome, very impressive place to visit.
Adversarial policies beat superhuman Go AIs (2023)
Coming from the UK to NA one of the big shocks of bars/pubs here is the near insistence on table service (and tipping). A major benefit of the UK and Irish setup is they are far more open mixer environments, for humans and dogs alike. This Stammtisch is classic NPR thinking a european solution exists while ignoring that it replicates the exact same cliquiness promoted by their over regulated environments.

It is very clear that younger generations are rejecting all of this anyway, partly due to reduced drinking, but seem to lack adequate substitutes. Several younger colleagues have flat out expressed the view that the idea any romantic couple ever met in a pub or bar is just Hollywood nonsense, and they were completely serious.
O1 was able to find the math problem in a recently published paper, so yes.
Show HN: BitTorrent-style LLMs come to Kalavai
Today we are thrilled to announce the release of a public Kalavai pool dedicated to host Petals workers. This is part of our wider effort to offer easy access to compute to AI developers.

Do you find this useful? What other tooling would you like to see running on crowdsourced hardware?
Um.

Well, it's not my article, so I have no particular position on this, but it seems to me that her assessment largely agreed with my own, so perhaps I am merely parroting her views through mine.

To me, the article seemed to express her position pretty well. YMMV. But maybe that's because I agree with it, and you presumably do not.
It seems sensible to send people to the appropriate avenue for support, they have no idea how someone has been compromised and by taking ownership it becomes their problem.

If someone breaks into your house do you call the builder for help?
The title says it’s half the screen

1446x1534 should be enough to see actual content
BTC is not a threat to gold. No central bank is replacing gold in it's vault with BTC.

> I'd like to be obliterated like I've been with BTC going through multiple global crisis :)

Crashes don't happen in a vacuum. The reason people sell at the bottom is because they believe in the crisis not the recovery.
It's unfortunate that the UnitedHealth Group death has fanned the flames of this hatred of corporations.

Artificial Intelligence is going to change how we work. Many top software engineers on Hacker News may be ok for a while. Although everyone could use help.

But already many artists and junior engineers feel pressure. Lack of copyright protection can make that even worse for many. These are allies and people who we mentor.

Just brainstorming, Social Purpose Corporations could provide innovative co-op opportunities for artists and engineers. That's just one example.

I don't see the management class failing to forsee the financial reality in the global workplace. But I do worry about dependents facing division and hate. Bully that, right?

I can't fucking forsee every possibility, traps and all, though. Maybe not social purpose corporations but just hyper-incubators that enable a million small indy corps. Man, I'm imagining Jar Jar binks manning the hyperspace lychgates across from the content generators.

Sorry, stupid digression. I'm sorry for wasting cycles on that.
I don't think I've ever seen an API bill for incorrect credentials, or even anything that returns a non-200?
> I only have to write the meat, for instance;
result, err:= doSomething()

Ever heard of snippets? They do that too, but much more energy efficient and faster.
> I've never gotten an answer from an LLM to a tricky or obscure question about a subject I already know anything about that seemed remotely competent.

Certainly not my experience with the current SOTA. Without being more specific, it's hard to discuss. Feel free to name something that can be looked at.
I “didn’t get it” because you wrote one cryptic line and didn’t communicate clearly.

If you think academic expertise has no value, there isn’t much point in continuing this discussion.
I’ve seen similar purple hills in Scotland and only later realized they were covered in an invasive species. It’s remarkable how widespread it is there. Japanese knotweed is another ornamental plant that's now everywhere, practically the Terminator of plants when it comes to being unkillable.
> The Haskell solution requires more steps and theory.

Really? The suggested Haskell solution is

main = do
contents <- readFile "test.txt"
print . map readInt . words $ contents

which is no more complex than the Python code. The entire file contents is read as a String into content. words breaks it into a list of words, and readInt parses each word into an Int. Finally the list of ints is printed.
Lolol 100% accurate. Go trawl through PRs to Triton by FB people to the AMD portion of the codebase.
I'm going to try running vaultwarden myself.
Lamictal worked well for me and the Bipolar Symptoms. But high Omega 3 Keto, and some other dietary changes, does well for me now.

See this for someone else doing medical keto who has been able to stop all medications:
https://www.youtube.com/watch?v=2pIs30jDxeo
Microsoft comes to their senses and starts selling Windows Server standard at a flat 500 bucks an instance a year without the need for cals.
> AI is basically

Very many things conventionally labelled in the 50's.

You are speaking of LLMs.
Sorry, but NDAs mean I can't say any more.
No it fucking does not. No one refers to California as the PNW they refer to California as California.
> Which old school scaffold etc tool does that?

create-react-app and yeoman
Of course. But good luck trying to render LaTeX in a text terminal.
> This is factually wrong. The most interesting problems motivating the quantum computing research are hard to solve, but easy to verify on classical computers.

You parent did not talk about quantum computers. I guess he rather had predictions of novel quantum-field theories or theories of quantum gravity in the back of his mind.
This seems to be part of a side plot in Blade Runner 2049.

The movie was about replicants of course, but in the background, the technology shown with the AI being a companion, it was a huge corporate hit, a big seller. In the background you see ad's for it, and they reference it as their most popular product. And, as you allude to, in the movie it was both for loneliness AND sexual. They interacted like a relationship with talking and hooking up.

I don't doubt that with current AI, something similar could be done. We're just missing the holograms.

And as you say, I'm sure the porn industry will catch on.

Kind of crazy how Porn isn't leading this tech wave like past ones. Maybe because people are scared of tracking?
It's two problems:

1) the sequence length increases too much. Idk what the average token length is for Llama, but imagine it's like 5+ bytes. Using individual bytes as tokens immediately makes the context 5x longer which is super bad for inference speed and memory requirements (since attention inference is quadratic in the length of the sequence).

2) individual bytes have essentially no meaning, so byte embeddings are harder to learn. Subword tokens aren't a perfect solution, but they definitely often have some standalone meaning where embeddings make sense.

I'll give another example from a recent paper that tries to eliminate tokenizers (this is a popular research direction) [1].

Figure 4 is a really good example of why byte-level models are wasting computation. Once part of a word is generated, most of the remaining bytes are assigned basically probability 1. But a byte-level model would still have to spend time decoding them. With a subword-level model most of these easy-to-decode bytes would be packed together in a single token so you don't have to decode them individually.

When model APIs bill by the token, this is an important consideration.

[1]: https://arxiv.org/abs/2412.09871
The Haskell version parses the contents of the file. One answer also explains how to lazily read the file to process it as it's read, using the ByteString package. I think part of the overhead here is due to this lazy processing, plus the fact that there are basically 3 String in Haskell: String, ByteString and Text.

The python version simply loads the whole file into memory. The equivalent Haskell would be to call Data.Text.IO.readFile. What would the python version of the lazy parsing / processing of a file look like ?
Venture Capital Partners Are Leaving Big Firms in Droves
Latin America's Leading Online Travel Agency, Despegar, Acquisition for US$1.7B
Only in the bigger cities and most crowds there are closed groups.

Music venues with smaller concerts are way better to get in touch with people.
So funny to see so much discussion on this without bringing up the elephant in the room about why this is so common:

https://en.m.wikipedia.org/wiki/Bicameral_mentality

https://en.m.wikipedia.org/wiki/The_Origin_of_Consciousness_...
Reasoning is essentially the creation of new knowledge from existing knowledge. The better the model can reason the less constrained it is to existing knowledge.

The challenge is how to figure out if a model is genuinely reasoning
Lol sorry but if you are going to claim to be a faster cache than redis you need to bring receipts
https://archive.today/u9joF
Seriously?

> I’d imagine if Apple said “sure, we’ll open up [...email...] to Android devices as part of our Apple One subscription” you’d have people up in arms because Apple was charging for it

and now they can send and receive email from people that don't use Apple Mail! A serious loss :-)

(and don't tell me that spam makes it worth it)
It's probably the largest fraction of javadoc by volume I've seen.
> FrontierMath is a secret dataset of “hundreds” of hard maths questions, curated by Epoch AI, and announced last month.

The database stopped being secret when it was fed to proprietary LLMs running in the cloud. If anyone is not thinking that OpenAI has trained and tuned O3 on the "secret" problems people fed to GPT-4o, I have a bridge to sell you.
The vimeo URL does not work.
Section 3.10 of RFC8620 scares me. I know a lot about that and a lot of the complexity around that trite point is missing.

Note I've designed and built a complex messaging system that runs over HTTP over unreliable connections and run it in production for 15 years so I know what can and does go wrong.

Popcorn at the ready.
Not in American college football, but in German pro soccer, someone shorted the stock of a team and subsequently tried to blow up the team with multiple bombs: https://en.m.wikipedia.org/wiki/Borussia_Dortmund_team_bus_b...
What’s worse about it?

It never tells you the wrong thing, at the very least.
BRIX CRDT database architecture (research)
Musk will say the full self driving is coming by the end of the year. This time for real.
You enable the search functionality.
> There are statements in Presburger arithmetic that take time doubly exponential (or worse) in the size of the statement to reach via any path of the formal system whatsoever.

This is a correct statement about the worst case runtime. What is interesting for practical applications is whether such statements are among those that you are practically interested in.
The real question is: does Apple donate to this nonprofit?
I think current "AI" (i.e. LLMs) is unable to push human knowledge forward, but not because it's constrained by existing human knowledge. It's more like peeking into a very large magic-8 ball, new answers everytime you shake it. Some useful.
There were several Python versions shown at the link and the latter one that I was referring to does not read it all into memory. It loops through each line in only three lines of code, not like 1/4 of a page.

I tried just pasting the code into the window, but never learned how to format HN on mobile. Sorry for the confusion. After the colon there are indents, so 3 separate lines.

with open('testfile.txt') as f:
for line in f:
print(line.strip())
> Until we get major advances in robotics and models designed to control them, true AGI will be nowhere near.

AGI has nothing to do with robotics, if AGI is achieved it will help push robotics and every single scientific field further with progression never seen before, imagine a million AGIs running in parallel focused on a single field.
It may use less sockets but that doesn't necessarily mean less resources. Parsing JSON is expensive, especially when there are binary types interleaved in it.
What do you mean? Async/await uses threads
I think that it is interesting that testing plays such a part in these plans. I guess it shouldn’t be a surprise after so many years of TDD, Clean Code and whatever nonsense the pseudo industry of “best practices” has been successfully selling. Odd on its own considering software seems to be just as broken as it was 20 years ago despite all these efforts. Anyway, if it was me I would look closer at how NASA build things. Which includes testing, but the key tool for finding actual programming errors was assertions.

I’ve worked in medial software for a short while. The key features of development when lives are at stake are, assertions, avoid interpretation and no dynamic memory allocation. You should test things, but your assertions should catch any programming errors without a test/debug suite. You should never use an interpreted language, because that is a head ache you don’t want, but you also shouldn’t parse data like JSON. If you need to send data you send bytecode. You do this because you really don’t want dynamic memory allocation in software that will kill people if it fails.

Now a little anecdote. In Denmark we have digital elections, not the voting but the voter registration and the system where each municipality reports the results. These systems run on COBOL and are ancient. There has been multiple attempts to replace them with “modern” software, because the old system can only be run by one private company and that is a monopoly. This is because we privatised the sector 20ish years ago. Anyway, every attempt at replacing it with modern long term software has failed, and a big part of the reason is because people have forgotten how to write code which isn’t infected with all sorts of OOP bullshit. So even the best suppliers and large companies like IBM have failed to make something with the same resilience. It’ll be interesting to see if we’re also going to infect embedded software with these things as the public sector decides to enter and hand out “best practices”.
Also: "MailMate 2.0 Beta released":
https://blog.freron.com//2024/mailmate-2-0-beta-released/
> If someone breaks into your house do you call the builder for help?

If they constructed and installed the locks, and a weakness in the locks appears to have been the entry point for the break in, then yeah maybe?
Show HN: I made a simple Dropbox clone
I made a simple site that allows you to upload files. It requires no sign up and 100% free.

The biggest advantage is that it returns you the direct URL to your file. So you can use it to store images for MD-based forum posts. Or put in your site's <img src>.

I use the Cloudflare R2 storage which offers zero egress fees. So I pay $0 of transfer costs.

I added a simple anti-nsfw files check and a simple anti-malware check. Please do not try to break it. Thanks! (>‿◠)
Ai has a interior world model thus it can do math if a chain of proof is walking without uncertainty from room to room. the problem is its inability to reflect on its own uncertainty and to then overrife that uncertainty ,should a new room entrance method be selfsimilar to a previous entrance
That's basically my experience. It's great for learning or getting things done when the subject is related to one you know well (i.e. you understand the fundamentals and can verify responses quickly).

It's not so good for a completely new subject, or one you have a lot of experience in.
It all depends on the attack surface/vectors. In some cases, YAGNI. It all comes down to what is more likely to be your biggest PITA: the steady time expense of updating all your deps to accomdate that patched auth lib OR the cost of dealing with whatever breech you're likely to incur is.
Out of Claude and GPT, only Claude asks me questions if it does not fully "know" something, be it the matter at hand or my intentions. I think this is a good way to avoid "hallucinations". GPT just keeps spouting whatever it can.
Thanks!

Our paper [1] is kind of a goofy adversarial thing where we thought "here's this cool metric, how can we break it?". The tokenizers we propose are definitely not tokenizers you should use in practice.

The original paper that proposes the metric is, imo, much more interesting theoretically [2].

[1]: https://aclanthology.org/2024.lrec-main.1469/

[2]: https://aclanthology.org/2023.acl-long.284/
Depends on deployment: Ethernet has more drawbacks encapsulating PCIe packet traffic than Infiniband does, or lack thereof with RDMA.
Then his comment makes even less sense.
The proliferation of AI phones and AI robots gives us capable assistants like JARVIS
I’d really like to know what exactly you are looking for? There is no such thing as “free” and no browser extension will give you something for free. You are paying, one way or the other…
Eventually we may produce a collection of problems exhaustive enough that these tools can solve almost any problem that isn't novel in practice, but I doubt that they will ever become general problem solvers capable of what we consider to be reasoning in humans.

Historically, the claim that neural nets were actual models of the human brain and human thinking was always epistemically dubious. It still is. Even as the practical problems of producing better and better algorithms, architectures, and output have been solved, there is no reason to believe a connection between the mechanical model and what happens in organisms has been established. The most important point, in my view, is that all of the representation and interpretation still has to happen outside the computational units. Without human interpreters, none of the AI outputs have any meaning. Unless you believe in determinism and an overseeing god, the story for human beings is much different. AI will not be capable of reason until, like humans, it can develop socio-rational collectivities of meaning that are independent of the human being.

Researchers seemed to have a decent grasp on this in the 90s, but today, everyone seems all too ready to make the same ridiculous leaps as the original creators of neural nets. They did not show, as they claimed, that thinking is reducible to computation. All they showed was that a neural net can realize a boolean function—which is not even logic, since, again, the entire semantic interpretive side of the logic is ignored.
I agree. I've also been using MailMate for a long time and it's a great app. I hope he will soon implement a "Dark Mode" for e-mail (html) content. It's the one feature i've been missing, and whenever it's dark i switch to Thunderbird + the DarkReader addon.
You have to admit the sea water was way better than any video game today. The rest though, yeah.
So are you saying, some gen Z men are in a relationship, but don't know it? I do buy that, it seems to be the basis of some rom-com plots. The clueless guy that doesn't know he's being reeled in.

Other factor.

As the other post suggested. There are large age gaps. Women date older, men date younger. This is also long known. Does it add up to 60/30? That does seem high, but maybe with every other factor thrown in, it explains it?
Right. If there is training or some other non-Apple/vendor agnostic stuff that has to go on (VPN) or device management they probably don’t want to get involved.
If Israel commits genocide, and US actively supports Israel with weapons, do they imply US is at least supporting genocide in 21 century?
I will try to keep it alive forever.

The only risk I see is people starting to upload bad stuff and Cloudflare shuts down my account. Hopefully, this does not happen.
Yeah, that's Samsung for you, they put all kinds of bloat in their Android version.

That is why you need to do a little bit more research and be a little bit tech savvy for using Android in the proper way.

I would recommend brands like Google Pixel, OnePlus, Sony, Motorola. They don't put much bloat in their Android versions.

But yeah that is the thing with Android, developers have more freedom with it, so also some will use it to make things worse. With Apple you can't do anything; you're just stuck with what the manufacturer provides you and if you don't like it then you are either the CEO of Apple or it's just too bad for you.
I Was a Health Insurance Executive. What I Saw Made Me Quit.
I thought it is, with CSAM.
As far as ChatGPT goes, you may as well be asking: Can AI use a calculator?

The answer is yes, it can utilize a stateful python environment and solve complex mathematical equations with ease.
Debu.gs: Try Inferno Without Installing It
This is unfortunate for Lexmark employees.
https://archive.ph/A10aG
Spun off from IBM to end up at Xerox 30 years later.

I haven't followed Xerox in the last - 20? years, so I don't know how terrible could this be.
It said that AccessNow is really good at intake, and it wouldn’t be good for Apple to be in the business of inspecting so much personal data.

My guess is that if Apple did this themselves, it would be firewalled from most of Apple,
so like AccessNow, so hopefully they help fund AccessNow.
Thanks for sharing that, it sounds like a really interesting approach and this may solve my problem.
I didn't see anyone else ask this but.. isn't the FrontierMath dataset compromised now? At the very least OpenAI now knows the questions if not the answers. I would expect that the next iteration will "magically" get over 80% on the FrontierMath test. I imagine that experiment was pretty closely monitored.
How do you even know what original sources to read?
no, you call the police and your insurance company. the insurance company might enquire with the builders on who's at fault. hope that helps.
I'd say a lot more is going on there conceptually than the Python code. Imagine through the eyes of a beginner. You have some main do thing, then you appear to read it all into memory and assign a variable, then you do a bunch of composition to words and readInt and map it to print?

With the python version, you see the file handle as a variable and then for loop on that iterable and you can print each line or parse it however you want. Even when I was learning to program and had no clue what an iterable object was, there seemed to be an obvious three line idiom for processing text files that was easy to use.
> Logically speaking, if the wavelength that we use for forms of radio communication make it to earth, then we would need to transmit at a higher power to overcome that background noise.

If this were true, GPS wouldn't work. It's entirely possible to communicate below the noise floor. See https://www.pa3fwm.nl/technotes/tn09b.html for a mathematical analysis.
Yes I was referring to this:

https://github.com/TheBlewish/Automated-AI-Web-Researcher-Ol...
I think a lot of comments are missing the point : it’s not about page size.

Today, most book writers are following a template of about 300-pages imposed by their editor, this (non justified) rule sold as a sweet spot is being (blindly?) applied by most authors and seems to be producing books that are unfocused.

What should be understood from the blog article is not that 100-pages books are inherently better, but that books should be written in a more focused way, without the unnecessary ceremony/anecdotes mostly added for the sole purpose of filling the void necessary to reach the « imposed » 300 pages recommendation.
I’m actually impressed by honey. They could have either just sold the user data, or only switched the referral links, or just showed their users the “best” coupons.

But they went for all of it. I’d have wanted to be in the room when the higher ups chose this path.