skysight-inc/HackerNews huggingface dataset:
The article lost me somewhere. Long intro and than just assuming too much.

That's just possible due to nix being more granular? Is that right?

Can I really build nix from 5 years ago? No src gone? No cache server gone? Nothing?

I mean yeah Ubuntu as a base is shitty.
Let me put it this way, then: having used a Vision Pro for two weeks (I bought one and returned it) I would gladly take a greater field of view in exchange for a slightly lower pixel density, and it would be a very easy decision.

I had some major issues with the Vision Pro, but pixel density was not one of them.
I had a similar idea but what happens when you stumble upon code, equations, tables, graphs etc.? Can LLM understand that as well?

For example; you are listening to the paper with some text2speech model and then it stumbles open code snippet or table or graph....what should happen next? Should model skip it or prompt you to look at the graph or table or whatever. Or should you write some software that tries to interpret graphs and other non-text content.
I guess that's a relevant point. He might be able to buy a pardon or clemency.
What I haven’t seen discussed here much is optimising for developer maintenance. I think the author’s solution is great for this; it’s easy to understand and each move has a bit pattern. Easy to debug. Somebody taking over in the future will understand this compression.

If on the other hand you can squeeze another 10% storage from Huffman encoded inverse tree lookup tables that only neckbeards understand, you’re limiting your pool of people able to do maintenance on this system in the future when the author is long gone.
I think Mercedes built expensive humanoid body doubles in Gibson’s “The Peripheral”? Gonna be interested to see if his predictions come true again
I have nothing to add other than saying that Physicists and Philosophers often make better programmers than Computer Scientists. :)
I hate windows as much as the herd, but OS choice isn't always as clean as "better or worse".

I need to run Windows in some form for various industry specific needs that a VM or emulation simply cannot meet at the moment. I don't like it, but that isn't going to change the state of things.

It's a delight to be able to choose what and where you work with, but it's not the reality a lot of us have to deal with.
Staying employed is one half of it, but the other half is periodically landing a new job. I think most software developers would agree that companies often have frustrating mismatches between what a candidate needs to get hired versus what an employee needs to be productive.

All this job-title/promotion/levels stuff is another kind of mismatch. So a future company you would enjoy working for could still have a hiring process which looks for the stuff you dislike.
Show HN: Design flowcharts and diagrams in seconds with AI
It's real! Kiva Systems built the roomba part that can raise a shelf above them and drive it around (https://www.youtube.com/watch?v=HSA5Bq-1fU4). Amazon bought them.
Semiconductor Insiders Discuss the Ambitions and Realities of the CHIPS Act
> but this is never learned permanently.

Are you sure? I think "Open"AI uses the chat transcripts to help the next training run?

> they are doomed to only learn what they were pre-trained with

Fine-tuning.

> The training data for this does not exist

What does "this" refer to? Have you read the Voyager paper? (https://arxiv.org/abs/2305.16291) Any lesson learnt in the library could be used for fine-tuning or the next training run for a base model.

> what would be needed would be the inner thoughts (predictions) of developers as they tackled a variety of tasks and were presented with various outcomes (feedback) continuously throughout the software development cycle

Co-pilot gets to watch people figure stuff out - there's no reason that couldn't be used for the next version. Not only does it not need to read minds, but people go out of their way to write comments or chat messages to tell it what they think is going on and how to improve its code.

> Days of human experience would take years to acquire

And once learnt, that skill will never age, never get bored, never take annual leave, never go to the kids' football games, never die. It can be replicated as many millions of time as necessary.

> they could train it to write crud apps

To be fair, a lot of computer code is crud apps. But instead of learning it in one language, now it can do it in every language that existed on stackoverflow the day before its training run.
Think about the diversity of Europe.

Now consider that the United States is a roughly similar size, both in land mass and population.

You'll find a lot of diversity, even if the language is the same.
The BYD Seal AWD is not four-wheel drive
Quick translation of the summary:

The BYD Seal in all-wheel drive version turns out to have substandard four-wheel drive. In our test, two different examples of the Seal AWD drive only on the rear wheels. The front wheels never intervene to take the car out of the situation.

The test car's rear-wheel drive behaviour makes us doubt whether we have got the right car. Perhaps it is the entry-level model BYD Seal Design with rear-wheel drive we have borrowed from Hedin Bil? But no, according to the registration certificate, the test car should drive on both axles and when we look into the front wheel arches we see drive axles there too.

On a snow-covered and slippery slope in Sälen, however, it does not drive with the front wheels and when we test the system on zero-friction rollers on the slope of the editorial garage with an eight-degree slope, it behaves the same way: rear-wheel drive.
It is far, far easier to just carry a small phial or swab of cordite residues and copper fines that you then apply to the back of the hand between thumb and forefinger, where swabs are taken. No screwing around.
> Here is an application written with golang, decompiled with IDA 8.3 Pro, we can see that IDA not only restores all the function names, but also restores the business code with good readability.

> And this program has used -ldflags "-s -w" to remove the debug information and symbol information when compiling, which shows that if no processing is done for the program written in golang, there will be no secrets at all.

Though perhaps those flags were just not effective. Maybe Go places it's own stuff after the user-specified flags, or maybe they're only used in cgo mode?

Edit: https://words.filippo.io/shrink-your-go-binaries-with-this-o...

It retains the symbols needed to format stack traces, so most symbols remain. So go-link's "-s" is rather different from how normal linkers interpret "-s" (don't link symbols or debug information, functionally equivalent to strip(1)).
He means a materialized view, I believe.
There's no way the prompt actually works, though. LLMs are not able to reliably "preserve the overall meaning" of things unless they're doing direct technical translation. The problem is going to be even worse with original research, because the LLM will try to summarize according to old ideas from blog posts / etc in its training data, and not the new ideas in the original research. In general document summarization is one of the worst use cases for LLMs, both in terms of its reliability and the difficulty of finding errors - how would you know without reading the paper? I would be surprised if this prompt worked on a single honest[1] paper that was written after the LLM was pretrained.

The bit about translating LaTeX expressions into human-comprehensible math sentences is interesting and AFAIK should work on something like GPT-4. But that's just a case of technical translation. GPT-4 definitely cannot "rephrase the overall paper... simplifying along the way." GPT-4 can't even summarize corporate reports without screwing up facts and figures - why on earth would you try to use it to summarize new scientific research?

Stuff like this is why I'm so concerned about LLMs: this prompt doesn't work, and people
using AI for this stuff is just automating ignorance. Very frustrating.

[1] I say "honest" because this prompt would probably do ok on stuff coming out of a paper mill - the problem is carefully stated original ideas. GPT tears original ideas to shreds.
Sorry, I stopped being a "citations needed" responder a while ago. You can google for it pretty easily. TLDR, Lewis has been very friendly with everyone he writes about. Whether it's SBF or Tuohys from The Blind Side, he's shown a lack of objectivity, to put it mildly.
Detroit deserves much more in its failed financial state to be made héritage of like anything… Urban heritage man, re u joking. Sadly no bright future for Detroit for the time being…
More than one is easy: put it behind a load balancer. Put one ollama in one container or one port.
> if the mods band together

I think you're over-estimating how singular the mod community is. They can only impact their own subreddit, and even at worst, if the top ten subreddits did collude somehow - which is, fine, possible if not probable - that still leaves a wild long tail of Reddit content which is arguably a much better place to put ads than r/pics or r/amitheasshole.

I used to moderate three subreddits, one of them on a pretty serious basis. We couldn't even fucking get the mods of that community to "band together" on anything.
I think there are a lot of smaller companies that can build to standards, and then they either exceed their original vision or things explode to the point where they feel they need to move faster.

I love my Apple Watch (on my second one now) and I didn't like wearing watches. Except the Pebble that I bought (I think that I got the first generation Pebble colour, but it's been a while). After that product, things went sideways for Pebble for a lot of reasons. But the initial products were great and the build quality was good (not great, but good). The same applies to the first few generations of the Palm Pilot (and to a lesser degree, the Treo), although I think that the best PalmOS device built was the Clié NX70.

With respect to Apple's break even…I suspect that the research they did is going to produce benefits across all of Apple's product lines for the better part of the next decade (part of it already has, with the Apple Watch Double Tap hand gesture, although that is movement detection not camera-based).
I've been using a Philips 100W equivalent bulb for about 12 hours a day for almost 9 years now.

Companies can always manufacture garbage if they don't care, but LED technology is fantastic.
Just downloaded this and gave it a go. I have no experience with running any local models, but this just worked out of the box on my 7600 on Ubuntu 22. This is fantastic.
From Mar 7th
I'm easily able to contribute to a lot of open source projects either out of the box or with little onboarding time.

When I read about those optimization blog articles it feels to me that I need to take at least half a year or a year as a sebatical to understand all of it
> I run a site that stores a ton of chess lines, something like 100 million in total.

Because there are so many, one approach would be to sort the list of lines lexicographically to group similar ones together, then compress the result with a sliding window compression algorithm.

The sliding window compression will avoid storing repeated parts a second time, and the first part of the lines will be repeated a lot because of the sorting. There may also be some other repeated sequences.

This assumes that it's OK to sort the lines, though, which might or might not be true.
There are some very bad, cheap LEDs on the market. Sometimes even under name brands. I've learned to be pretty picky about which ones I buy, both in terms of their longevity as well as the quality of the light.
I manage many PostgreSQL databases, the only time it was a pain, it was due to PostGIS upgrade but not the postgresql cluster itself…

You don’t need to dump and re import the database since a long long time…
> since digg died

Remind me what caused that again?
Narrow FOV means you have to keep your eyes "locked forward" and people don't realize how much they look at things by moving their eyes.
My point is that you cannot get design much faster in terms of clock frequency by just pipelining. Pipeline unrolls state machine and overlaps different executions of the state machines. But the bottleneck, which is addition, is there in all designs and you need additional effort to break it.

(also MIPS has [i]ntelocked [p]ipeline [s]tages - that "IPS" in MIPS; I implemented it, I know - exception in execution should inform other stages about failure)

By the 1997 Intel has already bought Elbrus II design team, lead by Pentkovski [1]. That Pentkovski guy made Elbrus 2 a superscalar CPU with a stack machine front-end. E.g., Elbrus 2 executed stack operations in a superscalar fashion. You can entertain yourself by figuring out how complex or simple can that be.

[1] https://en.wikipedia.org/wiki/Vladimir_Pentkovski

So at the time your professor complained about Intel's inferior architecture being faster, that inferior architecture implementation has a translation unit inside it to translate x86 opcodes into superscalar-ready uops.
But every car factory has wheeled robots, and fixed platform robots, and robots running on rails on the ceiling. And everyone is already used to robot dogs being deployed by just about everybody with an innovation budget. The only way left to have press about robots in a car factory is to make them bipedal.

I'm betting that the 'undisclosed number' has exactly one digit, and the robots doing actual work is not part of the reason why Mercedes is doing this
> > It's a narrative of the popular culture
> Amongst idiots.

Amongst culture. Doesn't matter that you don't agree.

> A thing which happened, was admitted by Clinton,

Clinton's BJ was in popular culture before the conviction. Pointing to a legal case is moving the goalpost.

> Epstein's suicide is different because the evidence overwhelmingly points to suicide,

It is not and does not. Good luck with whatever.
It's interesting how an analysis like this becomes a crucible for one's own preconceptions and biases.

Anti-porn? It's because of the porn

Anti-LGBTQ? It's because it's hard to have sex "when you're not even sure of the gender" of your partner (an actual comment on the Substack)

Parent? It's because less available childcare and more helicopter parenting expectations lead to less alone time

Young adult? It's nihilism about the future and crushing workloads with no way to afford your own home/apartment

Old? It's because people had more sex when "men were men and women were women"

An incel? It's because of women

Feminist? It's because of men

Anti-tech? It's social media

Environmentalist? It's environmental factors

I could go on. But almost anyone could argue for almost any reason, and it seems to be more enlightening about the person making the argument than about the problem.
I've been looking for a good way to TTS longer PDFs and EPUBs into recordings so I may listen to them on the go.
I'd like to take advantage of high quality TTS models but I'd prefer it to be one I may host myself.

Haven't found the right way yet, I'm considering: https://github.com/MycroftAI/mimic3
Recently, Evernote limited the free tier and increased pricing. This means that now the users pay for the product and this is very good. In fact, they added a lot of new features and improved performance.
This seems to be specifically about our understanding of the expansion of the universe (from the big bang).

It also throws a wrench into "there is no center, expansion is the same everywhere."
Do you have a link to their project? Rich Hickey also always reiterates that Simple isn't Easy. Knowing exactly how something works means you can express it in as concise a way as possible.
It is an interesting thing to think about. It appears to me (an outsider) that the Czech identity is very strong. Why is that? Especially in the face of the occupation by the Germans and Russians since what 1938 or something? And the Velvet Revolution seems (again as an outsider) just an amazing thing. What role does having a separate language play? And the multiculturalism. In the US we have such a great homogeneity. If I drive into Rhode Island I don't find another language or another culture. It is not like driving from France into the Nederlands for example.
Mozilla Location Service is to be retired
this site says I have third party cookies enabled when firefox says I do not.
Thanks :-)

I've not done much profiling on DuckDB and what the overhead is - i.e. after the data is parsed how much memory is used. Would be really interesting to push it to the limit - or to explore not loading the entire file in, but only reading the relevant parts, but again that probably requires a conversion first, e.g. to parquet or some other column based storage format.
Fornunately with Free software that doesn't matter too much because anyone can add a feature and if you don't want to accept it people can go to the other person's implementation instead.

I mean, isn't that how Cinnamon and Panteon and Unity and Cosmic and MATE were born?
Certain age = 59 1/2 years
> And would make the two guards who admitted falsifying reports… the worst patsies in history?

Maybe in 5 or 10 years, they get paid off. History teaches that truth isn't available immediately or at the time. The world is a rough place and I can wait to be convinced. As patsies, they are possibly the best, given the outcome today.

> And presumably the FBI and DOJ are in on it too?

Now you're just reaching.

> It's so achingly dumb.

Ah, the sideways name calling. Good luck with that.
So one should not own a sofa? Sitting on a sofa is a near-daily experience I'd like to be able to keep having, which is why I buy quality.
They both have very different personalities, but I actually thought the oldest would be more inclined to do programming, the logic part of his brain works flawlessly, he is really really good with raw logic. He's the kind of kid that finds plot holes in TV shows.
Yeah, we're agreed that j cannot be less than 0.
But your conjecture was about _every j > 0_.
Do you have any specific line of reasoning which suggests that j can be arbitrarily close to 0 (0 is the greatest lower bound)? Why do you not think there's some other specific limit k \in (0, 0.3728596] beyond which j cannot be improved?
The FTC is probing Reddit's AI licensing deals
> What generation?

Professors in their early 40s. The job market is indeed very tight, so I can see why there would be pressure to hit every conceivable metric. But some people are unfailingly honest, and some disciplines don't lend themselves to fudging.
1.1B Taxi Rides Benchmark Using DuckDB
What exactly is "systems programming"? I thought that had to do with manipulating hardware? Usually Java and C# are more associated with application programming...
You start where you can before moving on harder tasks. A conveyor belt is never going to be able to weld curved joints and be wiring installers in the future.
You got lucky.

I’ve seen a codebase where one guy wrote all code in Obfuscated C Code Competition style with all optional whitespace removed. Huge solid blocks of spaghetti code with the line breaks inserted only to make the code line up visually into rectangles.

Another guy at the same company thought that a good naming convention is to name all identifiers starting with ‘a’ alphabetically and then extending that with ‘aa’, ‘ab’, etc… when he ran out of single letters. I mean all identifiers including namespaces, class names and methods names. Code read literally like this:

z = g.h.p( ab, j, y );

At least with the IOCCC style it was possible to simply use an IDE reformat to fix it, but this basically required decompilation to make sense to any other human.
The goal is to iteratively create training data and add it to its own training set. The LLM acts as its own judge and scores its own responses to decide if it should add the data. It’s expensive to have a human in the loop labeling preferences, so the folks at Meta showed you can have a clever prompt and fine tune the model to judge its own responses.
HN is not a technology site. Not exclusively, anyway. Some days not even primarily! HN is an aggregator, so we pluck articles from varied contexts all the time. "Intellectual curiosity".

But "Miss Julie" has exactly as much inherent context as "Riemann Hypothesis", or "Kubernetes". In all cases, a web search will return, as the first result, the correct reference.

If we took a random sampling of people off the street, I'd be curious to see how many would recognize Miss Julie vs the other two. I lean toward more for Miss Julie!

Anyway, what's a better title? "The Real Miss Julie (being a character in an eponymous 1888 play by Swedish playwright August Strindberg)"?
FTC launches inquiry into Reddit's AI deals, ahead of IPO
Maybe the next president will pardon him for some bitcoin.
So, de-googled then. You're using a different App Store/sideloading and disabling a load of the functionality in Google Maps (GPS is kind of useful for navigation)

As I said, this isn't an option for most people.
https://shipped.club

this one is just under $200

;)
Is this similar to Devbox by jetpack.io ?
We used an A10 with 24GB of VRAM, this was enough for PEFT on Mistral-7B
I’m pretty sure GPT4 would wipe the floor with you in any debate (including this one).
Default config with port 1194 is super common with "anonymous" VPN providers. It can very well be fingerprinted. But I hope the data in transit would be secure. Maybe not from NSA.
Greyscale images on black/white e-ink
Ask HN: Can we solve AI prompt injection attacks with an indented data format?
Hi HN ! I'm Alex, a tech enthusiast. I have an idea that I can't test and that concerns an area in which I am not an expert. I am making this post to find out to what extent this idea is relevant to the state of the art.

From what little I know, raw user inputs are not directly submitted to LLMs. Typically, user input is carefully wrapped in a special format before being sent to the LLM. The format usually has tags, including special tags to tell the AI, for example, which topic is prohibited.

As with SQL injection, an attacker can craft malicious user input by introducing special tags. Input sanitization can be seen as a solution, but it seems that it isn't enough. Anyway, it doesn't seem very intuitive, I think a document intended to be read by an LLM should also be very human-readable. I also wonder what happens when an attacker uses obscure Unicode characters to forge a string that looks like a special tag.

Instead of using an XML-like language, my idea is to use a format that seamlessly interweave human-readable structured data with prose within a single document. Also, the format must natively support indentation to remove the need for input sanitization, thereby eliminating an entire class of injection attacks.

I am the author of Braq, a data format that seems to be a good candidate.

The idea to better structure a prompt is described in this Markdown section: https://github.com/pyrustic/braq?tab=readme-ov-file#ai-prompts

And here, ChatML from OpenAI: https://news.ycombinator.com/item?id=34988748

As mentioned above, I can't test this idea. Therefore, I'm asking to you: Can we solve AI prompt injection attacks with an indented data format ?
> We allowed folks to skip standups if they sent their daily updates out before the meeting.

Once again assuming the purpose of a standup is to "give updates." It's not. It's for the team to collectively look at what they got done in the last 24 hours, and make a better plan as to what they're going to get done in the next 24 hours as a group.

It's not a status update; it's a mini inspect-and-adapt cycle.
See Maximum Impact from Customer Conversations