skysight-inc/HackerNews huggingface dataset:
A further example, TeXview.app was a very nice interface for editing TeX documents on NeXTstep, and has since been succeeded by TeXshop.app on Mac OS X and arguably even surpassed (it has many more features, and I can't recall any which are missing).

Graphical/integrated .tex editing environments are a frequently encountered application type, and there seems to be at least one for pretty much every programming environment --- I'm not aware of a graphical which has feature parity with TeXview.app and which is similarly consistent with its interface (it did win an Apple Design Award back in the day) --- if that's the case, then how can it be that developing with InterfaceBuilder and Objective-C and the NS-objects was so bad? If that's not the case, what development platform would you like to put forward which should have an even better TeX environment?
I remember checking with and calling an amazon rep on the phone - he assured me I could use one of the "heavier" graphic card instances and would only be charged per minute usage at the rates shown.

I ran it for 1 minute expecting to be paying the $5 or whatever it was per minute and was charged around $100 for it to "boot up". Cancelled it. Never trusted amazon billing again = (

Bezos keeps waxing lyrical in all his interviews on how he "tests" his company services by calling them on the phone to make sure the SLAs or whatever are accurate. But they aren't. TBH I was kind of confused how proud he was that it took 10 mins to get through to someone on the phone instead of 1 minute or something, on how they noticed it and had to "rearrange" things. Like wtf, I would have fired ALL of my executive below me if such an egregious false advertising existed.
It can't be that bloody hard as one of the richest people on the planet to just pay some dude $5 an hour to make sure services are billed as expected, run as expected.

I am sorry to complain, I know they have all done great jobs, but it makes me wonder whether I would be "out of touch" if I was ever in a C-suite role. From what I see around me, I definately would be. But maybe those margins don't matter?

I honestly am confused after decades in IT why management is never held responsible. If I ran a company mgmt would be the FIRST to be fired if there were any issues. I swear I read a comment on HN once from a manager saying why should they be held responsible if there is a fuck up lower down the chain, I was like wtf, the whole point of being a manager is to be RESPONSIBLE. Management isnt a luxury "earn the big bucks" because Im better than everyone else, and thus should be protected.

The easiest way to diagnose this as a CEO is to see how often MGMT have been let go at different tiers, and if there havent been any, well there must be a form of corruption / nepotism occuring.

Been burnt as a "small" entrepeneur by all of the greats, Google ( shutting down my instance when it went viral because I decided to upgrade the hosting which for some unknown reason mean it had to be shutdown WITHOUT warning for 24 hours, possibly to transfer it or something god knows. AWS etc.

I know it might seem like a small gripe, but as a millionaire now I remember how I was treated by these companies.

Maybe I should just be grateful I could use them at all.

I think I'm just saying its crazy how the "low" b2b customer is treated when it would be so cheap to just make sure these collosal fuck ups don't happen.
What if you like your work and you want to exercise/boost your VO2/stay healthy?

What if it's dark and rainy outside where you live for quite a few months per year?

What if you want to write a book while biking?
All bark, no bite? Musk's DOGE unlikely to have any real power
I don't follow gwern's work closely.

But I do know he created an enormous dataset of anime images used to train machine learning and generative AI models [1]. Hosting large datasets is moderately expensive - and it's full of NSFW stuff, so he's probably not having his employer or his college host it. Easy for someone on a six-figure salary, difficult for a person on $12k/year.

Also, I thought these lesswrong folks were all about "effective altruism" and "earning to give" and that stuff.

[1] https://gwern.net/danbooru2021
So far, all tests of the strand tangle model are positive. It agrees with all of textbook physics.

By the way, I offer an invitation to dinner to everybody who has a good argument for or against the theory of everything presented in the text.
> sacrificing their entire user base's privacy for.

I keep asking what the privacy issue is in anonymous usage statistics, but there are never any answers. Remember: The "anonymous" in "anonymous usage statistics" means there can't be a privacy issue. Then it's not anonymous any more! You could think of it as for example, sending only the program version in, and the only stored data is how many sessions are run of each version, every month. So you could know "is it reasonable to deprecate version 1.0 and only support 2.0?". What exactly is it that you think is an invasion of privacy here? The fact that it makes http requests?

> They will be just fine without any metrics at all.

Most who added telemetry has a time from before metrics and a time after. And I imagine very few would want to go back. It's driving blind. You can't simply "ask your users". They don't know whether they use Ctrl+C or use Copy on the context menu. And if you ask them, you find that they think they did one thing when in reality they didn't. Knowing what they actually do instead of what they think they do or say they do is invaluable. And luckily at least in enterprise, users are pretty happy to supply this, but it's definitely based on a trust that already needs to exist between seller and customer.
Neither did University, for me.

I just liked learning as far back as my memories go, so I've been jumping into researching topics because I wanted to know things.

Universe just gave me course materials, homework, and a lot of free time.

Jobs took up a lot of time, but didn't make learning meaninfgully different than it always has been for me.
Thanks for providing that context, which obviously completely changes the story. How that got left out by others is a mystery to me.
Asda security chief replaced, retailer sheds jobs during Walmart tech divorce
By the way, not knowing the history of the reality thing I looked it up - it came from a Colbert joke about W Bush's popularity https://youtu.be/UwLjK9LFpeo
To me? Yes but very little. So little that for weeks I don’t even look at it. It’s the representative second browser which I install on a new machine or fresh (desktop; which sadly has been just mac of late) OS install mostly out of habit since college. Then I use it when I have to open a website that, once in a while refuses to open in Safari (which incidentally has been happening more often lately).

The thing is Firefox (and Mozilla) became very off putting. They did things which weren’t exemplary or ideal - yes, when you are Firefox your very existence in my books is based off the premise of you trying to be ideal (because if you are not there really are good and better alternatives) - and they kept doing it, still do.

Had I not been on the Internet long enough I would have assumed Firefox still generally matters just seeing comments online just like a lot of folks assumed this US election result was to be a landslide (in opposite direction) from Reddit alone :)
Does any commercial version of this exist? Using an existing tablet makes the DIY aspect a little less but then you have to roll your own site as well.
> Very close to FAANG senior salary

Base salary maybe. But more like ~40% of FAANG TC. (Which only furthers your point)
Even when ROS started, we already knew a lot of better ways to build software.

The problem is the primary ROS contributor was/is a hybrid robotics engineer + software developer, which meant their colleagues were more likely of "closed, vendor firmware toolchains are normal" et al. norms, which meant their community hadn't internalized a lot of those solutions.

And this isn't to bash different types of devs -- god knows even leading edge software practices have all kinds of gaps -- but is to say that few people can be 100% in multiple hard things, all at once.
To my understanding yes. But I never found a good use-case for sentiment classification.
They’re not mutually exclusive. Most of the large performance improvements are from .NET, the runtime and compilers. They’re not related to C#.
Contracts are widely used in the form of asserts throughout many codebases and are generally seen as improving code quality and enabling more efficient designs.

Even something like accessing an element in an array is subject to the contract that the index is less than the size.
For many specialized tasks you can run BERTs (and simpler models in general) at scale, with lower latency, at lesser cost, with similar or even better results.
I get a modal that requires me to sign in or make an account, can't seem to bypass that. But I just installed the self-hosted version, it seems to be very heavily notion inspired (as in it seems like the css is just a copy paste with the same icons and general look/feel)
Looks like they've launched this in India too - it's called bazaar here.
AI isn't the problem (yet, at least), the people controlling the AI are the problem.

I'm not sure what tricks were used to get this response, probably some kind of RAG hack, but I'm sure it comes from other humans.
The "embarrassingly simple inference technique" is to put a bunch of [MASK] tokens at the end of the prompt.

I'm having trouble understanding whether this paper is saying anything new. The original BERT paper already compared it favourably to causal models including GPT. Was there any doubt that BERT-style models could be in-context learners?

From what I gather as a non-expert, the problem with BERT is scaling/training efficiency: GPT gets C-1 training examples out of a training input of length C, but BERT only gets 0.15*C examples. Indeed, the author points out that DeBERTa required 3x more compute than GPT-3 to achieve the level of performance reported, which makes sense.
I'm not sure I agree about the data manifolds being too rigid. When we look at the quality score-based generative models and diffusion we can see a clear evidence of how flexible these representations are. We could say the same about statistical manifolds, but the fact that the Fisher is the fundamental metric tensor for the statistical manifold is a fundamental piece of many 1st and 2nd order optimizers today.
> something that wasn't practical before assisted coding

It still isn't practical if you read more code than you write, unless you also use a LLM to summarize the code for you.
How Many Waymo, Cruise Driverless Cars Have Crashed
All of its creepy tbh not just that excerpt

Guy needs to stop socialising before someone works out how weak he is and takes advantage somehow
Nearly 1000 Plugins Closed During WordPress Security Cleanup
Now I definitely feel glad that I decided on moving back to Debian for servers.
I'm in, can we crowdfund something like this?

If eInk wasn't a monopoly this would be 100% a project I'd love to do
That sounds so fucking cool. I would love to experience a club like that. Just take a little playstation break from the dancefloor lol
Linux has introduced the Pressure Stall Information[1] which completely replaced the classic cpu/mem percentage metrics for me. With PSI you see upfront where the bottleneck is. And it inherently accounts for factors like cpu frequency regulation or the disk cache.

The PSI data also has a value (total=) that is not averaged, so you can now see cpu jitter and spikes.

[1] https://docs.kernel.org/accounting/psi.html
They’re trying to pick up some whales and take them back in their ship.
Don’t forget your investors and your board.
In this case, there isn't much substance to engage with . The original argument made in passing in an interview covering a range of subjects is essentially [answering your question which presupposes that AI takes over all jobs] I think it'll be bottom up because [in my opinion] being a visionary CEO is the hardest thing to automate

The fact that similar, often more detailed assertions of the imminent disappearance of work has been a consistent trope since the beginning of the Industrial Revolution (as acknowledged in literally the next question in the interview, complete with an interestingly wrong example) and we've actually ended up with more jobs seems far more like a relevant counterargument than ad hominem tu quoque...
This isn't working cutting into exercise time. It's getting more out of your working time.
If I'm competitively training could be looking at 2 hours of aerobic base exercise a day. If I can do this whilst working - allows me to enjoy my evenings with my partner
Algo Traders Club Adds TypeScript Support for DeFi Development
Algo Traders Club: TypeScript joins Python and Rust for full-stack DeFi development on Solana. Discusses advantages of language-specific strengths - TypeScript for cross-stack type safety and UI, Python for data/ML, Rust for on-chain performance. Argues for pragmatic language choices in DeFi: using TypeScript's native Solana SDK integration + UI capabilities for hackathons, Python for analysis/ML, Rust for high-performance contracts. No ideological language wars, just tools for jobs. Includes practical comparisons and implementation resources.
Relevant for builders interested in:

DeFi infrastructure
Modern trading systems
Cross-language system design
Solana development
Hackathon strategies
With AI you need to think, long and hard, about the concept (borrowed from cryptography), "Today, the state of the art in is the worst it will ever be".

Humanity is pinning its future on the thought that we will hit intractable information-theoretic limitations which provide some sort of diminishing returns on performance before a hard takeoff, but the idea that the currently demonstrated methods are high up on some sigmoid curve does not seem at this point credible. AI models are dramatically higher performance this year than last year, and were dramatically better last year than the year before, and will probably continue to get better for the next few years.

That's sufficient to dramatically change a lot of social & economic processes, for better and for worse.
All the vulnerabilities will be published here: https://patchstack.com/database/
Would love to see a version of Tails running in the browser!
It's not a huge deal but the name "DeepL Voice" makes it sound more like an AI voice translation and dubbing tool.
My company, http://www.mosaic51.com, has been doing this for about 6 years now. I have been deeply involved in 360º imaging for over 20 years.

We are making the shovels for the AI gold miners now. You all need data. We can make that visual training data.

Let's build a large spatial model together? Hit me up!
This will come across as vituperative and I guess it is a bit but I've interacted with Gwern on this forum and the interaction that has stuck to me is in this thread, where Gwern mistakes a^nb^n as a regular (but not context-free) language (and calls my comment "not even wrong"):

https://news.ycombinator.com/item?id=21559620

Again I'm sorry for the negativity, but already at the time Gwern was held up by a certain, large, section of the community as an important influencer in AI. For me that's just a great example of how basically the vast majority of AI influencers (who vie for influence on social media, rather than research) are basically clueless about AI and CS and only have second-hand knowledge, which I guess they're good at organising and popularising, but not more than that. It's easy to be a cheer leader for the mainstream view on AI. The hard part is finding, and following, unique directions.

With apologies again for the negative slant of the comment.
Note that, while this is definitely crazy, it's rare in practice if you avoid gluing a bunch of magic literals together using operators, which I already avoided as a habit. I've never encountered the exploding-compile-time issue once while writing production Swift, which I have done almost every day for a decade.

WITH THE EXCEPTION OF SWIFTUI, which relies entirely on inferring highly nested generic types, and stands out as a uniquely problematic Swift framework for that and other reasons. I don't use SwiftUI.
> $5k/month is $60k/year — I am not myself comfortable with the unlimited personal liability risk that brings without a company.

Yeah, here that's not such a problem; I wouldn't do a LLC at all if it would not really help with selling it.
Because I don't know PHP, so that would be a terrible choice for me.

But if that's what you're productive in, I'd say, absolutely!
I understand. My girlfriend lives in LA, lot of shady people out in the streets during the daytime, too.

I do not see how following her every step would help her though.

We are usually in a call whenever she is outside, but I feel like even this is futile were anything bad to happen.
Why does anyone have to cater to Person A? Frankly if people can work where they want to work that’s fine, but you’re saying that because one person wants to be in office their entire team does too?
I can't say for en <-> de, I can read both without problem. But for Japanese DeepL is much better, often times the tone from gpt4 are little bit "rude"/direct or "weird" in en to jp, deepl is as good as an example sentence they would put into a textbook. For jp to en, most gpt4 or any llm is much superior, because you can ask follow up questions on certain slangs, or anything that's not very clear.
I asked for system prompts, it started to answer but then it glitched. It continued with some "system prompt" (probably all hallucinations) and insisted there was no other system or user prompt (but even if there was it may now not be available to it so this does not say much).

In the end I also tested the edit option on gemini's response using another prompt, but it mentions in the shared document that it has been altered, so it should not be that either.

https://g.co/gemini/share/a17f0fe28f4d
That works in reverse too. While I am in awe of what humanity already achieved - when I read fictional timelines of fictional worlds (Middle-Earth or Westeros/Essos) I am wondering how getting frozen in medieval like time is even possible. Like, what are they _doing_?
The author is simply unskilled and lacks critical knowledge.
It speaks to a company having a successful exit which most would deem a massive success
I forgot about fishing nets, yes that's a deadly hazard too. Sometimes fishing lines get cut off by mistake, fishing nets get shredded after a storm, accidents happen. Sometimes also fishermen don't care and just throw away an old net in the sea.

However, there was a famous picture of a bird which has supposedly eaten a lot of plastic and died, and Patrick Moore has repeatedly stated that this was a fake picture. He also said that plastic doesn't kill birds at all.

The paper about birds, also doesn't state anywhere that plastic has killed any bird. Plastic may be poisoning some species, upsetting their breeding cycle, but the same could be true for humans. If we use plastic and it is poisoning us, but in addition to that it's poisoning some animals, then poisoning animals doesn't sound like a good reason to stop using it.

The young sperm whale which died is also pretty strange. It is not a filter feeder and we haven't heard since, new dead whales with tens of kilograms of plastic in their belly. Whales which were closely related to wolves before they became aquatic mammals, should have a sense of smell and figure out what stuff in the sea is edible. They are also pretty smart, even more so than birds.

I cannot open the paper about coral reefs, but i also haven't seen a coral reef in my life. I haven't seen whales either, but i have seen and swam around dolphins and seals.

>We don’t know the full extent. Most animals that die at see are never seen let alone autopsied.

There is a way to find out. Captive dolphins exist. Throw some plastics around and see if dolphins eat it. Take some captive seagulls for some weeks, feed them some fish, and throw around their food, plastic bottle caps etc. See if the seagulls will eat it. Do they eat as much plastic as they can and die afterwards?
> Maybe come back in 10 yrs time and see if you still think this? ;)

No, I don't care about proving things to you
Really nice project. One idea for “if we fail to take down a message that no longer applies, it confuses her.” Put a start and end date/time on messages and implement in the board. That way you can pre schedule them and have them fall off automatically.
Smarter dogs have smaller brains, surprising study reveals
Ask HN: What do you think about CSV to Postgres?
Hey HN,

What do you guys think of CSV spreadsheets to Postgres DB? Most brick and mortar companies have their data in CSV file. They might not have the expertise to spin up AWS RDS DB or other complicated setups. Do you think a cloud hosted Postgres + an option to convert their CSV files to tables on Postgres would be useful?

Is it possible? Has this been done before? Is it something that you would be willing to pay for? What could be some pros and cons?

Please discuss your thoughts.
Again, my comment is not about AI, it is about the faulty construction of the argument in the sentence I quoted. X and Y could be anything, that is not my point.
I'd assume the authors were aware of it, given that the original set of proposals from 2004-2006 directly compares facilities in D and Eiffel. Plus, you know, andrei.

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n19...
I do!

In the article, I mostly mean working with LLMs inside the applications I'm building, as opposed to as a tool as part of development. But I do both.

Right now, I'm trying out Zed, which supports multiple LLMs natively. Just today, I tried Zed + Ollama + Qwen 2.5 Coder 32B running locally, and it worked! Blows my mind that I can have GPT-4o-level assistance running on my laptop. :D
Green being perceptibly (perceptually?) brighter to humans than Red and Blue — perhaps you need to dial down the levels when displaying it.
This doesn't actually affect anything if you're accepting Tailscale SRs. The conflict the article states is accepting a route advertised by Tailscale for their local network (the SR route) while on the local network (same network as the SR route). This forces all traffic through the wireguard interface, then it's routed to the SR and then back out because the interface metric is better than the hardware because of the link speed advertised. This is the root of the bandwidth issue.

The "Allow local network access" is an IP filter that's put into place or not.
It's more like asking for mandatory seatbelts in a world where most people are completely immune to any kind of car crash and will not get so much as a scratch from any kind of collision.
Yeah, so my entries under ~/projects are 'new' until $5k/mo, so that works.
Actually I am not a big fan of Golang, even criticized its design decisions in the past, but I know it as one example of "newer" languages, that have some adoption.
I sometimes feel that my own lifetime is a type of non-escapable.
have you tried fly.io?
I played around with this a bit. Doesn’t work amazing on my iPhone model (SE 3rd gen), but it’s pretty cool. I don’t think there’s an API to use it in apps yet, but I would love to make an eye controlled mobile game.
Show HN: My website to find remote work in Spain
I was thinking the other days; what's the biggest and the easiest market to enter and start winning money directly and found out, It's the job market. There way too much money in this market and choosing the correct niche in it might help you start a simple business that wins ton of money.

That's how I came up with my project RemoteInSpain. There are tons of people who wants to work in remote and in spain is not an exception. So I created my website after some research and I have already 100 visits per day and the website is just 2 days old.

Talk about a jackpot
Web authoring tasks you'd think should be easy but are surprisingly hard