skysight-inc/HackerNews huggingface dataset:
> The earth is round, regardless of whether people have this idea in their heads or not. You deny this?

No. What I deny is that "the earth is round" and "the proposition 'the earth is round' is true" are identical propositions. The first is a proposition that makes a claim about the roundness of the earth, and the second is a proposition that makes a claim about the truth of a proposition. Those aren't the same thing.

The earth is round whether or not anyone is around to contemplate it (the earth). But "the earth is round" is not true unless someone is around to contemplate it (the proposition).

> What did Turing do that proved that propositions only exist insofar as they are conceived?

That's a long story, and I have to run to a meeting right now. If you really want to know, remind me later. I may need to write a blog post about it.

But forget about propositions for the moment. Do you think that unwritten poems exist?
Rampvlucht (2022)
For runtimes with tooling like .NET has, it's a niche use case.

At $dayjob, we have to support non-current compilers/SDKs for five different languages and runtimes where our tool will invoke (shell out, often) the CLIs for those tools. When triaging a bug report, it's great to have a version manager to use exactly the customer's version of the CLI.

Likewise, we need to make sure all of our examples and templates build even if the user has an old version, and the surest way to validate that is to hide newer CLIs and tools, and to test on the range of binaries that a customer could have installed.
I think the AI itself is working extremely well. The state-of-the-art LLMs are exceptional at many real-world tasks and are deployed in many production code bases successfully.

The more recent AI failures (like the humane pin) are at least partially a hardware problem. These LLMs require huge amounts of compute to do nontrivial tasks, and a wearable just can't run locally with the current architectures.
Among Us.

I tried it once and was looking forward to it, but it was just a bunch of kids running around with no coordination whatsoever killing each other. After a few plays I asked Steam for a refund. Maybe I was doing it wrong and should have tried it with friends.
It's really easy to remember the semantics of C. At least if you punt a bit on the parts that savage you in the name of UB. You know what libc has in it, give or take, because it's tiny.

Therefore if you walk through the woodland thinking about a program to write in C there is exactly zero interrupt to check docs to see how some dependency might behave. There is no uncertainty over what it can do, or what things will cost you writing another language to do reasonably.

Further, when you come to write it, there's friction when you think "oh, I want a trie here", but that's of a very different nature to "my python dependency segfaults sometimes".

It's probably not a path to maximum output. From the programming is basically a computer game perspective it has a lot going for it.

Lua is basically the same. An underappreciated feature of a language is never, ever having to look up the docs to know how to express your idea.
they are absolutely related to each other
The argument isn't about whether to disqualify someone for a job that involves driving if they have a DUI, at least to me.

I mentioned the Australian system...when the employer sends the candidate name/info and the complete job description, and a government agency replies yes/no. I assume they have some criteria for how long ago the offense was, etc. And that candidates generally know if they apply for a job that's not a good match, they will get a "no".

In the US system, even for a job where driving is not involved, the employer gets the full record and gets to decide what to do with that information with whatever arbitrary opinions they have.
EU opens probe of TikTok Lite, citing concerns about addictive design
A little zero-sum class warfare to distract from the fact that the TSA is the most wasteful and useless government agency in human history.
LLM? More Like "Limited" Language Model with Emily Bender, U of Wash [video]
That's a lot of words from someone who doesn't seem to have tried using these tools yet?

The Hype is smoke and mirrors, but there are tons of real use cases where things were MUCH easier than before. Things like text to speech or image recognition previously required a team of 10 ML engineers a couple of years to build now take a weekend.

It's smoke and mirrors to the "business world" because none of these translate into bottom line numbers though, and I think that's all this guy is able to see
Interview from the Invisible Machines Podcast S3E8
This is awesome, I'm waiting for a VR manufacturer to add an HDMI input. Then I could use it as a monitor without jumping through a bunch of hoops.
EU is coming up with a consent popup to fix this situation. It will flash a hazard warning and will turn on haptic feedback till you drop the knife.
You cannot design around lorem ipsum and expect the design to hold true when you start to populate the content. The theme might be responsive, so nothing breaks, but the font sizes and text box dimensions that looked great in the design phase might not really work with your real content, or force you to change your messaging to make it fit
From a developers perspective, Apple’s computer vision frameworks are already top-notch. I’m wondering how AI could further enhance the experience on the Apple Vision Pro. The greatest deficiency seems to me currently to lie in ideas for how this technology can be used sensibly.
WasmGC is not really what you think it is. Think of it as a full-on replacement for the linear memory model, not as a way to add GC to it.

It's exceptionally difficult to port a language runtime over to WasmGC -- it doesn't even offer finalizers, so __del__ can't implemented correctly (even ignoring the issues with existing __del__ semantics in Python leading to compatibility issues). It doesn't support interior pointers, so you can't have a pointer into the middle of an array.

There's no easy way to port Python to WasmGC.
Nazi company.
Official blog post: https://about.fb.com/news/2024/04/introducing-our-open-mixed...

Short video from Zuckerberg: https://twitter.com/NathieVR/status/1782436898654273981

This is an interesting move and feels like a response to complaints that Meta is hypocritical when complaining about closed platforms while running one themselves. But this isn't open source. I don't know why any OEMs would want to compete with Meta's hardware subsidized by app store revenue when they continue to own the store. Maybe there's an app revenue share involved?

Wait, at the end of the video he says "We're also as part of this going to be opening up our store to give you even more options to use whatever experiences you want. So whether they're on Steam, Xbox Cloud Gaming, our own App Lab, or even Google Play, if they're up for it." The blog post doesn't mention Steam or Google Play. It's not really clear what that means. Will they allow Steam to sell native Quest apps?

Edit: There's a better blog post that has more detail. https://www.meta.com/blog/quest/meta-horizon-os-open-hardwar... This one seems to suggest that being "open" to Steam just means allowing game streaming which they already do, while being "open" to Google Play means that they would allow Google to install the actual Play Store app on the headset, for 2D apps only. But Google doesn't want to. In any case it seems like they would specifically not be open to alternative app stores selling native 3D apps directly on the headset itself.
Money isn't even the factor. It's just an impossible job not worth the stress/trauma associated.
I used to write the / even with br tags since that was the standard back in the days. Websites even had logos stating that they were XHTML compliant.
Now I stopped writing /'s
I apologize if that was wrong, but this article on wired.com mentions that he is “confined to a wheelchair by a rare muscular disease”.
https://www.wired.com/2010/12/mf-spotify/
What category has Google really succeeded in since the initial era of gmail/Android/chrome? I can't think of any recent successes off the top of my head.
The future of programming languages in the LLM age
The creator of ReScript and MoonBit, Hongbo Zhang, wrote a blog on how to design a new programming language for the LLM age. Zhang asserts that future programming languages need to focus on improving communication with large models to fully harness the potential of generative AI coding in real-world workflows. His latest project, MoonBit, tackles security and reliability issues in AI coding through the implementation of a secure type system, WebAssembly-based sandboxing security, dead code elimination, expect testing, local and global resampling, as well as a real-time semantic analysis tool based on tokens.
Obsidian is very similar and extremely popular right now too.
Do 95% of the world's river-adjacent population live along those rivers? That's the question to be asking.
This is just a social credit system designed to control behavior, but attached to your workplace instead of your person.

The proof is simple. If you move this system from a single workplace to multiple workplaces with an ID for the worker, you get social credit.

This is a system that many governments and corporatists are in love with, as it generally “punishes troublemakers” without having anyone who’s a lawsuit target get overly involved. In my opinion, social credit systems are repression and totalitarianism masquerading as systems of personal responsibility.
Collectively, blackballing people with a criminal past has negative effects not just for those people.
> 1) Socketed chips add significant cost in a number of ways as compared to CoB or just standard soldered chips

Yep, that's probably true.

> 2) This would likely violate most FCC/CE/C-tick/etc. certifications.

IANAL but that doesn't seem like it can possibly be necessarily true, since most computers let you replace the motherboard and wifi card.

> 3) The whole assembly would need to be designed to be field servicable so you could access the circuit boards, which would also add cost (and possible warranty issues).

Not all, but most IoT boxes I've seen already are easy enough to take apart, it's just that there's not much to do with it once it is apart. So I don't think this would be a change.
Feels like Microsoft just tried this with their own VR ecosystem not too long ago and it fell flat on its face.
Sorry about that. Does it happen also on this three.js example? https://threejs.org/examples/?q=pointerlock#misc_controls_po...

You can try to change the controls mode in the in-game menu (ESC key).
This strikes me as one of those things where scale works against incentives. If you own one store, you're making good money. There's little reason to push your managers to try to drive that margin to 810% by eliminating the occasional free pizza.

But when you own a dozen stores (like one of the stories in the article) all you see are numbers, you don't care, you push as hard as you can to "drive efficiencies" and you end up with managers who are getting yelled at because they're at 97% sub-30m delivery instead of the 98.5% goal or whatever. And then you have a manager pulling a pizza out of a car wreck and giving it to another driver.
This article, like so many AI hit pieces, fails to make any credible claim against AI. This one spent far too long propping up a tenuous analogy to smoke and mirrors.

Is current-gen AI valuable? Obviously. Look at how many people say as much and willingly pay for the services.

Is current-gen AI worth the hype? No, not really. Current models are impressive but highly limited, as any user can attest (and as any hater will focus on).

What the naysayers always miss is exponential growth. They don’t look towards the future. Nvidia’s stock is high because of hype, yes, but also because the market is anticipating huge advancements in model ability. Current models are limited, but future models are world-changing, and we have every reason to believe models will continue to scale in this way.

Just you wait for GPT-5.
22 is a dreadfully huge class size and only "works" to the extent that we ignore all of the children that fall through the cracks. Teachers have nowhere near enough time to have personal time with the problem children that need it.

Children either excel, tread water, or fall behind. Children who fell behind once will most likely drop out of the school system entirely, unless it was for some very specific temporary reason, or their parents can afford private tutoring.

A school system that really wanted to make every child excel would probably need class sizes of 4-8, but that is well outside the realm of possibility.
This is not my first apartment in New York, and I never experienced internet this bad with the other ISPs I used in past apartments. Yes, this is anecdotal evidence, but this is pretty much the same experience everyone I know has had with Spectrum. Is it really so hard to believe that they might just be a bad ISP?
Nelua: Statically typed language with a Lua flavor
Apple is publicly listed, so Apple would have to disclose it if it was material (sufficiently high price).
> Then I could use it as a monitor without jumping through a bunch of hoops.

bold of you to assume your hdmi cable won't naturally form some hoops.
"we encourage the Google Play 2D app store to come to Meta Horizon OS, where it can operate with the same economic model it does on other platforms."
- I feel like this might be the rub of this. Google is way behind in building the android of spatial computing, and maybe this can play into the trust busting cases where meta can show Google not playing fair?
The Arcan project[1] has pushed for this for a loooong time and doing some really interesting cutting edge things with it.

Depending on which set of Lua scripts it runs it fills a different role. The first set becomes the display server and window manager. It can then run itself recursively to provide graphical 'apps' (but also X11 ones, Wayland ones, ...).

I run the 'regular' desktop (stacking, tiling, ...) 'durden' right now, but I hope to switch to the more crazy dataflow/zui one (pipeworld[2]) or the VR one (safespaces[3]).

Then it has an additional 'curses like' one for TUIs and CLIs, 'arcan-tui' with a default shell Lash#Cat9[4]. Looking at their recent posts there also seem to be a network story including server-side processing, but I haven't had the time to play with out more than following the examples in the blog so can't say more about that.

EltaninOS[5] is trying to build a distribution around it.

Everything scripted in Lua.

[1] = https://arcan-fe.com
[2] = https://arcan-fe.com/2021/04/12/introducing-pipeworld/
[3] = https://arcan-fe.com/2018/03/29/safespaces-an-open-source-vr...
[4] = https://arcan-fe.com/2022/10/15/whipping-up-a-new-shell-lash...
[5] = https://eltaninos.org/
Why does it have to be a "distracting" experience? What if the game was showing you where to cut to get uniform slices and grading the uniformity of your cuts? Then you'd be focused on the activitiy at hand while still enjoying that sweet sweet gamified dopamine hit.
The War Prayer
Exactly. Yes, there will be failures along the way, but the AI tools we have now are still pretty amazing and really would have been called magical 5 years ago. And yes, the AI tech already available now is already causing disruption and will continue to disrupt. Anybody saying this is just a 'blip' or 'fad' are really not trying them out.

I remember in the 90's someone telling me to not bother with Java (back with applets), because this 'Internet Thing' isn't going to pan out. That is how the anti-AI sentiment sounds to me. It's already amazing and continues to grow. There is not pulling it back now.
Thanks for the feedback! Regarding desktop, we now do have dedicated apps for Windows and macOS, and the Linux one in beta: https://proton.me/mail/download.
Good Ideas in Computer Science
I think it would be better if Go had nilptr for pointer types and "nil" only applied to interface types. That would fix the problem of "why did I return nilptr but the value != nil?" But Go should also have a named zero value that applies everywhere, or at least an operator like ? that compares anything to zero.
Isn't that a difference without a distinction? All copyright infringement lawsuits are centered around the loss of revenue the infringement caused.
How come the CPython interpreter is so slow when compiled to WebAssembly? According to the figures in the article, it runs at 23% the speed of the native version.

Wasmer, which they're using in the benchmarks, should run code "at near-native speeds" according to the docs[0]. Apparently it has multiple compiler backends, so maybe the choice of backend affects the result?

[0] https://docs.wasmer.io/runtime
Pretending they were just asking for bathroom breaks is total BS.
There's a crazy theory that negative AI posts are foreign agents or even big tech trying to slow down progress of AI so they can catch up.
The micro black hole cellular battery: Ultimate limits of battery energy density
After social media depleted the dopamine receptors, now time to give in the final punch :D.
Any recommendations for ONVIF-compliant cameras for home use?

I've tried a handful of used hikvision / dahua in the ~100usd range but they don't play nice with anything other than the vendor's software. Like VLC / open source VMSs can't play the RTSP stream. And even then, its a crapshoot whether features like stream configuartion or PTZ work.

I know the ONVIF group publishes a list of verified-compliant models but it's been a pain trying to find one that's affordable and in stock.

I've heard from devs that work on this stuff that most of this pain stems from how loose the ONVIF spec is. Too many optional features (even per "profile"), too vague on requirements, leading to lots of vendor-specific metadata / camera quirks.
Because Microsoft, Apple, and Google are free to host whatever software they want. So make them not want to host TikTok. They can just come up with some BS as to why they don't host TikTok. The BS doesn't even have to use the words "China" or "Chinese" as long as the BS can conceivably be argued to include TikTok but not Instagram and whatever else you have. Doesn't matter how stupid the BS would be ("Ah, we don't host social network apps that starts with the letter 'T' unless the next letter is 'w' so Twitter is ok but not TikTok") because it would be understood by all that it is BS.
'really succeeded' sounds super crazy dismissive.

Besides android being gigantic huge, you still have google maps, chrome, gmail, pixel phones, passkey, yubikeypush/2fa, the new cookie aproach, YouTube!!1 etc.

Why would Google need a 'recent' success to be able to win ar snail?
Will AI accelerate or delay the race to net-zero emissions?
That doesn't sound right, have you reported the issue you're describing above to our support team at: https://proton.me/support/troubleshooting?product=mail?
A Pragmatic Photo Archiving Solution
The project runs on Three.js, a JavaScript WebGL library, which explains the low startup time.
WE are currently working on developing a Point of Sale (POS) system tailored specifically for restaurants, and I'd love your input and collaboration!

Are you a restaurant owner or manager?
Are you a software developer interested in the food industry?

If so, I'd love to connect with you to gather feedback, insights, and discuss potential collaboration opportunities.

Key Features:

Streamlined order management
Menu customization
Table and reservation management
Reporting and analytics
Integration with third-party services (delivery platforms, payment gateways, etc.)
Your feedback will be invaluable in creating a solution that truly meets the needs of restaurant owners and managers, and developers alike.

Let's revolutionize the restaurant industry together! Drop me a message or comment below if you're interested in learning more or contributing.

#RestaurantTech #POS #FeedbackWelcome #CollaborationOpportunity"

Drop email at: rouund1@gmail.com
Demo account:
username: demo_rouund
password: Test@123
See https://archive.ph/7l8Xb
The XREAL glasses are trying to fill the niche of a headset that just mirrors a HDMI input on a big virtual screen.

I don't think anyone is currently making an all-purpose VR headset which can also do HDMI mirroring though.
Isn't Clear just a more exclusive TSA PreCheck? It only works because the normies haven't saturated it.
Oh weird. My pixel 4a on Firefox felt like it was not hitting 60. The audio was fine and it was playable but I couldn't find the cockpit so I gave up
> Primary implies the lack of localization

No, it doesn't.
I don't get great results myself from diving into coding immediately. I personally get better results if I have some storyboards, workflows, ins/outs, etc. identified and worked-over first.

But when I do get down to writing code, it very much takes an evolutionary path. Typically the first thing I start writing is bloated, inefficient, or otherwise suboptimal in a variety of ways. Mostly it's to get the relationships between concepts established and start modeling the process.

Once I have something that starts looking like it'll work, then I sort of take the sculptor's approach and start taking away everything that isn't the program I want.

So yeah, a fair amount of planning, but the first draft of anything I write, really, code or otherwise, is something for me, myself, to respond to. Then I keep working it over until it wouldn't annoy me if I was someone else picking it up cold.
I work full time, make triple the minimum wage, and can barely afford to live in a 256 square foot micro studio apartment.

You're dreams are not my reality.
This sounds like a good idea. Love him or hate him, Zuck knows how to ship.
Clearly I've spent too much time on Reddit, I just assumed they were joking and had reversed the video...
First known jet dogfight between AI and human pilot carried out
So, I think if saying "the earth is round" is true and saying the earth is round mean different things, then we haven't construed the former properly, the former should be construed as expressing the same thing as the latter. If it's just a linguistic disagreement, then I think we can set that aside, I'm not very interested in that. The original point was that we can intuit certain things as being true, e.g. that sense-data reflects something about reality, and there's no need to appeal to how useful believing this is or isn't. Like, conceivably, nuclear wars could lead to the annihilation of humanity, but I don't see why that should have any bearing on whether atomic bombs exist or not.
Yeah, chatbots have completely changed the way I program, and I'm not a "self-mythologizing executive and founder in Silicon Valley", also it's not only very useful but also entertaining, quite a lot of fun creating stuff with my friends using Suno or text-to-image models.
It would be interesting if Amazon would calculate how much CO2 they save because their customers don't drive to the supermarket but order from Amazon. With the data that Amazon certainly has access to, it should be possible to calculate this. Certainly considerable in the US.
Crazy theory that runs afoul of HN guidelines :)
When I'm making a throwaway interface like this, I write the GET handler to return a super-minimal page with an unstyled form having method=POST and the couple of inputs required. The POST handler actions the request and redirects to itself to GET the form again - browsers are so forgiving of incomplete/incorrect markup and the base browser style-sheet screams "this is a prototype, don't judge it!" to anybody you show it to.

To be clear I'm just talking about the web interface, not implying the whole project is throwaway - on the contrary it looks like a lot of work (and a lot of fun :) ) kudos!