skysight-inc/HackerNews huggingface dataset:
Ask HN: Best AI Tools for Writing a Math Thesis in LaTeX?
I'm currently writing a mathematics thesis in LaTeX and have been using VS Code with GitHub Copilot for assistance. While Copilot is helpful for generating small snippets and boilerplate code, I feel it lacks the deeper understanding needed for more complex mathematical typesetting and structure.

Are there any AI tools specifically tailored for LaTeX, or perhaps more advanced than Copilot, that can:

Help with complex math typesetting and formatting?
Suggest improvements to document structure?
Provide feedback or automate parts of the writing process, like creating tables of contents, references, or well-structured proofs?
Support working with external papers—for example, summarizing content, extracting references, or integrating relevant ideas into my thesis?
Also, is it possible to integrate VS Code with a more powerful AI system for this purpose? If so, how? I'm curious if there are workflows or tools that could make thesis writing smoother and more productive.

Would love to hear your recommendations and experiences!
Thanks! And yeah I’m familiar with Nelson
And now the father has been "estranged" for over a year he's lost not just the marriage but relationships with all 15 of the kids! Brutal!
More critically, it opens up a huge number of routes for the airlines because the US destination no longer S to be an international airport with a CBP presence.
Start here: https://youtu.be/F_Riqjdh2oM

You don't need to know quantum theory necessarily, but you will need to know some maths. Specifically linear algebra.

There are a few youtube courses on linear algebra

For a casual set of video:
- https://youtube.com/playlist?list=PLZHQObOWTQDPD3MizzM2xVFit...

For a more formal approach:

- https://youtube.com/playlist?list=PL49CF3715CB9EF31D

And the corresponding open courseware

- https://ocw.mit.edu/courses/18-06-linear-algebra-spring-2010...

Linear algebra done right comes highly recommended

- https://linear.axler.net/
Maybe if they behaved properly the government wouldn’t need to monitor them?
Mr liar.

"All my hats are green"

Is lie.

They are sombreros.
Some you borrowed from me.
You have no head!
Yes exactly, my point was that it works the same in English and Dutch. But other comments mentioned how its based on a French paper, where they do place the currency after the amount.
Seriously? Article is about the year long vacation.
There is a course mentioned in the article, but I'm not clear on how "theory" it is.

https://coursera.org/learn/quantum-error-correction
The whole point is you can't just add your own new keys/values/fields.

Most json users are not writing all of the software that both generates and consumes the json.
Paper [1] and home page [2] of the $1 Unistroke Recognizer.

[1] https://www.microsoft.com/en-us/research/wp-content/uploads/...

[2] https://depts.washington.edu/acelab/proj/dollar/index.html
There are so many resources around timbrel construction and manipulation, but never enough about the rhythmic domain. This book being another example.

I've read Godfried Toussaint's book, and looking for more recommendations in this area.

I've been tinkering with a cybernetic folk drumming project, and trying to create rhythms using oscillators, with beats triggered at zero-crossings, so I can build and manipulated patterns in real-time. (demo: https://www.youtube.com/watch?v=yVlgPoTpL94) Results have been interesting, but perhaps not "good" in Toussaint's sense. I'm hoping to find a model that works better. Advice and pointers appreciated.
Thanks, I used the wrong word, I should have meant that she was executed soon after conviction, which is not usually the case in many other countries.
Shame I had to scroll this far to get to this comment. I have absolutely no idea why, in 2024, people still think we should let the government decide what is good/what we can see/what others can say.
Behavior from "iwantmyname" doesn't sound like they deserve your business anymore.
In a few months there will be second hand RPi 500's on sale, presumably in the range of 40/60 $, so that price should be used for comparison against second-hand products, not the price as new.
Could you link the v2?
Except for an order of magnitude, sure. But you're not getting 5x range in ICE cars.
Just checked. It was indeed a lot worse on my more powerful linux desktop than my android phone. Firefox in both cases. Computers are stupid. :D
I feel like this has been here before, glad it's kept up with updates. Will have to give this a shot soon.

From strictly reading the docs, I love these features:

* oauth2
* json output

But do I need to run the "himalaya ..." command every so often to get fresh e-mails? Or can I leave TUI open and it will refresh in the background?

When composing messages, does anybody know if the "From" header can be re-written like in Thunderbird? I am able to send from ad-hoc aliases with my mail server, but need to re-write the "From" header first. For example, I can receive mail sent to "xyst.hn@example.com" and delivered to mailbox at "xyst@example.com". In order to reply with same e-mail address, I must re-write the "From" header to match.
What does Gemini say?
It's a perfectly legit interpretation of what's happening, and many physicists share the same opinion. Of course the big caveat is that you need to interfere those worlds so that they cancel out, which necessarily requires a lower algorithmic bound which prevents you from doing infinite amount of computation in an instant.
Data security okay. But AI? How will that change?
Edit after skimming arxiv preprint[1]:

Yeah, this is pretty huge. They achieved the result with surface codes, which are general ECCs. The repetition code was used to further probe quantum ECC floor. "Just POC" likely doesn't do it justice.

(Original comment):

Also quantum dabbler (coincidentally dabbled in bitflip quantum error correction research). Skimmed the post/research blog. I believe the key point is the scaling of error correction via repetition codes, would love someone else's viewpoint.

Slightly concerning quote[2]:

"""

By running experiments with repetition codes and ignoring other error types, we achieve lower encoded error rates while employing many of the same error correction principles as the surface code. The repetition code acts as an advance scout for checking whether error correction will work all the way down to the near-perfect encoded error rates we’ll ultimately need.

"""

I'm getting the feeling that this is more about proof-of-concept, rather than near-practicality, but this is certainly one fantastic POC if true.

[1]: https://arxiv.org/abs/2408.13687

[2]: https://research.google/blog/making-quantum-error-correction...

Relevant quote from preprint (end of section 1, sorry for copy-paste artifacts):

"""

In this work, we realize surface codes operating below threshold on two superconducting processors. Using a 72-qubit processor, we implement a distance-5 surface code operating with an integrated real-time decoder. In addition, using a 105-qubit processor with similar performance, we realize a distance-7 surface code. These processors demonstrate Λ > 2 up to distance-5 and distance7, respectively. Our distance-5 quantum memories are beyond break-even, with distance-7 preserving quantum information for more than twice as long as its best constituent physical qubit. To identify possible logical error f loors, we also implement high-distance repetition codes on the 72-qubit processor, with error rates that are dominated by correlated error events occurring once an hour. These errors, whose origins are not yet understood, set a current error floor of 10−10. Finally, we show that we can maintain below-threshold operation on the 72qubit processor even when decoding in real time, meeting the strict timing requirements imposed by the processor’s fast 1.1µs cycle duration.

"""
I hope you come out of this in good shape. I try to get all my (digital) TTRPGs and indie games through your platform.
Getting strong vibes of Asimov’s novel "The Gods Themselves" here ! For those who haven’t read it I recommend it. It’s a nice little self-contained book, not a grandiose series and universe, but I love it.
> in typical English you are making an existence statement

No, you're not.
I liked mutt, but this seems promising as well.
> I think during the pandemic they changed the systems to rely heavily on the shape of people’s eyes, because so many people were wearing masks over their noses and mouths. I don’t honestly know how people could realistically change the shape of their eyes to fool these systems.

Eh party contacts maybe? I use those a lot.
> Not at the cost of harming people,

What defines harm? Or more specifically, who?
New York reported an arrest clearance rate of 39% for murders last year, nearer 48% last quarter.
> Do you think this could be because you have so many children?

Four? So many? According to Churchill, four would be the bare minimum.
https://archive.is/4KPM1
The many-worlds interpretation of quantum theory [1] is widely considered unfalsifiable and therefore mostly pseudoscientific. This article is way in over it's head in claiming such nonsense.

[1] https://en.wikipedia.org/wiki/Many-worlds_interpretation
Rapidus and IBM move closer to scaling out 2 nm chip production
Are there any insights that you can give based off the info you've learned about quantum computation that you might not have been able to reach if you hadn't learned about it?

From my __very__ shallow understanding, because all of the efficiency increases are in very specific areas, it might not be useful for the average computer science interested individual?
Weird. We don't ask much of it, but it's worked pretty well for I think 3 seasons now. The app was not impressive, but did work. The "remapping" of lights can be a little wonky, but each time my kids were able to complete the task.

The only nitpick I have is it's paired to only one phone, so we pick one person in our family to "manage" the lights.
A lot of the technology behind EUV is just insane, but it's not like ASML has done so great financially. CMOS process shrinks have been a pretty impressive unicorn. There are various levers but not clear to me what will happen going forward.
Finally, INTERCAL’s COME FROM statement has a practical use.
Here's a Stack Overflow question about it from 15 years ago: https://stackoverflow.com/questions/2025353/is-python-a-weak...

It was an old discussion before then, even. It has nothing to do with advocacy and it's certainly not recent. It's about accuracy so that people stop hearing and then repeating the same incorrect ideas. There's no common definition of types by which Python is untyped, as though it doesn't have types at all when in fact every Python object has a type.
It's not great for blindly generating code to use, but it's great for asking for help -debugging, planning etc. I ask it a lot of 'dumb' questions and I feel like I've learnt a lot more than I have in the past. It's given me code that doesn't work every now and then, but I'm yet to find an instance of it explaining a concept wrong.
I got to "an trainee-ship" and the grammar wouldn't allow me to continue reading

Like, I get it - "an internship" into "a trainee-ship" sounds weird and like it was an actual thing, so "an trainee-ship" to bridge the gap.

But my OCD be burnin ya dig
My feeling is this isn’t just about healthcare. It’s bigger than that. Sure, people have zero sympathy for United Healthcare given high denial rates, likely illegal AI based denials, the breach of subsidiary Change Healthcare where they leaked everyone’s private medical details, the insider trading from the murdered CEO, etc.

But some of these issues aren’t health specific. Like the CEO’s insider trading - wealthy people often get away with financial crimes. And the context of the insider trading is that they were under antitrust investigation from the DOJ but didn’t reveal it to shareholders for months. And before they let the public know these executives sold their shares at a higher price. But the antitrust issue is one of big companies being safe from competition solely due to their size. And now we see massive amounts of resources spent on investigating this single murder when thousands across the country every year get no investigation.

All this highlights a massive unified appetite (across the political spectrum) to create a fair system for everyone, to bring megacorps under control, to treat different citizens equally. And that’s bigger than healthcare.
They are, but I have a cron job that fetches my email every 5 minutes. No need to keep a tab open, or do the auth routine again and again. And I used to put an indicator in my status bar displaying the unread count. There’s a whole world of integration when you just dig a bit deeper.
I was ignorant, but now am enlightened. I was tempted to use Nazgul instead of Sauron and realize I should have now.
Do you have anyone in Italy I could speak to on this topic?
Rust is in my opinion probably the best language so far for audio/music infrastructure. So for me personally, I would not consider another language for this type of work. But I am definitely not saying that Rust is suitable for any job.
This is an Alex Bellos puzzle, which I’ve learned through experience to ignore. The terms are always so loosely defined that any solution you come up with is a gamble at best.
It's really important to note that the error correction test and the random circuit test are separate tests.

The error correction is producing a single logical qubit of quantum memory, i.e. a single qubit with no gates applied to it.

Meanwhile, the random circuit sampling uses physical qubits with no error correction, and is used as a good benchmark in part because it can prove "quantumness" even in the presence of noise.[1]

[1] https://research.google/blog/validating-random-circuit-sampl...
How Does Ollama's New Structured Outputs Work?
(Yes; but, the post is about fructose.)
Social Media as a Test of Human-in-the-Loop Generative AI
Fair enough - perhaps I should have said it was inspired by Javascript literal syntax and simplified to make it a platform independent data exchange format and not a application configuration format. Though I can see how the latter is tempting if your application is in JS.
It’s not that common for one to stick. But it is common for people to bitch about using them a lot more than average for tools.
This would set off major red flags, and I would run, not walk away, and raise awareness. So what's the company name so everyone can avoid it?
You don't even have to get to the point where you're reading a post off Scott Aaronson's blog[1] at all; his headline says "If you take nothing else from this blog: quantum computers won't solve hard problems instantly by just trying all solutions in parallel."

[1]: https://scottaaronson.blog/
> There are so many articles which have 'interesting' clickbaity headlines

Sure. But there are many good ones too. Not just random ones, but take FT or Economist. Several times a month I see a headline I'm interested in, and I do trust them to not bait-and-switch the article. Maybe I'd read it and conclude it was not worth it, but that's not the same thing.

But they both want to sign me up for a subscription. No. I'll pay $1 to read this article if and only if this is the end of the interaction.

So I end up paying them nothing, and not reading the article. (or someone with a subscription copy-pastes the content for me)

> If they don't get that, and are too stupid to push for that, with all their journalistic force and might

Maybe they're stupid. Maybe "I'm not the typical user". Maybe it's just not feasible for FT/Economist alone to implement what I'm asking for, because the micro payment infrastructure doesn't exist.
All of these companies are founded/funded by peter thiel.
Matt Levine has recently written a humorous-yet-thorough article on this exact issue: https://www.bloomberg.com/opinion/articles/2024-12-02/texas-...
Thanks. Censor – it's hard to say what's happening because it's not even carried through in the transcription, but the agent will say one word at the start of a natural sentence and then stop talking. Seems to only happen with Gemini.
I think it's a cultural thing. People like to think of a language for the build system as a little language that somehow doesn't "deserve" a type system. And even they do think a type system is necessary, they think such a language doesn't "deserve" a complicated type system (say Java-like with subtyping and generics) which makes that type system less useful.

I'm curious, what kind of type system does BUSY use?
For home (mini) server use cases, cheap/unbranded x86 SBCs are also my favorites, especially because they can be easily expanded (I've put two disks for reliability).

Also, at least until some time ago, ARM compatibility was not always guaranteed by open source projects (I think nowadays it became ubiquitous).
I agree and don't think you should be downvoted for this opinion. With only one side of the story it's impossible to draw any conclusions yet.

Of course there is usually a bit of a chicken and egg issue with this sort of thing. Many companies only respond at all when complaints go viral on sites such as hn.
I think Rob Pike didn't mean brilliant as a complete compliment here. It was more an indictment on astronaut engineering of languages rather then engineers. He is literally the designer of Go and likes to program in it.
Google could put themselves and everyone else out of business if the algorithms that underpin our ability to do e-commerce and financial transactions can be defeated.

Goodbye not just to Bitcoin, but also Visa, Stripe, Amazon shopping, ...
You cannot have a conversation when you're trying to get rid of or reform a system worth $14,500,000,000,000 and the people through whose hands those fourteen trillion five hundred billion dollars are passing skim a bit off the top to buy off (sorry, "support") politicians.

The only option is Medicare for All, with decades of it slowly chipping away at private insurance and surviving endless challenges by the combined might of the insurance, pharmaceutical, banking, private equity, and medical device manufacturer industries who are willing to spend trillions of dollars and fight endlessly to protect their revenue streams-- so that's a long shot, to say the least.

edit: also, all of the people running the industries with which we need to have "a conversation" are narcissists and/or sociopaths who would kill, dehydrate, and grind up the general public for resale to the masses as protein powder if they could get away with it.
That's impressive.

But perhaps this thing is even more impressive: https://redbean.dev/

It's a single-file webserver that is also a zip file, and that's also a multi-platform executable (that's right, you can run the same file on Windows, Linux, BSDs, MacOS and more). It even includes a Lua interpreter, SQLiteDB, JSON etc.

And it's so fast it's unbelievable.

Version 2.2 was only 2.2MB , but looks like version 3.0 has grown to 5.5MB, not sure what happened!
The arguments presented here would also lead someone to not use JSON for data interchange.

If specifying the schema is important then why not an interchange format with strict schema enforcement like XML?

If minimal feature sets to avoid abuse are so important, then why not a binary format like protobufs which also have strict schema dictates?

And if interoperability is important then why not ditch REST/JSON all together and instead favor SOAP which strictly defines how interoperability works?

That's why I don't buy the "comments might be abused" argument. JSON doesn't have a single problem domain and it's not the only solution in town.
New KOSA, Same as Old KOSA, but Now with Elon's Ignorant Endorsement
> "we in the UK value the balance between individual rights and collective societal rights more strongly than you do"

isn't this also the place where you can go to jail for what you say online? orwell's probably rolling in his grave somewhere in London
Palantir is evil enough as it is. Making a Skynet wouldn't be the worst thing they do.
have used it at 2 different enterprises internally, the issue is price more than anything. enterprises definitely do want to self host, but for frontier tech they want frontier models for solving complicated unsolved problems or building efficiencies in complicated workflows. one company had to rip it out for a time due to price, I no longer work there anymore though so can't speak on if it was reintegrated.
In the same way people believe P != NP, most quantum computing people believe BQP != NP, and NP-complete problems will still take exponential time on quantum computers. But if we had access to arbitrary parallel universes then presumably that shouldn't be an issue.

The success on the random (quantum) circuit problem is really a valdiation of Feynman's idea, not Deutsch: classical computers need 2^n bits to simulate n qubits, so we will need quantum computers to efficiently simulate quantum phenomena.
Would you agree with the following proposition: “if all of my unicorns fly, then some of my unicorns fly”?
Well when you host a kids party at your home you now have to bring food and clean up. And chuck e cheese can handle a lot more screaming children than your home ever could.
It also breaks a fundamental law of quantum theory, that the bigger a system in a quantum state is, the faster it collapses, exponentially so. Which should at least tell you to take Google's announcement with z grain of salt.
Seems plausible, though I still think the US threatening to do that, let alone actually doing that, is more likely to cause a separation between the US and UK than to be taken seriously (in the sense of getting the UK to change course).

The UK did just go through having Boris Johnson as Prime Minister, after all, who spent his time in office demonstrating that being completely shameless is a viable solution to almost all blackmail — he only fell when there were photos of him partying in the same period he was on TV telling people they couldn't do that or visit dying relatives because COVID lockdown, everything else wrong was basically ignored.
Top Video Testimonial Software [Complete Guide]
YesMadam did an employee survey on stress, then fired the stressed employees
Maybe "hopefully" isn't the right word.

My point is that not everyone who understands barber paradox (in plain english) has to understand formal logic, and not everyone who understands formal logic has to become a mathematician. However I still believe the existing of the plain english puzzle is a net positive for humanity's collective mathematical comprehension.
There was literally an apology, a douchebag backhanded false one, but still acknowledged explicitly that there was a thing he knew everyone would want, and knew it would "make some people sad".

Comments are not some weird thing one person wants for their weird reason that no one else needs to care about. It's like leaving out a letter from the alphabet.
> There's no common definition of types by which Python is untyped

You mean besides the one used by every programming languages researcher and hobbyist? Sure, you can define "common" to exclude them, but I would give at least some credence to the definitions put forward by the teams of people who invent type theory.

As I've said here and elsewhere, I have no problem with people casually using "dynamically typed" as a term—I do so as well. But there's no cause to correct someone for using the more correct terminology.

If hearing it makes you feel defensive of python, that implies that you perceive "untyped" as a pejorative that needs defending against. In that case, your efforts would be better spent correcting the evolving consensus that (statically) typed is better than they would be spent trying to shout people down for using the academic definitions of typed and untyped.
Just a book selling ad

Moving on
Are... are we the baddies?!