skysight-inc/HackerNews huggingface dataset:
I always wonder how safety critical software is certifiable without any source code. Checklist security, I guess.
Interesting. My electronics work-bench is right next to my work/personal computer, so when I block on work stuff I can switch to doing a little on my electronics projects. It's made me much more productive.
Someone somewhere wants to submit different things with forms is why forms aren't solved. I didn't ask for a way to submit color through a webpage.
The parent advocates extending functionality of native until no longer required, rather than coding your own and having to maintain it indefinitely.

Not using native as-is.
Microsoft bought DOS, Excel, Powerpoint, and, effectively Word (via Xerox Alto's Bravo editor) among many others.

Adobe is a good example; their model is to fuck their customers, not the acquired companies.
> My guess would be that this approach is papering over organizational dysfunction.

So what? At large enough scale organization problems are harder than technical ones: if you can fix the former with the latter, that's still a win.
If it's meaning you want from art, then DALLE-3 or SDXL plus extensions or abilities like inpainting might actually be the most effective way to achieve that.

After all, there is quite a bit of meaning in the text used to generate them. That seems like a head start if you are trying to make a statement. Not to mention the speed that the image or image elements emerge and can be iterated or integrated.

For example, take Judy Chicago's The Dinner Party (admittedly just from the top of Google search results about artistic statements). It is a series of plates that have sculptures depicting femininity in various ways at various heights. With something like a painting tool with SDXL or DALLE-3 integrated one could create an image with similar content by drawing the table and then generating/inserting or inpainting each of the individual plate contents per specification such as the size of the inpaint mask and prompt.

She clearly explained the meaning of the work and it can fit in a few long sentences.

The more I think about this, the more it seems that image generation should be very helpful for artists who want to "say" something.
For anyone's interested, as of Feb 23 2023 the total GDP spend of the US on supporting us (all expenses) is around 0.37%[0]. Arguably, far more damage to US and its economy was done through deep infiltration and billions of spend on destabilizing campaigns was done by ruskies. But, well, both the left and the right are too busy with self-inflicted inner turmoil and complete dismantling of Western values through what looks like a mass ritual of self-hate.

It is likely that current inadequate policy and political actions would be written into history books as cowardice precipitating a tragedy, because when the aid in the early stages of the war proved to be too good, the next tier of equipment required for southern counteroffensive was being constantly delayed, and blocked, giving ruskies a lot of time to make our south the most mined territory in the world, and when the equipment arrived, it was both too little and too late.

And now the support is being cut off entirely, with some EU countries (and UK!) left to patch the gaps where they can. On top of that, we are finding ourselves in what is effectively a blockade by our own neighbors through successful ruskie op done at crucial time of elections in Poland and openly pro-russian Hungarian govt.

Personally, I don't see much justice in the world in general, we shouldn't have given up nukes and I dream one day our government restarts the nuclear program because it is the only insurance policy left and I promise, everyone's taking notes. Say goodbye to nuclear non-proliferation, say hello to re-ignition of all frozen conflicts because sides realize that you can get away with anything as long as you have the military power, for the US and the West will do nothing but watch.

[0] https://www.bbc.com/news/world-us-canada-64656301
It is. I encountered it around Qt4 time. I really liked Qt4 backthen, but I was also open to using/trying other things. Like Lazarus and U++.

It offers a more compact i'd say approach to develop and it's quite straightforward.

I only used it for small GUI applications, but you can see what others been building https://www.ultimatepp.org/www$uppweb$apps$en-us.html
> We don't want to be attached to anything crypto

Another comment of yours...

> Our token price is quite low at the moment.

Which is it? These statements taken together do create suspicion

Probably a security and not a token if you or anyone else are talking about price and the potential increase
It may be easy to cycle hosts in and out, but it can also be time consuming, apparently. In the article it mentions taking 45 days to patch all hosts. The article also points out that this is too long for security updates.

Nothing will work 100% of the time. If their patching mechanism is thoroughly tested and battle hardened, I think the risk would be acceptable. Once you do the initial kpatch security upgrade, you could even schedule the machine for serivce so that it's not relying on that, limiting your exposure to bugs.
Your takeaway from that was that the Green Hills CEO is a crackpot? Tesla's attitude toward automotive engineering and safety would be a funny joke if fucking these things up didn't get people killed. Tesla may be rigorous by Silicon Valley junkware standards, but they would be laughed out of the room in the places where Green Hills operates.
> One docker file and a poetry file works just as well. And is simpler. It's literally the same thing but using os primitives to manage the environment rather then shell tricks. Makes more sense to me to use a dedicated os primitive for the task it was designed to be used for.

1) not just as well because docker is repeatable, not reproducible

2) not if you need GPU acceleration which is a headache in docker, but not Nix shells

> Additionally docker-compose allows you to manage a constellation of environments simultaneously. This is nowhere near as straightforward with nix.

- devenv.sh
- arion
- https://flakular.in/intro

> Most people won't know what to do with a shell.nix

The same was once true for Dockerfile
So if support is so high, why suppress the elections in Ukraine?

And by the way, the article alludes to the exact opposite "betrayal": the peace talks were a sham to get Russia to pull back from Kiev.
How did they come up with that name xD
The issue is that you literally cannot extend the native functionality in many cases.
I really like the idea, and the language itself looks very reasonable. (added to my forever opened tabs list) :D
But don’t you think LLMs will affect how people write and by extension how they even talk, and think? That will be fed back into the next LLM or whatever we will call it.

Radio, and later TV, immensely affected language, I think it’s safe to say the LLM will, too.
.NET Code Contracts has both compile time and runtime checks, although it always felt like a bolted on solution even though it is baked into the framework. I guess this is why it didn't carry forward into the .NET Core rewrite.
I suspect most people who say stuff like the comment you responded to have simply not tried 4.
EC2 [0] and GCP Compute [1] have the exact same SLAs, which is 99.99%, dipping below which gets you a 10% refund. Dipping below 95% gets you a 100% refund.

[0] https://aws.amazon.com/compute/sla/

[1] https://cloud.google.com/compute/sla
The can bus can tolerate +-12VDC. Actually, something like the TJA1051T can take +-58V. The problem is that when there is a short on the can bus, you can't communicate over it. It isn't magic. I don't know what the exact problem in this case was, but I've seen it where the ABS module self destructed, and because it was on the same bus as the ECU and BCM, the BCM wasn't able to tell the ECU to start.
Looks like good quality from the photos. It's not my style or look either, but yeah I can see the craftsmanship here.
LLMs can't solve Sudoku, but neural networks plus tree search can solve Go. As you say, traditional techniques, like a simple tree search can already solve a lot of the "holes" that come up in dependent languages. Perhaps something like AlphaGo combined with a LLM (to accept human guidance using language) could work?
Do you think students should need a specific license to read a book? Do visitors to an art gallery need a specific license to look at paintings? Do audiences need specific licenses to watch a play?

Those people will be influenced by what they've read/seen/heard and their own future writing/drawing/filming/acting/editing/playing might draw inspiration from what they've learned, and they might incorporate things they've learned into their own future work.

Literally every book, song and work of art is "violating copyright" on the thousands of other works that the creator learned from while growing up, if we hold the same standard.
Perhaps because they were highly, highly experimental, the early little kids' edutainment shows, like Sesame Street and Mister Rogers' Neighborhood, just struck me as much better because they didn't insult children's intelligence, spoke to them as full persons, and had relatively rich and complex imagery, music, story, and humor. Which is why they're so watchable and beloved by adults.

And then Elmo happened and then Barney happened, and things have been on kind of a downhill slide into brightly colored, C-major MIDI music Cocomelon happyland.
If we're going there, note also that all the LEDs not on the edge are blocked by other LEDs (or the board) part of the time; LEDs on the edge are visible even past 90°.
You might know or love this passage. "No one sees the barn".

https://www.andylacroce.com/2017/03/20/excerpt-delillos-whit...
But if the electronic design is open then what's would be the point of forcing an electronic solution when its inferior? The hypothetical is that electronic designs are open instead of closed.
Sam Altman, Sugarcoating the Apocalypse
This is an interesting thing that is somewhat similar - https://github.com/arguflow/youtube-transcribe

It hydrates the punctuation in
I'm just too easily distracted. I start on a thing that I think will take five minutes, next thing I realize that it's 7 am, birds are tweeting and there is a stone cold cup of tea sitting next to me and a bunch of non-priority stuff done (but it's so much more fun...).

Most dangerous times: when the administration needs to be brought up to date for the tax man. Then I really have to force myself. Fortunately I've been able to off-load most of that but even the little bit that remains is enough to get me to spend 30 hours on something else to avoid 1/2 an hour of work.
Libre ... seems to be co-opting the term a bit if it you can't run your llm local

What does this have that kobold.cpp, llama.cpp backends + sillytavern et al frontends with one of the thousand llm weights won't give you?

For entertainment, these offer simultaneous llm output with methods to retain context, allows outputs that can be vocalized via TTS voice simulation, inputs via mucrophone, and can provide illustrations of content via stable diffusion, and allow multiple chat bot "characters" to be in the same conversation, all of which honestly gets a bit surreal.
After visiting India it felt to me like I was living in the 90s in terms of the economy, at least in Bangalore.

In America there seems to be a strong since of desperation and general malaise in my generation. A lot of people on drugs or have mental issues. The average person does not seem happy.
I’m worried that the opportunities and dream have been offshored. It is too costly to hire, be hired, or build a life here.
I wonder if inductive power transfer could be used to eliminate the need for a battery. It would only have to power the LEDs, not the motor as that could be mounted to the base. Additionally, both coils could be placed right inside of each other, and on a ferrite core.
> If "copyright" is a problem in the way of training AI models, then we should all collectively vote for politicians who fix that problem by updating the laws to make the training explicitly allowed. Problem solved.

Yep. The EU has this, as does Singapore, South Korea and Malaysia. A lot of countries have already recognised that it's not a good idea to restrict AI dev because of IP "rights".
That's exactly right. I've been saving for a home for 10 years and somehow keep falling further and further behind with how housing prices keep climbing. But unlike others I've decided not to mortgage myself into oblivion such that I'm 1 paycheck away from being homeless. Instead I'm at the mercy of my greedy landlords. Lose lose.
Like other are saying, I was expecting something that's not an interface to other chatbots.
Yeah, and this isn't a problem that interacts with scale. If you can patch 100 servers with an automated method you can patch 1,000,000 of them.
I only mentioned that because of a parent comment linking to the token price on coinmarketcap. Definitely, we don't want to be seen as a crypto project (the reputation for crypto is horrible). And would love to help/promote using fiat too

And we are as, I mentioned, in other comments building fiat-based solutions, and some of our users built platforms based on fiat.
I think some “perversion” is a given. Think how internet ads evolved.
I'm just quoting the wikipedia definiton of hyperscale. Nowhere in there does it say anything about 1000x, probably because that is an ill-defined concept.

1000x what? Today's computers are a 1000x the ones from the 90s, should we call them all hypercomputers? Pretty much any startup can boot 20,000 nodes on aws, are they all hyperstartups hyperscaling?

Seems like marketing nonsense.
Humble Bundle seems to have started doing that to me at times with a Firefox on Linux user agent. Support just gaslights me about clearing cookies and checking I typed the password correctly, even though it will work if I use Chrome or just wait a few days.
Your comment seems a bit self contradictory to me. You mentioned a strong coupling between runtime and compilers, but then go on giving example of the same compilers runtime with different runtime.

I suspect that the terminology we are using might be the culprit. Thinking of it as compilers, distribution/package and target might be helpful.
Both LLVM and GCC are quite flexible in how they can be packaged and distributed to target various platform. A compiler distribution typically would include a (default) runtime, default options, std libraries and supporting tools (linker,debugger etc... etc...) for each supported target in the case of X-compilation.

A distribution is definitely strongly coupled to a host os/configuration. But the compiler proper not really.
Thought this was your project?
Odd Tweet from the Official OpenAI ChatGPT Account
https://twitter.com/ChatGPTapp/status/1731073315727441922

Why does it say Confidential in the corner? There's no announcement in the OpenAI discord either.

Seems strange, but we shall see.
It was surprising the cells started repairing damaged neurons, but scientists aren't sure about the mechanism yet.
Why would they care about that...
A 911 feels planted right up to the point where it isn't and then you better be ready for it. It can go from 'drama free' to 'lots of drama' pretty quickly especially on roads with trash or uneven moisture on them. I accidentally put one ass-backwards on the Berlin ring at night and it wasn't even over the limit. Pre-traction control though, so probably these days that would go a little better. Learned a good lesson there and fortunately no damage or injury other than to my ego.
Waze still works pretty well despite being acquired by Google years ago
> LLMs can't solve Sudoku

Seems like ChatGPT-4 can? And that's not the advanced data analysis model, either.

https://chat.openai.com/share/3126e737-3ae5-4f63-996b-b5a768...
My memory has faded, but you'd be surprised at how easy it can be to 'roll your own' ISO.

It may be worthwhile to look at the big distributions (Fedora, Debian, SUSE, Arch, etc) and see if you can find anything that fits your taste.

It can be as simple as 'inserting a coin and pulling the lever'; I recall listing some extra packages and running a command to download the assets/press the ISO.

Nix(OS?) tries to be something like this IIRC, but it's less "provide something extra" and more... start by defining the nucleus.
Kinda? It's blatantly dishonest.
Don't you think everything affects how people write and by extension how they even talk, and think? The world changes all the time, and the culture changes with it.

>That will be fed back into the next LLM or whatever we will call it.

Large models are already "contaminated" by the output of other models, or even by previous versions of the same model. That's how their enormous datasets are bootstrapped in the first place - it's impossible without automation. That doesn't matter much; what matters is manual curation during the training and mixing in the data from the real world to keep the model in check. Same as with humans and our intelligence distilled over generations, basically.
Good to know, thanks!

I still find it a bit concerning that even the LibreChat docs about LiteLLM don't mention local models in the list of use cases. It looks like there's a GitHub ticket to add that to the docs [0], which would be good.

Maybe I'm just growing old and crotchety, but it makes me uncomfortable to see a word like Libre—which was specifically coined in English to differentiate itself from Free-as-in-Beer—used in a context where monetary cost seems to be the primary concern in the maintainers' minds.

[0] https://github.com/danny-avila/LibreChat/issues/1131
Go offers this....Go 1.0 code will compile today on Go 1.21.4
Oh God miniconda is a horrible piece of software on Nix.

I fell down the Nix rabbit hole, and miniconda was one of the worst things to get working. My first pass used an FHS environment, but eventually I just got the environment.yml file working in micromamba and used that instead. Except micromamba ships it's own linker that I had to override with SHAREDLD, or some random python c++ dependencies wouldn't compile correctly.

I love Nix, but my list of complaints is a mile long. If you want to do anything with opengl in nix, but not on nixos, just give up. NixGl just doesn't really work.

Good luck getting something like Poky (Reference project for Yocto) running in Nix. The only working example puts it in an FHS environment, which uses bubble wrap under the hood. But then because you're in a container with permissions dropped, you can't use a vm. The solution I see in the support forums is roll your own alternative FHS environment based on something else.

/Rant
there's a lot of "copyrighted data" on wikipedia as well, for example from another HN post, lyrics from songs about truck crashes.

https://en.wikipedia.org/wiki/List_of_car_crash_songs
> but clearly it is ironically applicable to photography.

It's a gradient. I will readily admit that while I consider photography to be art, I have more appreciation for a truly remarkable sculpture or painting. These are the pinnacle, for me.

At the other end you have AI art - sure, "pressing a button" is a bit reductionist, but I'm not sure that it's far off. And I'd also argue that after a certain amount of time spent creating a piece of AI art, it is no longer even AI art.

Looking at it from another angle: is anyone going to pay millions of dollars for AI art, aside from possibly a one-off situation built on hype? I seriously doubt it.
I don't see how anything can be easier than a PWA if you already have a Web app that works ok on mobile. You can do it in a day and only needs updating once every year or two. I know because I had to fill out a few questionaires last Saturday to upgrade for Android 14 support but that was about it. (And those some questions apply to all mobile apps on Play store)
There's a solid argument that memory-managed languages like Java are safer than Rust, because although your program can crash, it can't segfault unless you're doing something especially weird. Safe Rust programs can also crash via `panic!`, and unsafe Rust programs can segfault and create wonky UB just like C programs if the safety invariants aren't manually enforced.

The safest language would be something like Elm or Datalog, where the type system ensures crashes aren't even possible. But then you just make up your own idea of failure, where instead of crashing the program produces unexpected output, almost like UB.
Working for a company that got acquired. We're fucking ourselves over more than the acquirers are.
> So, if you’d rather not have downtime with your servers, data centers, and clouds, follow Meta’s example and use live patching. You’ll be glad you did.

Most orgs don’t need and won’t benefit from emulating Meta for the sake of emulating Meta.
It seems to me that the relatively good times of the late 19th Century in both Europe and America left a lot of young men spoiling for a challenge. In the US this probably contributed to the Spanish-American War. Theodore Roosevelt had questionable judgment, but I don't think he was weak.
How are you making the leap from the check engine light being on to the car being junk? You can just ignore it and keep driving if you think you know better.

In this case the customer was implicitly asking the mechanic to repair the car to the point where that diagnostics wouldn't fire.

Now, you can argue that those diagnostics are overly anal etc., but let's not blow this out of proportion.

This is analogous to replacing a single blown tire with a new one of a slightly different size. Most modern cars will also detect and warn about that (e.g. noticing the difference in spin at the differential), and the manual most likely says "don't do that", but the car will probably be "fine" in practice.
So are you going to get rid of the token completely or just offer fiat as an alternative?

You'll never not be a crypto project as long as you keep the tokenomics
Yeah, but if the language is fighting libc etc. this hard I have severe doubts that it'll actually be stable or robust, and it has already given up on simplicity.
GitHub of the Team of Centaurus Robot
And they did, in the usual half-a**ed, broken, honoured-more-in-the-breach-than-the-observance way such ideas usually get mass adopted.
Performance: Adventures in Thread-per-Core Async with Redpanda and Seastar
In South Australia, they're very much monitored and controlled. In the Northern Territory however, it is not uncommon in season to see fires burning beside the highway in a national park, and no one anywhere nearby monitoring them. Well, that is besides birds who hang around to nab fleeing insects and other creatures. Birds have been known to carry burning twigs elsewhere to spread the fire too.

Coming from the former region and visiting the latter, it's quite jarring. But that (now called) mosaic burning has thousands of years of history. You can easily see how it advantaged the early occupants of the area: reduce overall fuel load, flush out animals to hunt, and clear annoying tall, dry grasses which would be miserable to live amongst and walk through.
Any actually good courses from reputable universities?
Meta already does that.
GitHub, Minecraft... I'm not a big fan of Microsoft, but they do seem like a decent place to go if you're acquired.
It is always refreshing to read about wealthy self-made people these days. It’s astounding what you can do with nothing but money and name recognition
The interactive online version is available here:

https://www.submarinecablemap.com/
Are micro LED panels commercially available yet? Seems perfect for something like this.
Is this truly open source? I mean, beyond just the UI/environment. A lot of AI models seem to be gratis-but-not-libre. It's great that they're even gratis but I'm curious just how libre this is overall.

I'm not being critical - just curious.