skysight-inc/HackerNews huggingface dataset:
yes, they do seem to improve LAN support in subsequent updates, see[0] for example 1.7.0 release notes where they added camera stream to LAN Only mode as well

[0] https://github.com/bambulab/BambuStudio/releases/tag/v01.07....
Are you thinking of something else? Perhaps the same-origin policy, the thing that requires CORS if you need to do various cross-origin stuff? Because CSP is not something there by default.
A new closed source programming language sounds like such a losing strategy.

Looking at the Mojo examples it seems like some kind of a superset of Python with lower language features. So you get C like performances if you’re willing to manipulate C like concepts. Truly revolutionary.
> I completely disagree that good video is a sign of respect. I consider people wanting video on in the first place to be a sign of disrespect. It is rarely important for getting work done and I see it as a waste of resources.

I agree that video is often unnecessary for effective communication, and I too avoid it whenever it's not requested. But there are contexts in which it's great, like occasionally seeing the face of a loved one, who lives far away; or helping debug an issue with a physical object (PCB, server rack, appliance...) that you need to see to understand what's going on. Especially in the latter case, having better video quality is just objectively better, especially if you can get it essentially for free.
The old offering is still available as an in app purchase (it only unlocks importing, but doesn't expire) - but I think the conversion rates for IAPs are far, far lower
Don't you need a Big Tech web engine to sign-in/register accounts in the first place?

Because if so, it feels "incomplete".
Do you have proof that humans are conscious?
It wasn't so long ago that Kerry won the popular vote and lost the (contested) electoral college. The feeling seems to be that there are enough small democratic states that the advantage can go either way.
I mean there are things you do like turn it on the server etc.

So if you haven't done anything to work with something can you say you've 'used' it.

Perhaps people just demonstrate a different opinion of linguistic usage?
>I cannot take the survey with my noscript/basic (x)html browsers.

Good.
I had a high level brief about proven software:

the model must be excrutiatingly simple, and often, the "bugs" are in model design, not model implementation code, namely the model is "wrong" in the first place and you end up "proving" the implementation of a "wrong" model.
Yes - it's so difficult to get up the pecking order in the App Store

Unfortunately I won't be able to support older versions - iOS 15 already causes a lot of problems. That said, all devices that ran iOS 13 also run iOS 15
yes, but a thicker laptop has a lot of advantages, a thicker monitor only a few.
Maybe, but I'm not totally convinced: If an AI understands intentions, then it can carry out our intentions without us doing any traditional programming, specified using only plain English, especially in a safety-critical situation where this would probably be the best thing to do. Anyway, how would formal methods measurably help here [EDIT: By here, I mean security critical applications]? And have they shipped anything yet in that area, given that we've been waiting 60 years for them to do that?

The answer is partially yes, admittedly, with TLA+. What else have they shipped?
400k thread demo from 20+ years ago fits into the context of the new Java 21 virtual threads discussion - many people seem to think you can run only a few thousand OS threads or that they use a lot of memory.
Where I live ISPs give static IPs with subscription, so, at least sending files from office home is a non-issue.

In principle IPv6 should've solved this problem a long time ago... without a need for third parties.
15th Anniversary of GOG
It looks like the RTSP stream is X1C exclusive, and not available on the P1 series. Not sure about the A1 as that's new

https://github.com/bambulab/BambuStudio/issues/1536
I'm not sure what OS you're on, but iOS 13 was about the buggiest OS they ever released. If you're on that, I'd highly recommend upgrading. iOS 14 was pretty solid - but I'd still recommend upgrading
> This prospective, longitudinal study comprised six sequential automated web-based surveys

Until we get proper controlled studies we don't need to talk about that imho
Doesn't even Hackernews employ something like this?

There are hidden input fields on the login page..
Not every app using Spring is using Spring boot
I asked if it's a horror movie and it says "I had a stroke ask another question"
For a HTML survey, there was a heck of a lot about JS in there so I quit it. Not for me.

I quit JS for HTMX because time in JS, fully loaded time with framework knowledge and maintenance, is just not very important for my use case which is CRUD apps. The change to HTMX saves me time, it saves users' time, it gives a consistent experience for both.

That's not to say JS is bad. I'm not dying on that hill as it's not true - pick the tool for the job. But a HTML survey this is not, it's a HTML for JSers survey.
I guess a vendor failing someone is a subjective thing. What i meant is more among the lines of: if your criteria is hardware upgradeability, freedom of choice and privacy then apple, microsoft and other failed you as vendors.

But equally if your laptop vendor doesnt meet your criteria of battery life, compatibility with linux, then it equally failed you.

Linux is not a specific vendor though, it’s more like a society that built something. But if it doesnt meet your criteria then it also failed you.

On my selection of hardware it works, and have none of the issues described. But my criteria are different. I want to be able to upgrade my hardware, i want to able to install whatever os i want, and i dont want a company that i paid money to want even more of my data, and i want a stable os. Criteria met.

Guess the point is not being religious about products, including linux. Your employer should reconsider hardware manufacturers if they want linux - there are more than plenty out there. Perhaps even apple laptops if that makes you more productive.
Just remember if a device that is intended to operate stand-alone/offline requires you to make an account or connect it to the internet to active it. It isn't yours and will stop working one day.

DJI and Insta360 for example require you to connect their cameras to the internet in order to "activate" them. What do you think will happen when those servers get turned off.

Same goes for 3d printer and regular printers. I wouldn't put it past HP to add a feature that would prevent you from printing if the printer hasn't been able to call home for the last x days.
> As Nix Flakes become more prevalent, perhaps there needs to be some way to containerize them.

You may be interested in nix snapshotter, which can run nix packages in containerd.

https://news.ycombinator.com/item?id=37407758
It’s a new structure I came up with as described in the docs/POLYGON_INDEXING.md document.
https://github.com/tidwall/tg/blob/main/docs/POLYGON_INDEXIN...
It can be any scripting language, Python or Typescript via Deno are good choices because they have batteries-included cross-platform standard libs and are trivial to setup.

Python is actually preinstalled on Github CI runners.
That does not sound right. Don't suppose you could record a video, then tap the 'help' button and email me it?
If there’s one thing that infuriates me about the current crop of phones, it’s this. I’ve actually mostly switched to voice dictation because my iPhone touch screen sucks so much. Bring back physical keyboards!
Very insightful, thank you! I always wondered about transparent aluminium but I see that it is actually a ceramic and not elemental. https://en.m.wikipedia.org/wiki/Aluminium_oxynitride
Found the Ruby on Rails take from 2012.
If, by "here", you mean AI, the answer is "unlikely". I was replying to the GP's assumption that such technology exists for traditional software. It does.

CBMC exists today, and can be used to enforce function contracts in C, Java, and C++. Similar systems are being tested for Rust.

Spark is a subset of Ada that incorporates function contract enforcement using a combination of model checking and a proof assistant. There are commercial projects using Spark today.

seL4 was built from the ground up using Isabelle / HOL in order to formally verify their process isolation guarantees. There are much easier ways to do much of the work done in seL4 today.

I use formal methods daily. About 95% of my work is checked using model checking. The rest is extracted to C using Lean 4.
Bay Area techies are funding a $1M contest to solve an ancient literature puzzle
No one should be permitted to make money from software development tooling in ways I don't approve of.
It seems there is some legal challenges on its way (heard a game dev "suggesting" it, and another person showing some shabby stuff from unity in its TOU).

But this is not limited to unity, but all game engines/game libraries, because if those "indies" stay "hurt enough" and unity gets away with it, ALL other game engines/game libraries will be able to do the same (aka risks will be too high to use them, unless you are Big).

Some "hurt" and motivated enough game devs will probably move to open source game engines, but this is no magic, those engines are said to be still quite inferior to the big proprietary ones ("not ready"), and they have their own issues.
Gender-affirming care, also known as transition (transition what? Their sex!), is done in order to make trans people more comfortable in society, in their inner self (hormones affect mood, behavior, feelings, etc) and in their body by changing their sex. This is why they are prescribed sex hormones as these are what guides gene expression and decide sex-dependent characteristics. While some trans people would be content with just changing their physical appearance most of them seem to actually aim to change their sex.
Chris Lattner seems like a great guy in interviews and has obviously mad multiple incredbile contributions to the field of software.

But I don't get the play here - a company CEO/cofounder bragging about the performance of a proprietary language which nobody can use right now? Who wants this?

Make the language and make it public and open; get large companies on board with development, start some useful real-world projects, involve the open-source community, show that it's actually good for something instead of giving investor presentations.
As an atheist and a materialist (in the philosophical sense), I'm forced to the conclusion conclusion that all humans really are no different from LLMs. We take in information, process it with our brains (that are fundamentally made of atoms just like computers) and then produce outputs.

The main differences between human brains and AI at the moment are (a) a lot more randomness and indeterminacy in humans due to the way our brains are constructed and (b) the total amount of human brainpower exceeds the total amount of AI brainpower. The means that at the moment we appear more creative but soon (i.e. in hundreds of years rather than millions) I think we'll have AIs that are indistinguishable from people
Well, yes, but in the past the versions that now get a new integer number (feature releases) were mandatory for everyone and there was no LTS at all. There were some differences, but not as big as many think. The biggest one was the psychological aspect of the name (7u4 or 8u20, which were not patch releases but big feature releases).

So why did we create the LTS service? 1. Because the new feature releases, while no more risky than the old ones (like 7u4 and 8u20), do require a little more work that companies don't want to put into legacy applications, and 2. Many companies indeed are willing to pay for more stability for their legacy apps.

So while it is absolutely true that some projects want better stability, this level of stability is new. Companies that religiously stick to old versions now didn't do that in the past. The simplest explanation is that the new release model isn't yet understood, not that thousands of companies changed their risk strategy.
They've been called out for removing credits from merged code by the main developer of OrcaSlicer: https://twitter.com/fever_soft/status/1678262984999837701 . Technically not against licenses, but still.
I am looking for assembly implemented JVMs (x86_64/risc-v/etc), that to remove SDK pressure and give stable auditability of machine code.

Do those exist?
Troy Hunt scours the dark web for your stolen data
> In my tests I haven't managed to trigger it without explicitly performing a dodgy action.

But that just means it doesn't flag you. What is a "dodgy action"? Other people might do things that you think are dodgy, without any malicious intent at all. A common one: if I sign up using Tor, is that dodgy?

It is very frustrating to get caught in these frustration loops.
Diplomacy, yes. But if someone came to me with figure and graphs outlining my mistakes, I'd be mortified and ticked and probably react poorly not because they thought I was wrong, but because they spent a ton of time diagramming why I was wrong instead of just talking to me.
thanks. Any other offerings you considered on your journey to ente.io?
Then you either don't get the same scalability that virtual threads give you or you get it but with asynchronous code that requires not just more work but can't enjoy the same observability/debuggability on the Java platform.
I meant something a little bit nerdier.

Mostly we worry about algorithms that can run in polynomial time. It's easy to show that when m < n, xᵐ = o(xⁿ), and that when a polynomial's degree is n, the whole polynomial is O(xⁿ), and this leads us to divide up the polynomial-runtime space according to the degree of a representative polynomial. It's very normal to talk about "linear" time requirements -- meaning ϴ(x¹), "constant" requirements [ϴ(x⁰)], "quadratic" requirements [ϴ(x²)], "cubic" requirements [ϴ(x³)], etc. (OK, it's less common to talk about higher degrees, but the concept stays relevant there.)

So once you're thinking that way, you can ask where the function f(x) = log x belongs. It isn't a polynomial, but it is asymptotically limited by polynomials and so it's present within the polynomial-runtime space. If you represented the growth rate of the function f(x) = log x by a polynomial approximation, F(x) = xᵏ, what would the value of k be?

The answer is that k must be a positive value that is greater than zero but less than all positive real numbers, an infinitesimal. If you're calibrated against polynomials, a logarithmic time requirement is "not constant, but so close to being constant that it's impossible to see the difference".
The “state of HTML” is that it has become a glorified payload wrapper to deliver corporate JS shitware to you as efficiently as possible.
I'm guessing that the UTS would be the same, it just moves up the yield strength to be closer to UTS.
There are two undeniable facts: 1) the Python ecosystem has gone exponential. Its only really comparable to javascript in ubiquity but arguably addresses a much bigger problem space: it represents the closest to democratization of information processing since spreadsheets but with enormously wider applicability. 2) the computing hardware landscape that will enable the next stage of widely distributed information processing is a complete mess. Very difficult to utilize fully, monumental lock-in, etc.

Modular put 1+2 together and came with a proposal. Whether the rest will be history depends not so much on their technical ability to deliver but how they position this versus the vast potential user community. So far they follow a carefully choreographed VC driven marketing playbook that is kinda distasteful. Its not clear if this is a case of the end goal justifying the means.

People crying loudly for "open source" are on the one hand an indication of the governance and incentives challenges lying ahead. On the other hand they don't seem to be volunteering the massive salary spend that is required to move this mountain.

Minimally, this project helps outline what "good looks like" in this domain. If they fail to change the world there is always other talented people to try to retrace the path without taking the wrong turns.
If you drink coffee or take caffeine in little doses once every month I could see it happening.
I've heard of seL4, but I don't think it gets used much in the software industry. Not getting used kind of defeats the point of it, unless we need another 20 years for the formal methods people to produce an OS kernel people will actually use, while the AIs are eliminating programming as a field altogether.

I'll need to think about the other stuff you said. I reserve a high level of skepticism to everything you've said.
Will be interesting to see results, as HTML did not evolve too much during last year, or last 5 years even. Also, what are JS APIs doing in this survey?
"Technique for 3D printing metals at the nanoscale reveals surprise benefit" - I would be surprised if it does not.
I've been tracking the Bambu printers ever since the crowdfunding days, and the overall feature set is impressive. Like I wrote the other day* Prusa is in trouble here. As much as I appreciate them (being in the EU myself and owning an old Prusa clone), they are not competitive feature-wise (although the XL mostly holds its own against the X1 series as a workhorse printer if you buy it with multiple toolheads).

The A1 Mini is a better deal than the Prusa Mini if you need to print with support materials (never mind color, that's just a gimmick) or if you want to make sure it will keep going as spools run out, although mechanically the AMS lite looks rather fragile and takes up a _lot_ of space.

In a year's time smaller manufacturers like Kingroon are quite likely to be able to copy a lot of the quality of life improvements (and I would love to see some of those noise reduction features and improved auto-tuning come to Klipper, which I'm running on both my printers).

Until then, though, Bambu is ahead--although I have a feeling my next printer will be a Voron because I really like the idea of not relying on a manufacturer for maintenance (but that's just me).

* https://taoofmac.com/space/links/2023/09/20/2233
I don't know if its them doing that in the shadows: because glibc/libgcc/libstdc++ (and sourceware binutils) devs are literaly killing native elf/linux gaming with their manic abuse of GNU symbol versioning of the core userland libs. Are those devs rolling for them??
If the MITM is in the client's LAN, DNS can be spoofed too. A simpler solution would be to just use SSH certs for host keys.
Absolutely valid point, thanks for your comment!
> most of the problems of regulating AIs apply to regulating corporations, which can be thought of as AIs with slow internal data transfer

Or to regulating humans, who are like AIs with squishy bodies but still manage to build and manipulate dangerous stuff.

It is bizarre to me how doomist theses act like our society has never had to absorb autonomous unpredictable actors, yet that is exactly what society is made up of.
Assuming you mean strictly in the hiring/legal sense, it is absolutely not.
I use hledger and I enter everything by hand.

I used to dread it too. But actually, in normal life, the volume of daily transactions is not that large. Besides, filling out a journal disciplines you. And VS Code does autocomplete for accounts and payees.
The Shadowy Global Network Vilifying Climate Protesters
I did some sleuthing to look into the footnotes implementation done by that guy looking into history of the Bloomfield bridge. Here it is for anyone else who’s interested as well: https://www.stevans.org/inline-footnotes/
On the surface I'd agree, but the devil is in the details. The presenter is a professor and he probably designed the slides taking in account a student audience instead of the "usual" industry audience. Why that matters is because students might read the slides on their own without "attending" the presentation, and so he needed to cram as much context as possible on each slide.

Basically (from my viewpoint) these slides are supposed to stand on their own as a lesson instead of an auxiliary aid or tool as in a "show" put on a stage by an industry expert. Neither case is lesser than the other, but the goals lead to different design that might be interpreted as wrong (from the other side).

Of course this all rests on my assumptions, if the presenter didn't intend these slides to work on their own then indeed they're not good.
Interesting how this is only really a problem today, 10-20 years ago most of what we built and shared was things we wanted to build. Things that were cool, and awesome.

But now we have to explicitly say it's OK that what we build isn't a unicorn start up idea. Not feasible for a global business. Hacker news comments always include how the idea can't be a business or is pointless, impractical etc.

Is it because money, wealth and status is becoming the number 1 thing on everyone's mind now?
Well, with linux syscalls, the proper way is complex too:

There is a syscall low hard limit but usually a big limit (or even none) in major filesystems (for instance ext4), namely very long paths must be broken down, and relative opening must be done until the file is reached!
Since there are a few comments on JS, I recommend reading this section in the article: "Why are there JS questions in an HTML survey?"

An excerpt:

> If you don’t write any JS, we absolutely still want to hear from you! In fact, I would encourage you to fill out the survey even more: we need to hear from folks who don’t write JS, as they are often underrepresented. Please feel free to skip any JS-related questions (all questions are optional anyway) or select that you have never heard these features. There is a question at the end, where you can select that you only write HTML/CSS
multi-color is lots of fun! https://github.com/cjdaly/FishCoin
To be fair, few of these would qualify as "modern". Ubuntu 19.04 and 20.10, macOS 10.15 are all out of support, and RHEL 7 is almost ten years old and nearing the end of its support.
They need to stop using the word human interchangeably with "rich people" because they are not the same thing.
macOS upgrades since El Capitan
US Government may require open source software to use memory safe languages
>Max came across to me as a provacatuer, making proposals that are not sure things, but whose rebuttals will advance the field

I think that's the problem with Tegmark. His curiosity and willingness to engage are attributes that make him a gift in the fields of science. They also make him a popular character in media, which let him make radical statements that are made to provoke and arouse curiosity, but end up being presented as the opinions of experts in the field, or even the consensus. In my opinion, the end result isn't always only positive.
Not with the help of investors’ money of course
I'm a longtime user of gnucash and this is a great product to convince me to move to ledger/hledger.

Question for author - Is it mostly a reporting tool or does it work similar to h/ledger where I can input my transactions from paisa?

Question for HN users - have you found ledger to be easier to use compared to gnucash? My challenges have been my lack or ease of understanding on how to input transactions in ledger and also getting good reports comparable to gnucash. It's highly likely I'm unaware of how to use the tool properly but I am not sure where to learn this.
What have you used CSP for?