skysight-inc/HackerNews huggingface dataset:
A Kindle 4 runs Linux and has a 750mAh battery, which when multiplied by 3.7V gives 2.8 Wh.A single AA battery has nearly 4Wh, so two of them give nearly triple the capacity of a Kindle 4. A Kindle 4 lasts for a good month under light use, by suspending the CPU whenever the user isn't actively interacting with the UI. You could certainly make a productive Linux-based PDA that ran for a long time on AAs, provided you wrote custom software.
Branchless Programming: Why “If” is slow and what we can do about it
Young Pakistani coder+GPT+Nocode beats German with 2 decades exp
But is it even true? The bar seems incredibly low, today, for what AI people will believe on twitter. My default mode is to ignore/disbelieve any of this stuff unless verifiable.
> I'm curious why they didn't use fishing line considering it's much lighter.

They do:

"In the launcher pictured above a Tennis Ball is propelled by compressed air, towing a fishing line over the tree."

I don't know where you would even get a wire made out of lead. Sounds like that would need to be ordered/made specially.

The only place they mention "lead" is in the context of a lead sinker being attached to the fishing wire. And they reject that approach as not safe enough compared to theirs which is a tennis ball attached to the fishing line.
Is there a cpu-only version of this?

The base SD model run okay on CPU, and reasonably fast with intels MKL backend. But getting the whole auromatic1111 package to run on CPU seems to be a bit more complicated
Typo sparked a Microsoft Azure outage
Usually these limits are based on the capabilities of the underlying platform (like the JVM) or the implementation choice. One of the goals is to have fast function calls and less so to have long arguments lists. Less than 2^16 isn't that rare. SBCL is more on the large side. Implementations like ABCL, CLISP and some others have much smaller max arglist length limits.

Don't use

(apply #'+ long-list-of-numbers)

but use

(reduce #'+ long-list-of-numbers)
I think the parent poster is pointing out that similar whistleblowers have been murdered or intimidated out of their city.
Posh: Type-Safe Graphics Programming with Functional Shaders in Rust
Most type systems are not full-featured enough to elegantly encode traits/typeclasses or ML modules. You need dependent types, as seen in languages like Agda or Idris. And these in turn are hard to implement in a language with a traditional compile/run phase distinction like Rust: the _full_ feature-set of dependent types is pretty much only available at compile time. (Which is why dependent-typed languages tend to add "program extraction" features, which reintroduce that phase separation in a rather ad-hoc way.)
I wouldn't say this is actually true: while there are generally fewer dimensions in hardware testing, it's not actually a given that if you have tested over the range in each of them that you will certainly be OK across the entire space (in the same way that having unit tested each of your functions at extremes doesn't mean the whole system will work as intended), not to mention it's not very common that you actually have anywhere near proper coverage of each of those dimensions (and don't get me started on lifetime and aging testing). Also, testing is often very expensive so it's also very common that you don't actually have test results for the version you're actually building (one of the reasons safety critical hardware is so expensive is because regulations generally require you do this as opposed to handwaving).

(This isn't to say software isn't more complex than hardware: just that I think software engineers have a tendency to romanticize the level of competence and confidence other engineering disciplines have in their designs)
It's not a pure "if you don't know SFINAE you're out" but it gives you a very strong indication of which parts of the language they're actually familiar with (although maybe it's a little dated now), and for a lot of candidates you could go through a list of dozens of these acronyms and they wouldn't be able to reasonably identify any of them.
> the custom in the field is to list authors alphabetically by family name

This is only true in some fields of mathematics; many areas of mathematics do not follow this rule. (Also mathematician, and none of the papers I've been involved with have done the alphabetical thing.)
Fishes are the real lab in vertebrate evolution
Those are from a time when the UI/UX was called GUI and didn't get in the way of users.
This is wonderful. I love the tests also.
Bmw argues that their model is more efficient since the engine always runs at its most efficient RPM range
I know we haven’t gotten to that point yet, but I’m curious to see if in my lifetime we get a successor to Rust that fixes a lot of issues people have with the language now.
It is hard trying it figure out what path to choose.

Do you just run Docker or do you combine it with Docker Compose?

Do you instead opt for Proxmox in combination with Podman?

Maybe you opt for something simpler like this tool; Sandstorm.

Or even more complex of a setup with a K8 cluster with combined with Gitops.

It is interesting and a lot of really good tools to chose from but it is not obvious to me.
Can you verify answers faster than GPT can generate them?
Would paying for such upgrades for people who cannot afford them be considered cost effective carbon dioxide removal?
I think it's because it is permissive (the implementations are). Much like the success of hammer and nails.
If you are interested in the actual bits, then that's what this is. Hence in Rust the method on f32 and f64 to do this is named "to_bits"
-ansi translates to -std=c90, so you're effectively cancelling the -std=c99.
CICO is a very simple model that doesn't account for a lot of complexity in the human body and its nutrition.

Consider the following: 1500 calories worth of Snickers bar would not have the same effects as 1500 calories worth of beans and legumes or 1500 calories of pure soda. Satiety, nutrient and calorie availability, hormones (insulin), all differ depending on what you're eating -- and how often and how much you're eating. Even the combination of macro nutrients will have different effects: for example, fats + simple carbs is way worse than fats + proteins + fiber.

And exercise, mood, sunshine also factor in.

In the end, of course, thermodynamics holds and if you eat 1000 calories (no matter what form they take) when you need at a minimum 1500 then 100% yoi will lose weight. But how fast, how easy or how healthy that would be is a different story depending on what you're eating.
Reason is a powerful tool, but it pays to know its limits
Why Lisp Syntax Works
I'm not sure I'd recommend choosing to go on 4chan actively as a hobby, but I definitely had an interesting experience growing up on it.

I must have been in middle school when I first started going on there, and it's where I first learned about Bitcoin in ~2010/2011.
It’s a language feature in the sense that it determines which programs are viable in the language. This is similar to garbage collection. In principle, you never have to explicitly free memory. Given infinite memory, garbage collection would only be an optimization. But since memory is finite, it becomes a language feature. Without garbage collection, programs that don’t free their unused memory will typically run out of memory sooner or later, similarly to how a tail-calling program will run out of stack space if the language doesn’t support it.
Rust has an optional clippy lint that will warn/forbid all basic arithmetic that might over/underflow, forcing you to use dedicated methods with explicit behaviour instead.

It's very annoying , but I use it in code where this is critical.
Can we use this corpus to train an LLM-output detection model?
How about contractual work? Say that you'll make a new song/album if people pay you a certain amount of money. As a bonus, this system would encourage artists to actually produce new music instead of milking a dead cow.
Over the evolution of Rust, I've been increasingly despairing about many of the things Graydon here dislikes. I assumed the present "syntactical insanity" was, somehow, intended; it seems, really, it wasn't.

I find Rust basically unusable -- at the level of abstraction I want to write code, basic definitions break line limits.

Rust seems to be a repetition of C++'s mistake: a language which conspires you to pretend it's another. There are now nearly as many Rusts as C++s.

If I return to any domains where Rust would be relevant, I'd probably now opt for Zig or equivalent.
Of course Guido ended up not completing the "For Life" part -- neither his life nor the life of the language. (I think PEP 8016 is the one that started the steering council to take the place of the BDFL? https://peps.python.org/pep-8016/)
GeoHot isn't "lucky they even speak to" him, he's spot on about the issues and the utter incompetence of most middle management and what needs to be done if they want to compete in the GPU space.

And it's not because the problem is "that hard", it's because AMD doesn't have many skilled engineers like you mentioned at the end of your post (basically contradicting yourself!), and won't prioritize the right issues.
Yep.. that's the site. Used to allow all questions and even jokes. It was laid back and then it became a "that's not the right question." type of place.

I miss it.
G’mic 3.2.5: 15 Years of Development for Open and Reproducible Image Processing
To celebrate 15 years of G'MIC development, here's their project progress report, summarizing 1½ year's work.
I've implemented this for calls in a single-pass compiler and it is really simple. You just treat the yet-undeclared call as if it was used correctly and add it to a list of calls to check later.

Compared to everything else a compiler needs to do this is trivial.

Doing it for types is harder though as far as single-pass compilers are concerned. Both are much easier if the compiler builds a syntax tree (or at least a list of all declarations even if the function bodies are handled at a later pass) ahead of time though.
Mars in colour as never seen before
That's bulk transmission, not distribution.
Hey, congrats on shipping it. Let me run this by you:

I was just thinking of building a CLI tool that I can say “start me a X lang project”, with my preferred dir layout, files and default dependencies. Basically a “react-create-app” or “bundle init” for any language.

Is Framed a solution for that? From what I saw there’s no default file contents and ability to run commands?
I can understand why people do this.

After having tried out various offerings written in Python, PHP, Node and whatnot I'm tired of things that almost work. That is, they work well enough to convince me to try them, but not well enough for making me want to continue running them.
Reddit isn't providing free content, the users (or whoever the users got the content from) are the ones providing the content. None of them are paid. Reddit is only a host and would ideally be replaced by a public utility or community-run alternative.
Parent selected agents is an interesting idea. Hypothetically you could also ingest outside content if moderation/toxicity/etc/etc checkers approve it

I realized yesterday that gpt can fairly easily make fake geocities pages about anything. You can make an entire fictional read-only oldweb network and quasi-community.

Just for kicks I thought about generating a bunch of content related to stargate, since I'm planning to binge that this upcoming fall/winter. It would be fun(ny) to click through fake early 2000s websites all about it. I'll just have to ask it to behave like they're scifi nerds from usenet..
So it's not really about security?

Thanks mate, you saved me some money.
> That and the other recommended way of setup that wasn't mentioned is to install the OS without messing with any containers

No way.
But is a Hilbert system easier to run in a computer since there are many axioms which clarifies the cases where contradictions or some inference rules are used which might be hard to program? For example, on the top of my head, in predicate logic, how would you encode an inference rule like exists elimination? It's tricky enough for me to think about, but to be able to encode a computer with it, is harder, and I can't remember if something like this falls under the undecidable problems category or not.
Aren't all sciences were born from philosophy? Graduating from the journey of understanding the meaning of something and graduating to measuring it to further understand why the world works the way it works?

Social sciences, economics, and medicine are relatively immature (hundreds of years versus thousands) compared to the hard sciences. These fields all apply the scientific method to the best degree available and the subject matter is pretty complex therefore results are difficult to reproduce. They could do a better job at self-regulation, but maybe that's part of its maturation process.

Humans with their personalities and motivations are harder to "science".
What OS do you use now?
Based on its functionality and UI, I'd really like for FlingUp to succeed. It looks like the best reddit alternative that's currently available.

But if it's just going to descend into being another Voat, I'm not going to bother encouraging my communities to switch over. We're all familiar with what invariably happens to forums / social media sites that have no restrictions on what type of speech is allowed.

Lemmy is looking like a viable alternative. According to this[0] page running your own instance is pretty light on resources, and they have an official Ansible playbook install option[1].

And, whereas with FlingUp I have no control over their moderation policies, with Lemmy I can set the moderation policies for the instance and defederate any other instances as needed.

0. https://join-lemmy.org/docs/en/administration/administration...

1. https://github.com/LemmyNet/lemmy-ansible
It seems to be more about hypervisors.

"KVM is a type 1 hypervisor, which essentially means it is able to run on bare metal. QEMU is a type 2 hypervisor, which means that it runs on top of the operating system." -- https://linuxconfig.org/qemu-vs-kvm-hypervisor-whats-the-dif...
I wonder if it would be possible to probe what a model is trained on by usage of prompts the reply to which can only be answered well with certain training data.

For instance if I have some body of text that can't be found elsewhere on the internet, if the reply of the model references the information in that text in some way you may be fairly certain it was used in training.

The hard part is probably finding such a body of text.
It hinders single-pass in just the same fashion as types do. Consider:

f() { g(1); }
g(x) double x; { printf("%lf\n", x); }

You have to know the type of g's parameter before you can generate code for f.
OK. Guess I read it opposite. Your wording of choice, seemed to imply there was a choice. I missed a negative, so you are saying, a lot of people do NOT have a choice.

I guess then, I agree. A lot of people have very limited choices, and in tech we have slightly more choices. I'd just disagree with the degree of choice. In Tech we have more choice, I'd say that isn't much more. If there is some arbitrary scale of choice, from 0-100, and most people have 10% of choice, and in tech we have 20%, that is still at the bottom. When you get outside of SF, there is a vast world of tech, where tech people are not rich, and they are slugging away making ends meat like everyone else. Generally better off, but I'd say a really long way from being able to make a choice to retire early.

It's kind of like the scene in Game of Thrones where they are arguing about slaves having a choice, and Tyrion is saying slaves have a choice, meaning that they can commit suicide. So yes, we all have a choice.
There is Framed import command, where you can import framed file from specific url/examples. Then if you would execute Framed create it will create dirs and file structure. In the future I would imagine that there will be more examples files in the repo so you would be able to do f.e framed import —examples react.
Because surveillance and lock-in are profitable.
As great as J Dilla was, I still think Q-Tip has the best ear for samples.
> a browser with proper text reflow (ie. Opera on Android, since all others can't be bothered)

The sad thing is all browsers can reflow text, they just demand websites add a meta tag and will otherwise emulate a larger desktop-sized viewport. This is even more ridiculous now that these browsers also hava a separate desktop mode that also enforces this behavior even with the tag but still couldn't be bothered to fix the default.
Which is the right engineering career path for you?
Yeah anything older than the Pi 3 with armv7 is also more or less unusable in terms of OS deps, since there just aren't many package releases being maintained for v6 and below.
Everyone is different, and what may work for one person may not work for the other. It’s important that you play to your strengths.
Do you understand how these companies resource their customer service divisions? Because I do. They most likely have zero direct customer service for end customer support, you'd need to be purchasing >$100m of hardware to be getting direct engineering support. It's more likely that the person supporting him internally is getting funded by the Sales & Marketing budget than by support.

All George is really asking for is AMD to entirely reorient their business, change their sales and marketing strategy, hire in a cadre of extremely expensive software engineers and give up the entire margin they make on the chips. No big deal.

It's like... sure, it'd be great if they were suddenly a fantastic new company that operates differently, but we live in the real world here.
The numeric tower in Common Lisp may surprise us with simple things as addition:

(+ #c(10 -1) #c(20 1))

the result of adding these two complex numbers is the integer 30.
> as a large, physically confident man, I would hate to have a job where I'm required to occasionally wrestle with people

Sure, that's fair. Not everyone wants to be a bouncer. But nightclubs recognize that they need bouncers, because sometimes patrons get unruly. The school system hasn't grasped that having enforcers on site is a useful symbol to ensuring everyone has a quality experience. I'm saying it's better to have the standby enforcers be of the Sheepdog archetype [1] and serve as regular teachers, than to have security guards fill the role. Now I agree with your next point:

> I think when you've got to the point where your wrestling ability is a relevant criterion as a teacher, the system is already completely dysfunctional, and we need to take a broader look at the problems that young people face.

I'd argue that these problems start in the home/family life of the children. Single-mother households produce a disproportionately high fraction of juvenile delinquents, and we've had a marked increase in those per capita.[2][3] Even asking serious questions about why we have a bunch of single-mother households is outside the Overton window of many mainstream organizations. Usually the only answer put forward is "more government spending".

[1] https://www.mwkworks.com/onsheepwolvesandsheepdogs.html

[2] https://www.researchgate.net/publication/258200285_Race_Gend...

[3] https://www.statista.com/statistics/252847/number-of-childre...
(1) start with a reasonable estimate of daily expenditure. (2) based on (1) predict the food intake to achieve the desired weight change. (3) measure food intake. (4) measure weight change. (5) update (1) based on (3) and (4). goto (2).
It's very hard to eat a kilo of nuts, because of their strong satiety effects.

And yes, 100gr of nuts is about 650 of calories, but that doesn't mean the body will actually "access" all those 650 calories.

For example: https://www.sciencedirect.com/science/article/pii/S216183132...

"The metabolizable energy (ME) of nuts was consistently lower than that predicted by Atwater factors for investigated nut types"

"The lower-than-expected ME may explain a lack of association between nut intake and body weight observed in the literature"

A search on google scholar for: peanuts lipid bioaccessibility digestibility

might bring more studies on this topic
Mines Rescue Memorial Site
Why would we name it estranging ourselves? Oh..., I am sorry to assume your species. Perhaps you're an AI?
Yes, laws vary by jurisdiction. Nonetheless, we have a lot of licences which work as worldwide as possible.

As much as I wish otherwise, it does not appear to be possible to dedicate works to the public domain in Germany, and quite possibly other jurisdictions. As such, it's best to offer an MIT-style licence for residents of such jurisdictions. This doesn't stop you making a public domain declaration in jurisdictions where you can.
Business viability should be a means to realize the core mission, not the other way around.
Ok yeah that makes sense! Thanks!
That's not true.

While requesting The Unlicense to be officially OSI approved [0], I've approached a German Lawyer specialized in Licensing and from his PoV the terms are also clear in Germany.

[0] https://lists.opensource.org/pipermail/license-review_lists.... ff.

[Edit] formatting
For me there are two main use cases. First is when you have multiple small repos in the project and you want them to be coherent, you would use shared config file and enforce the structure on ci. Second would be to import best-practice config files to quickly start the project with pre defined dirs/files structure.
This is simply wrong. None of this stuff is even complicated.
Do you really need effect handlers as a separate feature once you have async/await? It seems like you could easily encode one with the other.
Solar panels – an eco-disaster waiting to happen?
In case it goes down again: https://web.archive.org/web/20230530021555/https://obscurito...

Fascinating article. It's a shame that this is an art form we'll never get back, now that software distribution is all digital. We'll probably see it in limited and collector editions, but not as widespread as it was in the 80s and 90s.

There's just something about unboxing a physical item that connects the user to the product in a much more visceral way than downloading something online. It's the same experience that vinyl fans enjoy; the entire process of unpacking something and the physicality of interacting with it increases enjoyment of the end product. Maybe it's the multisensory experience, and not just listening or watching the product, but there's definitely something there.

That feeling must've been enhanced when the box itself was special. And the marketing aspect alone was significant, which explains the higher sales of the software packaged this way. I'm sure these games in their original packaging must fetch a high price on the collector market.

We still see these specialty items nowadays in collector's editions, which go even further by packaging all sorts of memorabilia related to the game. Personally I stay clear of those, since they're usually overpriced cash grabs, and the items are plastic garbage. I can't deny the convenience of managing only digital products, without having to allocate space to store all the packaging. Environmentally, it's certainly for the best as well.
Maybe better asked as "why use your ethics"?

There is little consensus on a broad range of ethics.
> Who are you to say that no one should be able to retain GPL-like control over their software if they want?

GPL exists to avoid free software being used to create proprietary software. If proprietary software didn't exist, what would be the point of GPL?
It's way more possible to exhaustively enumerate the states a software system might be in than any nontrivial hardware system.