skysight-inc/HackerNews huggingface dataset:
Prolog solvers don't necessarily optimize like gurobi, cplex or OR-tools would. Yes they can give you a solution that satisfies the constraints, and you can query for more possible answers, but it doesn't really optimize for the objective function in the same way.
Apple announces major progress toward climate goals ahead of Earth Day
A practice I find useful is to have a few projects going that are in different stages. So maybe one you're still planning/dreaming up, one in the core execution phase, and one that just needs finishing touches. That way you can switch not just between subjects but between modes of working to give your mind a chance to refresh.
That book is in the Fire Upon the Deep universe, and takes place post singularity! It’s just that in his universe, there are regions of space where the laws of physics make AI impossible, and those are the only regions where biological life forms haven’t been already wiped out.
Why make stuff up?
That depends on if its faster to come up with the prompts to sing the song you are imagining in your head as a producer versus just hiring a cheap singer. Sometimes yes sometimes no I’d expect is the answer to this question, and given uncertainty some people do pay extra for certainty. Musicians pay extra for marginal quality gains too. If it was all just a race to the bottom all fender and gibsons would be made in China because no one cares, but thats not the case. American models that are sonically almost the same sometimes as a cheaper made in japan or thailand model command premiums due to the perceived quality.
One thing that seems to have gone out the window, to a certain extenet, is the idea of DR, Business Continuity and resiliency for a few key reasons:

1. Cloud is not cheap, so doing a proper DR in a loud environment is going to price out small/medium businesses.

2. Most customers don't have staff skilled in the realms of "what if" disasters, and have not tooled to spin up a copy quickly in a new region/provider should their site get nuked.

3. Most cloud customers have zero plan for what to do when cutoff from their cloud providers, because of above.

-

It would be cool to pay for "ghost infrastructure" (I dont know if this exists already)

But... the idea would be that as you build out your VPC/whatever environment, the cloud provider creates a ghost version of that infra in every other reegion (meaning all the configs and everything are mirroed to a repo at the other locations and allow one to spin up a complete copy of primary infa wherever one likes, and youre basically paying a small amount for a clean, up-todate DR copy of the environment as "a cost of doing business" but in the event you needto, load a snapshot of everything (sans actual data - thats extra) to just launch the environment...

We built this manually in the past (manually meaning the ability to launch an instant VPC and migrate traffic to it... but this was a few years back and I am sure that its far more mature in the real world now...

So what options do people have today?
Inter-war Russia was its own insane level of purges and paranoia, that put most run-of-the-mill autocrats to shame.
My time machine share is backed by ZFS. I have a separate dataset for each laptop, with snapshots retained for 30 days. As long as I know roughly the last time the backup worked, I can restore that snapshot so I don't need to start fresh.
Worst of alll, DDG's "!sp" service isn't working now! :-O
it is not possible for a remote destination host to signal to a sending host that it is ready, or not ready, for more requests, in a reliable way

readiness is not knowable by a receiver, it is a function of many variables, some of which are only knowable to a sender, one obvious example is a network fault between sender and receiver, there are many more

even the concept of "load" reported by a receiving application isn't particularly relevant, what matters is the latency (and other) properties of requests sent to that application as observed by the sender

health is fundamentally a property that is relative to each sender, not something that is objective for a given receiver
only the entire design of the product and standards around it specifically so it can do its job.
NPM Registry Code Signing
The links 404'ing for me :/
What does this mean in context of https://futureoflife.org/open-letter/pause-giant-ai-experime... , where CEO of Stability AI had left a signature on the petition(it's 8th in the list)? Do they want time to catch up?

Regardless of that, I'm glad that StabilityAI enters the field as well and releases models for public use.
Its alarmism to support government regulation to reinforce the moat when industry leaders say they intend to do it, but also that the danger of it being done is why competition with them must be restricted by the State (and why they can’t, despite being, or being a subsidiary of, a nonprofit founded on an openness mission, share any substantive information on their current models.)
Hey HN, I made this to play with LLMs, did a little writeup here: https://themaximalist.com/infinityarcade/

It's free to play live at https://infinityarcade.com/

And here's a game about getting your startup to the top of Hacker News: https://infinityarcade.com/clickbait-conspiracy
Isn't that aspect of Keycloak a carryover from the days when one VM held one instance of an application? These days containers are cheap and you can just spin up each "realm" in another container.
Sorry for the subtle sarcasm, they are safe and that's exactly my point.

20 years ago everyone was scared of GMOs and begging for regulation. Many european nations banned them in response. Other places insisted on labeling them so consumers could avoid the danger. We now know that they are safe and these efforts were counterproductive.
Yes many did, but it was mainly the activists and people who follow politics closely, not the average person. The average Democrat didn't think that about Reagan, as evidenced by the re-election results and the fact that H.W. rode Reagan's coat tails.
P.J. O'Rourke made the quip that "port wine is red, and so is your face if you get port and starboard mixed up." Which doesn't help, but it's funny.

For sailors, we learn "red-right-returning," which means to keep the red aids to navigation on the right (starboard) side when returning to port. Which is great, except when it doesn't apply--parts of Europe, Australia, a lot of Asia.

You'd think this would be a solved problem by now, but nope.
No system can fix a corrupt elite. Even Adam Smith acknowledged that capitalism is an abusive system when you have elites that do not have their people’s best interest in mind.

A high trust, cohesive populace is the minimum for any societal progress. And that starts with rulers who work to ensure they’re doing right by their people. America, instead, has rulers on both sides working to ensure the populace hates one another.
>> Now the company must pay taxes on 800,000 of profit because "R&D salaries," which includes software devs, must be amortized over five years. Obviously the company has no wherewithal to pay, given that they made a million and spent a million.

So stop claiming software development as R&E and just say they're regular salaried employees. The government never should have been paying them in the first place!
(it's fake)
I think he's saying that you will continue to get paid and be part of the team. That's the trade. The others are on their way out, slowly or quickly. Not that there's some extra benefit by being on the A side.
Same, Arc has been pretty great so far, and they just launched their iOS "version" which has been neat too. It's become my default on my macOS machines.
>GPT will have an S curve or Sigmoid function

How can you tell the difference between "we're in the beginning of the curve" vs "we're at the end of it" vs "there's no S curve"?
> Do we need all the extra dimensions?

This discussion seems relevant: https://www.reddit.com/r/MachineLearning/comments/12q8rp1/di...
Per definition, AGI is not equivalent to human intelligence. Then again, intelligence itself is not well-defined either.
Visa tracks did you purchase porn, did you buy something from Infowars.com, did you buy abortion pills, etc. That's only one source for data that advertisers use in the physical world. You think that's a big difference?
Yes, the token itself most likely won't allow the key to be extracted. There isn't really a reason to allow it: safer to generate the key at manufacturing time.

In general cmvp compatible modules do sometimes allow keys to be exported but only if wrapped, i.e. encrypted to prevent unauthorized disclosure. However this is also explicitly forbidden in other standards, such as qualified signing in Europe (etsi-...)- keys are generated on device and never leave.

What do you do if you lose the token? Ideally you enroll two or three and just use another.
Speaking of music and AI models - something I thought of yesterday which is an application of AI that would be insanely useful to me is giving it an audio file of a song and having it spit out the chords. I've seen software that attempts to do this in the past but it's all been unimpressive and inaccurate in my testing.

I'm still kinda ignorant with how these models work under the hood, and perhaps that would involve a bunch of new training on music that hasn't been done (and maybe that could be a difficult dataset to train on in terms of copyright). But I play piano, and I can play a song if given the chords, but I'm terrible at transcribing stuff myself. So I'd pay money for a service that does this.
Technically the Iwo Jima memorial is just outside Rosslyn. Most tourists access it via the Arlington Cemetery metro rather than the Rosslyn metro stop since usually it is a combined visit to the memorial and to the cemetery. Most tourists likely never cross the street into Rosslyn.
That would be crazy if so, because it reads as very human
Actual headline: Bean leaves don’t let the bedbugs bite by using tiny, impaling spikes

This method reminds me of using boric acid (or diatomaceous earth) against fleas, where the material is made up of minuscule blades that effectively slice up the bugs.
There would be no user experience if there were no ads. Working on ads can improve the user experience by making them more relevant.
If a shitcoin can't meet the low, low bar for registration, that's an indictment of the shitcoin, not of my argument. Don't walk, run away from it.
Window drag and drop doesn’t work on touch devices for puter.com
> The intermittency is sufficiently predictable

Is it?

> that we know the overbuild requirement well enough for a variety of possible solutions

Here's a quiet night from a few days ago. 0 solar production. https://twitter.com/energybants/status/1647799729734971396

--- start quote ---

Germany's 66.5 GW of installed wind is only producing as much as the 3 reactors that turned off last night used to produce.

400% expansion of wind would only provide half present need!

--- end quote ---

> Yes.

And the source for that claim is?

> The fact I can say the same for the uranium mines needed for sufficient nuclear power, isn't an argument against nuclear power.

You're trying to confuse fuel requirements with grid storage requirements. One we have. Other we don't, and almost no one talks about the cost and the requirements. See the quote and link above.

> Because until we decide we want to electrify transport (it's mainly about that not about PV vs. Wind vs. Hydro), there hasn't been demand for that many battery factories.

What does electric transport have to do with an absolute requirement for renewable energy sources to be backed up with grid-scale energy sources?

> But in both cases, we know what to do, and how to do it.

Ah yes. It's that emotionally charged magical thinking again. If we pretend that problems don't exist, they don't exist.

Meanwhile, renewable energy is:

- intermittent

- is extremely slow to ramp up

For both cases you need to have grid-scale energy storage to handle demand. And overbuild renewable storage in for cases when (not if) generation drops.

And yet, no one talks about the cumulative costs for that (and the fact that we literally don't have storage on that scale).

And yet, everyone is clapping each other on the back that hey, there's this Morocco-UK project that is 100% cheaper than nuclear be cause estimations have said so, and so much faster to build than nuclear even though even estimations say it'll take 10 years.
I don't think he claims this is being a writer. He calls it word smithing, not writing. Word smithing is a part of writing, but far from the only part.

To compare, as a C programmer a spent a lot of time creating custom collections: arrays, linked lists, ... Then in the 1990's, C++ with templates came along, and had it all built in. I feared this, initally: Some technical fears,e.g. would the compiler produce something reasonable? Deeper ones were psychological: Would I still have interesting work to do?

Looking back on these worries makes me look silly. Of course there was interesting programming work left after I stopped manual collection creation. In fact, it forced me to level up, made me more productive. Today, I consider a language without built-in collections as inferior.

Technology did this to all of us again and again. Banks had rooms full of human computers, calculating interests on paper. They were obsoleted by mainframes calculating a whole bank's worth of interests in less than a week. Then the spreadsheet came along, where people could simulate a week of finance batch runs in minutes.

I think writing is safe. We will still value people capable of communicate a book worth of ideas. Only now there is a tool capable of taking angry word salad and turning it into readable sentences. We all have to go trough an uncomfortable time leveling up, and in 5 years ChatGPT is the new normal and our worries will look silly.
People are always asking for code signing, really curious to see how they react to this one.
when has opensource ever spearheaded independent innovation? they usually follow along.

Fred Wilson once did a take on all trends in SV. First some firm comes out with a product that changes the landscape and makes a massive profit. Then some little firm comes along and does the same for a cheaper price. Then some ambitious group out of college comes out with an open-source version of the same.

Open source has never been a trailblazer of innovation. Open "research" was the original mantra for open ai. And an entrepreneur in residence put together a great product. If they were any more open, it would not make sense.
I believe thinking about it as "offline vs online" obscures what's actually difficult about offline operation. It's not storage or ownership of data that's difficult, it's conflict resolution.

The longer you're disconnected, the more things diverge, the better your merging/resolution schemes/algorithms need to be.

There are a lot of ways of thinking about and approaching the problem, some of which work worse or better under different circumstances. You see it in distributed consensus, multi-master systems, version control systems, etc.

There's ongoing work in the form of things like operational transforms and CRDTs, but clearly their needs to be a lot more progress in the area.
"Ethics" will only ever be an excuse to lock this technology behind one companies paywall. The only ethical AI is actually free and open AI, how its trained is irrelevant imho as long as we can all benefit. The negatives of the work of individuals being used to train it outweigh the negatives of one company just doing that and holding the power within their walls.
I think the pendulum will swing towards that way eventually. It's cyclical. Once the novelty of social media wears away, as it has done already, and the harms start being worse than the benefits.

However not being on social media can have real-world consequences in the classroom, the child could be treated as an outcast and mocked or bullied for it.

There is a middle ground, which is to use a pseudonym and ensure anonymity. You can then selectively disclose this pseudonym to people you trust. It might be safer for the children that way and also make it more difficult for adult authority figures to interfere with their lives.
That's a limitation of the dataset used for that particular tuned model. Probably not a great choice on their part given that people aren't reading past the headline, but the actual base model is not restricted.
This post persuaded me to not take much of a look at Janet. This is also related to why I think that Lisps haven't become the most widely-used programming languages.

Lisp enthusiasts like to point out the power of macros, and macros are the raison d'être for Lisp's homogeneous s-expression syntax. Most other features in Lisp (such as first-class closures and higher-order functions) can exist without s-expressions, but the powerful thing about s-expressions is that they enable Lisp macros.

But with great power comes great responsibility. When I'm writing a program I want as little responsibility as possible while still being able to solve the problem at hand. I don't want to be responsible for memory management and bounds checking, and I don't want to be responsible for the hygiene of my macros at both the definition and the call site.

With C, the responsibility of memory management and bounds checking comes with a power that people actually need to solve problems. For me these problems usually come up in the context of writing my own hobbyist interpreters/compilers, but there are a lot of real world cases where these come up. But often you don't need the capabilities of C, and I'd argue as a result that there are a lot of cases where using C is a bad idea because it's not the best way to solve your problem.

And here's the hot take: the power of Lisp macros isn't actually ever worth the responsibility in my experience. The problem Lisp macros solve is "this code is more verbose/ugly/boilerplate-y/etc. than I want it to be", which just isn't the problem you're writing the program to solve. Whenever you reach for a macro, there's another tool you could be reaching for to solve the actual problem at hand. At the very least, you can just write the code the macro would expand into. There's inherently never a case where the macro is the only way to solve the problem.

If you're good at writing macros, you won't always get burned by them, but nobody is ever perfect at writing macros, so everyone gets burned sometimes. If you're writing software that you actually need to work, the risk is rarely worth it.

When I have written production code in a Lisp (mostly Clojure) I've rarely reached for macros, and often bugfixes have been removing a macro that was of the "so preoccupied with whether or not they could, that they didn't stop to think if they should" variety. And if you spend enough time avoiding and removing macros, you start to wonder why you're destroying your eyesight trying to match parentheses, when the entire reason for the parentheses is to enable something you have to avoid and remove.

And don't get me wrong: macros are cool. "Because I like them" is a totally valid reason to write macros and Lisp.
But there are many ways to make all of this stuff. Many times there are better ways and less harmful ways, but those are basically always less profitable.

This is capitalism and the one and only objective is profit. It's never going to be working towards having a sustainable world, getting better stuff, getting less useless stuff, etc.

We don't need half the stupid stuff that's being sold to us and we keep buying it because that's how the system is setup.

So yes, they aren't polluting for the fun of it. They are doing so for the profit of a few.
After your first few hours on deck in foul weather, that one will seem obvious.
I am a native English speaker, and may be wrong about this, but I believe that the use of "de nada" from Spanish, and "de rien" in French to mean "you're welcome" suffer from similar loss in translation. Do not the former phrases imply that thanks is not needed?
I'd love to hear from someone knowledgeable in the area but my gut instinct was the majority of people / organizations signing on to that 'pause' just wanted to catch up.
That might possibly be close where you live, but not where I live. I need to heat my home at least 8 months a year and I heat using electricity (which isn't the smartest thing to do, but that's the way the house was built 30 years ago). It is too hot inside less than 4 weeks a year. So saving energy is done by trying to live in cooler rooms, but not by searching for small consumers.
I used to own a horse and would regularly feed her sugar cubes. I guess that works too!
I am one of the people behind the website and have been building AI "looms" for 13 years. We are working to make AI safer as our goal -- we are not working to smash the looms. Without the FAA and similar orgs/efforts, it is unlikely that millions of people would be flying today.
4 of the 5 most downloaded apps in the US are published by Chinese companies
> Out of the 500 most downloaded apps so far in 2023, only 10 are from Chinese companies. However, four of them are in the top five. These apps are almost household names at this point; Temu, TikTok, CapCut and Shein.

> In 2021 there were four Chinese apps in the top 50 most downloaded apps in the United States, with only one in the top five. In 2022 there were three apps in the top 50, also with only one in the top five. It was the same app in both years, with TikTok as the #1 app.

> This is pretty amazing that in a country where Apple, Google, and Meta reign, only one has one of the five most downloaded apps in the country so far this year. Meta’s Instagram is #4.

> In terms of generating in-app purchase revenue, out of the top 500 grossing apps in the U.S. this year, 36 are owned by Chinese companies. With the exception of TikTok, every one of them is a mobile game.

> On the other foot, 19 out of the 500 most downloaded apps in China this year are from American companies. This is based only on iOS data as Google Play does not legally operate in China.
Why wait? The point of the 90 days is to give them time to fix it, but if they consider it intended behavior, they aren't going to fix it.
Is Kent Beck a liar? ChatGPT is a liar. A proven liar. What happens when a machines lies to a person enough? Eventually that person dies. Sooo, unplug the lying machine.

https://jonathanturley.org/2023/04/06/defamed-by-chatgpt-my-...
>- No [...] details about the model

You can see the model architecture here

https://github.com/Stability-AI/StableLM/blob/main/configs/s...
I am able to do a perfect multi-monitor high-DPI/mixed-DPI on Linux using wayland+gnome. The support for wayland on KDE is getting better and would probably work with KDE as well. This was a huge annoyance, but is fixed. I don`t even remember I am using wayland. Everything works.

With Steam progress on proton, most games run on Linux without problems and with the same performance.

Another huge pain in Linux was installing commercial programs. Now with flatpak, you can be sure it will work no matter what.

It is getting better, trust me.
Yeah, you are right. I think the mechanism, to start an outrage vs the perceived outgroup is indeed the same. Once ignited lots of people don’t change their stance, unless you score high on self-reflection perhaps.
Probably looked fine on an 800x600 screen when the article was written.
https://nvidianews.nvidia.com/news/shutterstock-teams-with-n...
I think this might be a common misunderstanding of writing. Lots of people want to be writers and seem to focus on writing as a craft, as if once you get good enough at writing you will start having interesting ideas. To me, a writer is someone with interesting ideas who learned to write well, not someone good at writing who learned to have interesting ideas. The latter is infinitely less trainable, or at least it seems to be.
Either that or the guy didn't actually sign it. It's not like anyone actually checked who it was.