skysight-inc/HackerNews huggingface dataset:
> still nobody does 2.

They don't seem to grasp how bad their setup is, and consequently are willing to understand awful programming conditions. Even punch cards were better as these people had the advantage of working with a real programming language with defined behaviour. "when exactly is this string interpolation step executed? in the anchor or when referenced? (well, it depends)". No it's black box tinkering
(you might as well be prompt engineering)

the C in IaC is supposed to stand for code. Well, if you're supposed to code something you need to

- be able to assert correctness before you commit,
- be able to step through the code

If the setup they give you doesn't even have these minimal requirements you're going to be in trouble regardless of how brilliant an engineer you are.

(sorry for the rant)
There's a few blog posts you can search for by Matthew Flatt that explain a lot of detail. As far as I know, Racket has their own fork of Chez Scheme.
"Beware of bugs in the above code; I have only proved it correct, not tried it."

Donald Knuth

--

> doesn't give big payoffs.

I think that's the key here. The idea that proving things correct means they are flawless is...fancyful. And the expense is very high.
It’s not even being prudish. It’s clearly informing you that hey, be careful about sending nudes because you might not realize the consequences – the messaging is about as nonjudgmental as it gets. As someone who has who has literally made amateur porn and probably as far from prude at it gets, this really doesn’t register on my prude detector.
Ask HN: Any tips getting Google OAuth Consent Screen verified?
We've been stuck waiting in "Verification in progress" for a few weeks now, with no contact.

Same with the Google Ads API basic access, have requested for it more than a month ago, sent the follow up form - nothing. Really frustrated :(

Does anyone have any tips for getting verified for Google OAuth Consent Screen and the Google Ads API Basic Access?
All I know from the news is they have a marketing team that decided to jump on the AI hype bandwagon. Plus the aforementioned outlandish performance claims.

Unfortunately marketing like this tends to trigger an equal and opposite reaction in me.

Anyone with AI programming experience can comment on whether they have made any specific believable claims about performance?
This is the forth major version since then; six times the speed and half the inflation adjusted price must broaden the appeal.
It's very simple, just put the project up and note: "I make a thing the way I like it". Do not paint a picture of something that you've made for public interests and actively encourage people to use it. Like when you make a fancy website and docs and benchmarks to compare to the n projects (that people depends on) before yours.

I personally would never use young OSSes, regardless of quality, but there are lots of gulible people in the software industry, not dissimilar to life in general.
If you compare like with like, the US is more diverse on almost every dimension except language. Catholic/Protestant is a major dividing line. And if you are going to say “white” is a category, then Singapore is virtually 100% “Asian.” If you want to talk about ethnic groups, then the largest US ethnic group is German Americans, which are only about 25% of the population.

And yes the homogeneity helps Singapore’s orderliness. The overwhelming majority of the population is Asian, who in general are more collectivist and orderly than say Italians.
> Display out

As you said, this is only a Pixel problem. Speaking of, have you tried Samsung Dex?

> Accessing your own device

Seriously? Apple basically invented the idea of not giving you full access to your "own" device. At least there's a file explorer now...

> Messaging that actually makes sense

Messaging under Apple is literally just messaging on Android plus iMessage. You still have SMS, like 50 common third-party messengers, all the Google ones, but then also this Apple-only thing. How is this better? If you want a better chat experience, look at Blackberry (yes, really!).

You do have a point regarding privacy though, as most Android devices ship with at least Google's spyware, if not also their own...
Hello, I'm the author of Djot!

THe idea behind Djot is to allow a playground-like tool that can allow me to easily and quickly write React and Javacsript/Typescript code and have it execute and render instantly.

Ever since Storybook came to the scene several years ago I've always wanted the ability to have a tool that allows me to just write React and have it functional without fiddling with setup, configuration, or anything else.

Thhis is the very first public release of Djot aimed at showcasing the concept and gathering feedback from early adopters.

There are many features I'd like to implement down the road, there are many bugs that needs to be fixed, and I'd love knkow what you can come up with as a usecase for Djot.

Please feel free to submit issues/requests to the github repo: https://github.com/elis/djot/issues
It probably needs several military applications first. For example, you very rarely see transparent aluminum (also known as ALON®) in windows 30 years after its invention, but we wouldn't even be making it, for example for IR missile domes, if its development hadn't been funded by the U.S. Department of Defense.

The next step would then be special medical applications. For example, as a synthetic material for implants. And there you wouldn't want ultra strength, but a certain bounciness and relatively low density.
In and of itself no. But in the context of responding to someone saying “your comment reminded me that some people don’t have a scientific background” can be read in a similar way to saying “your comment reminded me that not everyone on Hacker News is a genius”, even if that wasn’t the author’s intention.
How to choose the right static site generator
I was looking for some software that I could use to make sense of my bank transactions from imported statements, and sadly found that none of the FLOSS options I tried could import the counterparty's bank account number.

I have to ask, do people mostly enter transactions manually into their personal finance software? Or do they just go by names for imported transactions? This means that I can't meaningfully import transactions between my multiple accounts. Do others just fix them up manually?
- Whatever is there that has a higher profit-per-target is already being done.

- Reducing the type of crimes that are economically feasible has value in itself: some criminals will move on, it makes it easier to investigate the ones that remain and reduces the load on policing.
Yes, nowadays we systematize and include Boyle's law and others within thermodynamics.

About Vacuum Science: I grew up around and in Magdeburg, which is famous for her (vacuum) hemispheres. https://en.wikipedia.org/wiki/Magdeburg_hemispheres
Fun tidbit, the UK until this year didn’t have a cellular broadcast system. During the pandemic the government worked with each mobile provider individually to deliver notices to every subscriber [0].

[0] - https://en.wikipedia.org/wiki/UK_Emergency_Alert_System#Coro...
Formal methods and program proving for safety critical systems is
something I had a little experience with back in the day. We used VDM
and Z, to get "full state maps" that then got coded in Ada. Most of
that was medical/defence stuff.

Probably the field has advanced hugely since my 1990s take on it but
as I knew it:

It only worked for quite small programs. You had to build a modular
system out of many provable units. Enumerating all the ways they could
interact becomes impossible beyond a handful of variables.

It's was time consuming and laborious. We had this awful but
necessary waterfall model with stage after stage of review and
approval and feedback to correct modules.

So my idea of formal methods seems at odds with how I understand
current AI as massively multi-valued.

It seems all you could do is place formal constraints on a wild
system, like caging a beast. Anything remotely "intelligent" would try
to break out of that... and we're back to square one.

Can anyone who is versed in modern formal methods say more about how
an AI can be formally designed (rather than grown by training)? Or
is this, as I suspect, where two incompatible worlds simply collide?
I did the same, worked wonders for me.
>That's probably true in a select case, but this is why you use libraries in Python - to make use of all the hard work that already exists in C/C++ in those libraries, with Python serving as a high level and far easier to write functional wrapper.

Yes, but that's also the issue they address. That you cant just write plain Python for something not covered by libraries and have it be fast. You need to then mess with extending with C, Cython, and so on.
Lol :p
Aitoolnet – The largest directory of AI tools
What can’t be found in an open source project? AI first layer inspection and lidar?

I’m not an enthusiast either, I wanted to produce my own CAD designs. And I understand not wanting to tinker with the printer. I also don’t care about that shit. But I also appreciated that I could just order parts from where ever or even print my own upgrades. I also agree that any decent printer before the Bambuu was expensive. Bambuu really punches above it’s price point.

But a lot of a printer isn’t something complicated and super fiddly that can’t be user repaired. And this style of printer started off as an open source project with maximum right to repair. But at this point, I’m convinced, that if an open source printer with absolute feature parity was released, it would fail. They would never compete on price. Ownership of your device never mattered.
>Most bottlenecks are IO

For web apps perhaps. They're not in that domain. In other domains IO is not the problem, CPU is.

>Also rust shared libraries are already there for pretty much every language that you actually need speed

Given that the whole selling point of this is to not have to use two languages, that's kind of irrelevant to this.
The json modules in the same languages doesn't support the madness and doesn't necessitate a safe loader

It's possible someone could come along and write a json library that would support this, but somehow we have made it this far without it and that's a good thing

The point is that yaml and xml both have side effects in the form of require and eval that json won't, and frequently people are unaware of this
BC is similar [0], though it’s twice a year.

[0] - https://www2.gov.bc.ca/gov/content/safety/public-safety/emer...
I attended Max's recent lecture at Harvard, where they were recruiting for their AI safety fellowship; a friend of mine captured a good video, 54 minutes:

https://youtu.be/st9J6GefWeY

I think it's a good approach, we should use AI to write proof carrying code. I think we'll want AI to do things beyond what we can prove is safe, but maybe we shouldn't.

I think some commenters here are being too dismissive, Max came across to me as a provacatuer, making proposals that are not sure things, but whose rebuttals will advance the field.
Yes, LLMs and human brains share at most some faint similarities.

Nevertheless, human feats can act as an existence proof of what is possible. Including of what might be possible for a neural network.

(I'm not sure whether a large language model necessarily needs to be a neural network in the sense of a bunch of linear transformations interleaved with some simple non-linear activation functions. But for the sake of strengthening your argument, let's assume that we are assuming this restrictive definition of LLM.)
This isn't really "sending files from one computer to another" aka P2P, as the title claims, if a relay is required.
There was a similar change in the audio software world a month or so ago, by a company called Waves. And I think Avid pulled the exact same thing recently.

Seems like a lot of companies are "testing the waters" how far they can crap on their users.
This page is somehow quite interesting, returning 404:

$ http https://openai.com/dall-e-3
HTTP/1.1 404 Not Found
Cache-Control: no-cache
Connection: keep-alive
Content-Encoding: gzip

But others seem returning normal 200.
Flagging won't change the facts. High density housing is bad for the environment, especially high rises.

(Discussing pros and cons, with links to the research.)
https://humantransit.org/2010/03/does-highdensity-life-have-...

High density destroys plant life, increases traffic delays for delivery of goods, and increases the number of goods that are delivered. Transporting humans to their jobs is a very small fraction of our carbon footprint overall. And there are more pressing environmental concerns than just carbon emissions.

Larger homes promote sharing. One vacuum cleaner for example.

Stop parroting high density marketing. Stop destroying the environment to enrich investors.
Btw, models like GPT 4 can express that they are not confident.

But that looks like a 'smeared' out probability distribution on the next token. Not like the text produced by an unsure human.
with subtitles it's bearable
High end magazines vying for a come back
Unfortunately didn't work well for me using the gnome libraries on linux or mobian/phosh. (If you don't want to install KDE just for file transfer, etc.) scp on the other hand is bulletproof when hosts are directly accessible.
Thanks for the link!

I can very well believe that empirical this can work. (I haven't checked the literature.) My point was merely that given my priors, this isn't intuitive.
My question is still, can this aircraft decide on its own to eject the pilot?

For example if it thinks it is going to crash and the pilot is unconscious (or it thinks that). Like one of those attention detectors in a car.
> So your objection isn't at all particular to delivery apps or uber or EBT, it's broadly an objection to "regulation". Cool.

If you think once something has been enacted into law, will remain effective throughout its history and in the same way, then there's nothing really you will be able to understand.

If any particular regulation benefited the people it is supposed to serve the most on a more holistic basis, beyond some narrowly defined definition (more than those who can afford to bear the direct monetary costs of conforming to it), I wouldn't be against it. SNAP served a much bigger role in 1939 in supporting those who needed it most than it does today in 2023 via EBT. There is no political will to correct for the institutional graft in the US (and arguably in a lot of "developed markets") the poorer off will suffer more, until things slowly fall apart under its own weight. There's a balance to be had, and we're a long ways from that going on stateside and across the north atlantic.

> What produce are you going to be growing in your third-story apartment?

Me, nothing (minus some herbs/onions). Less than 100m from my 20+ story apartment people are raising chickens and goats and selling the meals they make thru them to me on the same channels I could buy from carrefour, also less than 100m from me. Having that choice matters more to those worse off than I, than trying to pretend that if they could be givin some permissioned credits to buy only from carrefours (and to the exclusion of those raising chickens and goats next door, unless they become subservient to the carrefours). Indonesian people are lucky in that the institutional graft from 1998 has yet to build up like SNAP from 1939 in the US, yet people can still benefit from the advancement of technology since 1939 in how to go about their lives esp when it comes to building up wealth in their local communities and meeting their own needs as how they define them.
I'm pretty sure you have a few options - you can download an old version of Steam and just not update, you can download the games for offline use and then copy them to the VM, you can just download a crack for that game since any game old enough to not be usable on a new OS wouldn't have DRM, or you can pirate them (as you said). :)
winden.app is a Magic Wormhole web app for files up to 200MB https://github.com/LeastAuthority/winden
Would amount of critical vulnerabilities be lower if we sacrifice some performance? 10-20%?
Your house can be opened in seconds using jigglers, combs and bumpkeys.
No, how does a lot of crypto mining infrastructure now reduce the cost of cryptomining 5 years down the line?

I will say though that at this point in time it's ridiculous how little research has gone into reducing the energy use of networks.
That list of recent papers doesn't help your argument. The consciousness problem is not going to be solved by wishy-washy creative writing. Very few, if any, of those authors seem to have seen an experiment up close.

The quote from Strawson continues to assume consciousness is present in every particle in the universe. It presupposes an extraordinary force of nature, unlike any of the others, to escape a relatively small problem, and it's not based on any observation. No form of consciousness has ever been observed outside animals with a (reasonably large) brain (and even those are rare). There's no explanation for that. If there is one, it will include something like "you need a lot of consciousness particles in a particular structure for it to emerge."

Panpsychism is based on the rejection of the possibility that physical processes can explain consciousness. Which makes it all the weirder that they need an extra physical force to explain it.
Anyone feel like the authors haven’t read “The Naked Sun”?
Was just dissing KDE connect but it works well in most combinations.

Also you can connect a USB cable.
> Multicolor is not something you actually use often and is horribly slow

Let's get the straw man out of the way: "multicolor" is not the only use for printing with multiple filaments.

I own an X1C. I print with breakaway support filament all the time. It's a total game changer. And since only two filament changes are required for each layer that has a support interface, the time it adds to a print is negligible.

There are plenty of uses for multi-filament printing that don't involve changing filaments every single layer of the print.
Because every time you do it, you run the risk of discovery. This can be expensive (you burn your exploit) and politically embarrassing.
Thanks for ignoring my argument.

What do _you_ mean by 'systematically distributing power' then? Anything that's not begging the question?
That's exactly why they are paid so much. It's more important that they don't fuck things up than "demonstrate productivity".
Except it is. What part on the phone can't be replaced? What is Apple lying about? Even if you don't calibrate the parts, the phone is still usable, you just don't get the features of the calibration - battery status/level, Touch ID, Face ID, etc.

Can you give me an example of what you're referring to? A part that prevents use and doesn't require calibration or a part that Apple is lying about - either works.
It's ironic that the audio quality of most AI online courses is terrible.I'm looking forward to the moment when AI can be used to improve the audio of these lectures, especially older ones like the Feynman lectures.[1]

[1] https://www.youtube.com/watch?v=-kFOXP026eE&list=PLS3_1JNX8d...
"The Habit Loop is a neurological loop that governs any habit. The habit loop consists of three elements: a cue, a routine, and a reward. Understanding these elements can help in understanding how to change bad habits or form better ones."

- Duhigg, C.
Related: https://www.gocomics.com/calvinandhobbes/1992/08/27
double entry accounting would solve this problem by aka "contra" entries most of the time.

one thing would be to have a petty cash "virtual account" that pulls money in from your checking account(s), credit cards and pay off groceries from there. that would not be helpful when auditing actual payments because you did actually pay directly from a certain bank and not the pool but this should be simpler for personal use.
Clerk.dev charges like Okta and then gets pushed to people who should be using something like Cognito which costs ~1/100th as much.

If you're not building some $100/per/month/seat enterprise tool there's no way you should be reaching for something like Clerk.dev, but obviously that'd be a constrained market.

So now it's pushed as a general bandaid for Next.js having a poor auth story, complete with the "official authentication partner" badge (but of course, no mention of the investment)
There's no MITM, transfers are end-to-end encrypted. You don't have to trust the relay.
To me, stack overflow represents open source and communal knowledge.

While Modular/Mojo aims to be this in the future I strongly feel their blog posting about a proprietary system runs contrary to their audience!
I’m using beancount with fava as UI, any experience why you choose based on Ledger vs Beancount ? Thanks
This seems a little disingenuous. The entire reason that user-serviceable devices aren't possible is that the tooling required to service them becomes more and more specialized as the devices get smaller. It's not a matter of whether or not they can make user-serviceable parts (which why I replied to a comment about things like Fairphone and other modular/serviceable phones) but whether they can scale that and the reality is that 1) it doesn't scale without being so expensive that users can't afford the devices and 2) most users just don't care about user serviceability. So the idea that there are 2 ways to build is a false dichotomy.
> I understand passion projects and the article hints that might be the reason, but I just don’t understand why people would spend such enormous amounts of effort on such weird projects.

There's a great side-effect to these quirky projects. There's a Christian/Bible story called The Unmoved Rock. Essentially God tells some guy to go push against a huge boulder and he damn well near kills himself trying to move it over and over. After a while he complains and God points out that he never asked him to move the rock, just to push it, and now the guy is totally ripped and strong as an ox.

Essentially, however useless or niche these things are, you yourself grow with the making and crafting of them. You exercise and develop your creative thinking, and your problem solving skills.
We Can Finally Do Something About the Third ‘Tripledemic’ Virus
Basically anything you build, a lot of people will crawl out of the woodwork to inform you that they'd prefer you build something else.

The only sane option is to build for yourself, you can't win trying to please that crowd.
I agree, string theory isn't very respectable. It looks like an attempt to piggyback a convoluted mathematical structure on existing theories, without much benefit.

> Like you don't understand Panpsychim.

It posits the existence of some force of nature to explain consciousness. It can't explain what consciousness is, it can't explain why consciousness has never been observed outside animals with a (reasonably large) brain (and even those are rare) .There's no explanation for that. If there is one, it will include something like "you need a lot of consciousness particles in a particular structure for it to emerge."

Panpsychism is based on the rejection of the possibility that physical processes can explain consciousness. Which makes it all the weirder that it needs an extra physical force to explain it.