skysight-inc/HackerNews huggingface dataset:
Any company building safety critical stuff should be using a separate set of hardware to validate the CAD designs. Even with ECC memory and machine check exceptions, processors still corrupt stuff and make mistakes.

On a practical note, I've dealt with $$$ software that only runs on enterprise Linux or particular versions of Windows. Without fail, it has been buggy as hell, and crashed if there was a slight breeze outside or under gibbous moons.

Examples:

"When you boot the computer, first click this, then that, and finally this."

"We all need to share this one laptop. No one may use the laptop for anything but this one flow in this one program because the laptop's OS install is irreplacable, and the equipment it drives costs $250,000"

"Don't run anything in the background because their verification kernel was only tested with two cores, and we can't buy CPUs that old any more"

"Don't turn the printer on until after the UI is done booting up because if it sees an HP vendor ID on the USB bus it thinks it's a spectrophotometer or a license dongle or something"
Hiding an asynchronous, co-routine, style program flow behind a syntax which looks like a sequential program flow is IMHO a design mistake I wish Rust had not made.

It's partially hiding what's under the surface.It makes programs harder to reason about. And, worst, it "infects" whole programs pushing async further and further up the call-chain, as the "sync to async" boundary is not a good story in Rust.

Finally the fact that async in Rust is effectively "tokio", it means this framework also gets all over the place, leading to dependency bloat and framework-itis. It potentially makes things that could be simple and re-usable components much more complicated and coupled to tokio than they could be.

I would have rather seen the language provide a nice way of doing continuation passing and an explicit coroutine construct.

That's my hot take. Personally I try to avoid async and stick with explicit concurrency & communicating by channels, until I am in a situation where I'm provably blocked primarily on I/O in a way that it would make sense to reach for it.

But I'm also not writing web services.
I never said they stopped contributing to open source. But the emphasis on the bottom line is already having consequences.

Do you think they will keep advancing spice as much as before now that they've deprecated it in their products?

More wood into fewer arrows means just what it sounds like it means.
Many people shouted saying the iPad would fail, that the Airpods would fail that the Apple watch would fail. All 3 took time to mature into money printing juggernauts. By 2030 VR/AR Apple goggles may be yet another big thing that many doubted.
after graduation you become lvl 1 wizard

that explains low hp stats
I'm on Mastodon (et al) and I did often go back to Twitter to check on things.

But now they blocked checking things when not logged in, inertia has set in and I cannot even bothered to make the effort and don't feel like I've lost anything. Even for those accounts I followed.

I just think of paid blue checks spouting off nonsense while paying to do so and think to myself: "No ... that's not the bullshit I want to consume. I preferred the relatively democratic bullshit from before"

... and then I think: "Let's just cut the bullshit"

It is a shame, as it was entertaining.
It’s about time that tech companies go in and clean up Hollywood. There needs to be a year of efficiency imposed on these spendthrifts. The Hollywood elite needs to be held accountable, if they are not delivering ROI and maximizing shareholder value.

It should not cost so much for a TV show or movie. YouTubers with more views are producing hit after hit with nothing more than an iPhone these days. Directors should streamline their operations with AI, and on-screen talent and team members should be paid an hourly wage that is only time they are actually in front of a camera, delivering value. If they really believe in a project, they can choose to give up cash compensation for the privilege of purchasing options of a TV show. This helps align incentives and optimize risk to capital and stakeholders to do more and deliver faster with less.

Amazon and others should think about relocating production to areas outside of California where the costs are out of control and in a locale where the regulatory environment is optimized for business returns. TV shows and movies need to be evaluated on a quarterly basis and KPI’s should be enforced at all levels. To minimize risk, investment into AI that can be trained to emulate consumer watching behavior is needed and production should be run in a data-driven agile process.

If a show can’t be monetized, it isn’t worth being produced. Entertainment needs to be in the service of moving ad inventory, growing or retaining paying subscribers, or improving conversion of existing profit centers.
Notice that I said "puritan", not "Puritan" - "puritan" usually doesn't mean anything directly connected to the Puritans in modern discourse. Check the dictionary. It has a generalized primary meaning today. And your country is the definition of it (of course, also not literally).

From your link: "Puritanism was never a formally defined religious division within Protestantism, and the term Puritan itself was rarely used after the turn of the 18th century." - that makes it extremely unlikely I meant it literally, don't you think?

As for the original issue - I wasn't over 18 back then and it was very visible.
Open source licenses are still grounded in intellectual property laws.
Maybe they've only worked with machines using a Harvard Architecture
How would it work to be required to disclose the worst, though? In most instances, you literally can't describe the worst possible case in the first hours/days of the discovery.

You'd be requiring companies to speculate on the outer bounds of something that is simply not knowable.
> Any well-parenthesized S-expr is a syntactically valid Lisp program

It isn't. It's just a valid S-expr.

For example

((a b c) (d e f)) is not a valid Common Lisp program.

(let foo bar baz) is also not a valid Common Lisp program.

The syntax for LET is:

let ({var | (var [init-form])}*) declaration* form*

SBCL:

; in: LET A
; (LET A
; B
; C)
;
; caught ERROR:
; Malformed LET bindings: A.
;
; compilation unit finished
; caught 1 ERROR condition

LET is a built-in operator. It's not a function and not a macro.
I like declining the offer and going on with my life. Relaxing.
Yes, to be honest I think they should be banned. Only post mirrors of the content bypassing the paywall.
When you have nothing to offer on real issues (inflation, housing, pay, jobs, transport, health, education, social mobility etc), you have to constantly whip up fear over non-issues (people online). (both with the general population, and your own back benches)

Once you have have spent years whipping up fear over non-issues, you inevitably have to do something about them.

But you cannot actually do something that doesn't have side effect worse than the intended effect. But you can't just admit that or walk away. You have convinced your electorate these are the number 1 issues facing the nation.

So you write a law that's meaningless nonsense, and poop it out into Parliament.

That is how we got this bill. That's how we got Brexit.

Whether we can overcome this sort of disfunction will basically decide whether algo-sphere style democracy is sustainable...
Apparently they saw the video as a way of getting people on to Prime.

They aren't doing a very good job then; I had not heard of ANY of the shows they list in the article.
It is indeed quite telling that our less-capitalist forefathers in the UK do not produce streaming services like Netflix and Amazon.
I don't mind paying for content. You made a thing I enjoy, so I will compensate you for it.

However, I am not a pawn to be jerked around. Content comes to me, I don't go to it. I'm not going to search a dozen streaming sites for the thing I want. I'm not going to follow you to another streaming site because you wanted to segregate New Star Trek and old Star Trek into different platforms.

I have paid accounts with streaming sites. If your content isn't on it, that's on you for opting out of being paid.
Can this be used for non-string lists? I always found it frustrating that we have this amazing machinery for searching and modifying lists of characters, but as soon as I have a list of numbers or dates it all goes out of the window.

Let's say I have a list of login attempt dates, and I want all sequences of 5+ failed login attempts followed by a success. With a regex it's trivial, but I can't use that; I have to roll my own loop, flags, and temporary lists.

Sure, I could convert my list to a string, process it, and (try to) convert it back, but the downsides are obvious.

Even if the performance is not as good as string-based regex, why shouldn't we have regexes for arbitrary list types?

---

Edit: I realized this is not the first time I had this idea, and found an old Python prototype: https://github.com/boppreh/listregex

It's horribly slow, but as an API experiment I'm quite happy. It also gives some tools not available to regexes, like inverting and intersect patterns, and matched pairs.
It doesn't hurt to have something like UNESCO legitimizing the medium. I've attended a few demo parties (US), some were hosted at unis, all were organized by youths, and it's never been trivial to get permission to use the facilities. Especially when the intent is inviting dozens to hundreds of total strangers for a long-weekend sleepover ostensibly to program for two-three days straight.
One difference being that we have previous education, culture and critical thinking allowing us to not fall into bullshit even in case it is being spread by more sources than the correct information. I'm not sure an AI being trained on the load of garbage that comes from social media today could develop that level of resistance.
https://saml.dev

So far I’ve only got a few posts related to local-first home automation, which for me is Home Assistant and my open source library gome-assistant for writing automations in Go.

I plan to add some write ups for my woodworking projects as well when I get around to it. It exists for me to share things with friends/family and any others that are interested, and I don’t intend to force myself to write on any particular cadence.
Projects like these scream "we are VC funded and will need to figure out a 10x exit one day". And that exit will only come by converting all the generated community goodwill into cash. Staying away from them is the correct decision.
I trialed Deno for an HTTP+WS side project [1] and have been loving it. The simplicity of having Typescript built-in, the nice async APIs, and the sandbox permission system all make it a great choice for green field projects. I don't mind the url-based dependency system as much as I thought I would; with the language server DX it's easy enough to maintain.

Deno feels like Node from 10 years ago, in both good and bad ways: every Deno native community library I've pulled in (redis, S3) has had significant bugs. Fixing them has been fun but distracting. Looking under the covers, I've found the code to be really clean as a result of Deno's abstractions. The improving npm support helps to make mature libraries accessible, but the Deno native libs also have a bright future.

[1] https://github.com/chromakode/coalesce/tree/main/project-ser...
But the willfully obtuse or deceptive people who do demonstrably distort such results don't?
I've lived in a humid sub-tropic region (South Texas) of the US my entire life. A couple weeks ago we had an all time record-high heat index of 117. Objectively, that seems pretty high, and subjectively, it sucks huge dick. I'm really not all that interested in learning how much higher my body can withstand while being told that everything is fine, and anyway whatabout China?
> The entire tech industry is built on intellectual property.

That's absolute bullshit.

Companies used to provide detailed schematics. Source code was shared freely by manufacturers. Micro-soft (when they had the hyphen) was one of the first to push for this change and responsible for making things "closed", writing letters to people asking them to stop making unlicensed copies of their Basic compiler.
I think it's the worst indictment of our entire industry that Victor doesn't have oodles of funding for life.
Fully agreed on the problems of scaling up places that share data using Excel. I harbor a fear that there is no good way to share data in a large organization, and that you are best looking for ways to shrink the organization and reduce the number of people that need to be involved.

Same thing, largely, seems to apply to documents. Yes, you could farm out a book to a hundred authors and editors. We could build a tool that allows active collaboration that shows what everyone is doing. And we even have some exciting data structures that seem to make this a viable path forward. My experience has been that that isn't the case, though. Specifically, the data structures are fine and nice, but getting even a dozen folks working on the same doc at the same time usually reduces the document to a glorified database with each person doing an optimistic lock on their part so that they can do what they want to do.
I love all the dry jokes in it. Just scattered thither and yon like it was a children's book, easter eggs found in the most unlikely places.
That's a lot of really big words.

Anyway, the French protest very often. People joke that it's their national passtime. If these protestors are almost entirely children I have a hard time believing this is about civil injustice and I am more inclined to believe this is just for fun and clout.
They’re referring to a method of prompting the model that encourages it to think through something step by step rather than spit out the answer.

I think this is the paper that really kicked off this technique: https://arxiv.org/abs/2201.11903
In the broad use case where you have an IO-bound server, how is this solution better than async? It sounds like your non-async solution was to reimplement async, which shows the value of the feature.
Furthermore, if weights are copyrightable, wouldn't this make the issue of training data licenses even more urgent?

IANAL, but if weights are IP, wouldn't they constitute a "derived work" of the training data?
Pretty much everyone. You might not seek it out, but if someone else is watching you’ll probably be suckered into some kind of emotional response. A lot of cynics watch and say it’s dumb and fake and vain and overdone; and it is. But it doesn’t take long for them to fall into the trap of exclaiming how dumb a character is, or what have they should have done, or why someone deserved a punishment and then bang. They got you. You felt a glimmer of empathy for the folks on the screen, even if it’s contempt.
True but it misses the point.

LLMs will only help fake news spread faster because they're dumb --- they can't tell the difference between real and fake.

They are indiscriminate multipliers of both real and fake data.
Maybe because they already get everything they perniciously want from the existing social media companies. I don't know; just thinking out loud.
Why would it? Even drug addicts are capable of consent.
Skip to the bottom of that article to see the data you agree that Meta can collect on you ... link to that image: https://regmedia.co.uk/2023/07/05/data_used_by_threads_as_pe...
For what it's worth I considered your original comment to be sealioning yet I still considered worth it to make clear that this was predicted and avoidable, and not avoiding it was intentional.
>the details of the internal architecture can't change that

GPT4 is definitely useful, but it points towards bad news for OpenAI and potentially the entire field. A lot of people really wanted to believe that OpenAI had some secret sauce that actually pointed towards a path at true AI.

Turns out they just poached Google's own researchers and did a better job at turning Google research into a product(all the papers for this type of architecture came from Google Brain, authors are now at OpenAI). OpenAI is doing impressive work on the practical side of AI but apparently nothing revolutionary in terms of research, which is why people are disappointed by this reveal.
All these third-parties are just using limited APIs from other networks and sometimes only one source like the US government network which has very few sensors very far away from most people.

Other network maps:

https://google.com/maps/@/data=!5m1!1e9

https://gispub.epa.gov/airnow/

https://map.purpleair.com/

https://map.airgradient.com/

https://www.iqair.com/air-quality-map

https://data.usatoday.com/fires/
My problem is that I get treated like a criminal despite being a paying customer. For example:

* Purchasing a show on Google grants me a license to stream it from their servers using their clients. If they ever lose the license, I lose access to my content. For some reason I can't just download an mkv file with the movie I purchased.

* If I stream Netflix, I am limited to 720p on linux (drm)

* Netflix only works at 1080p on my 4k TV because it doesn't support the latest form of DRM

In all of these cases I am being given a sub-par experience despite trying to legally acquire the content, and for what gain? The content is still getting pirated..
It has a specific technical connotation but it does map exactly to what you think it is.[1]

Basically it's a trick that recognizes that language transformers only perform computation to generate words so for complex tasks you can get better results by asking the model to explain its chain of thought and only give the answer at the end. This has the effect of giving the model "time to think". If it didn't generate those words it wouldn't have anything to hang that computation off since it is fundamentally a word-generation model.

[1] https://arxiv.org/abs/2201.11903
Caught in the crossfire: Fears of Chinese–American scientists
Are the weights in our brain copyrightable?

Might want to get ahead of the curve on this one. How would this work? Would I get a tattoo with a license spelling out covering the contents of my body?
I like Deno for many of the same reasons I like Rust and Go, the tooling comes bundled with the runtime. No fussing about with ESLint/prettier/tsconfig/bundling and all that jazz, Deno includes it all. The dependency story was a little rough for a while but with import maps now it’s really quite nice. With the npm ecosystem integrations it’s starting to be a very nice developer experience.
Popular culture never cared about reading anyway, let alone reasoning on top of a strong literate culture. And those who have to reason through long chains of arguments will continue to do so, I believe. Therefore, I don't think the serious people will stop with long arguments/analysis/literature/etc.
I honestly can't tell if you're an arts supporter writing satire, or a bean counter who is serious.
Poeslaw Productions presents: Hollywood, founder’s cut
The biggest benefit of async/await is imo. in GUI programming where you simply can't have blocking code a lot of the time, and moving everything between the GUI thread and the backend thread can be rather costly and annoying as well as buggy if people are not 100% aware which thread accesses what.

I find it rather odd that you say "easier to reason about.". I find it much harder to keep a mental model in my head which thread currently does what compared to async/await code which you can write like synchronous code. You generally don't have to be that hyper-aware.
Devuan and Synology come to mind. Devuan's kernels lead to segfaults that I didn't successfully diagnose. Synology's are missing some obscure system call that non-obsolete OpenSSL needs.

SmartOS (an Illumnos / solaris variant) is also a bit flaky, though was more stable than those two the last time I checked.

edit: Also, switching between RHEL and Ubuntu sometimes leads to VDSO mismatches, which can cause severe performance regressions. I've seen that with and without containers.
The listing says it's compatible with Pololu pinout. That has become a common term in stepper motor control.

It's little more than a standard IC on a simple board with a standard pinout.
Think of it as the Spotify model vs the Netflix model.

In the music world, basically all music is available on all platforms. I can listen to basically anything on Spotify.

In the Netflix model, it's all exclusives. Everything is spread all over the place.
The fact that it is more popular to have children over the age of 35 doesn't change the medical realities of it. Anecdotal, but I know more couples with fertility issues than couples who have successfully had a healthy child.
Not even then. The company is only incentivized to disclose when there is public proof. Until there is public proof or compelling proof submitted by a victim they are not liable for their calculated willful ignorance.

The consequences to a company only manifest when noise is being made with proof. That is totally ridiculous.
Check the Common Lisp specification some time.

Every language construct has a syntax definition: function calls, macro calls, lambda expressions, special operator calls, ..., every macro.
That's also my understanding, either the weights are copyrightable and then all the models need explicit agreements for any work they include in it because models become derivatives or they are not copyrightable being just machine data (the most likely scenario in my opinion), they can't have it both ways.
Finding [Go] Bugs with Fuzzing
Well it's either that or you don't have a library and have wait for someone employed by a company to release something.

Someone has to get paid at some point. If this is their business why shoot it down? It's either that or subsidize this work by working somewhere that pays and leaves you with enough time for other projects.

Always wondering why devs are so cheap when they are supposed to earn that much more... Or perhaps it is just the vocal few on the internet.
> They still know all about Hollywood and the latest fashion trends.

Or tech, for everybody here claiming they don't read news.
Recipes, for example, are not copyrightable in the US. Neither are some of the concepts behind creating a fillable form. It's not an all-or-nothing system.

https://www.copyright.gov/circs/circ33.pdf
> Start+Left Right click drag

I cannot parse this. What do you mean?
There are a lot of different factors at work. One of the most prominent is El Niño, which brings warm water up from the depths of the Pacific ocean.

The number reported here is the surface temperature, which doesn't account for the heat absorbed by the deep ocean. Some years, the additional heat of climate change is captured by the oceans and hidden from the surface temperature measurement -- those are La Niña years, and the surface is comparatively cool. This year El Niño is bringing all of that heat back up, contributing to setting records.

All of this is driven by the chaotic 3D motion of oceans, taking the temperature up and down on years-long scales. Climate change operates on decades-long scales, but goes monotonically up. This year we also have an increase in the short-term scale, leading to record temperatures.

El Niño isn't the only factor; it's just one of many. Together, it means we don't set record temperatures every single year. But it will happen more and more often because of the longer-term scale which only goes in one direction.
Quick note that although I'm probably in the target audience (I have used and deployed Grafana using Prometheus and I'm generally interested in software performance), and I skimmed the readme, I don't actually know what a "Prometheus Client" is. Or perhaps I don't know what it's for. A block diagram of the whole monitoring system, with a "this thing goes here" label might be useful? Or a sentence like "This would be useful to someone building an XXX"?
That can be done just with an ssh:// URL handler. It already works on macOS, you can open terminals with an ssh session direct from web pages.