skysight-inc/HackerNews huggingface dataset:
Interesting! I've done some visual node based editors in the past. One design principle I might suggest: develop a DSL and have the editor just be editing programs in that DSL. You might be able to use Racket—not sure—but alternatively you could copy what I've done here (https://ohayo.computer) and design a Tree Language (https://jtree.treenotation.org/designer/).

It makes the problem simpler IMO, as then you get to iterate on the language and capabilities independently of the UI.
Apple's iPhone launch included the vertical monopoly that was their magic. It addressed consumer needs like no other and everyone else was left playing catch-up.
Nice to see managarm mentioned! managarm does have vastly different goals though, as in running Linux software unmodified (i.e. compiled from source, not necessarily binary compatible due to ABI differences) on a fully async microkernel, including desktop apps a user might find useful for general-purpose stuff. Currently, we run weston (the wayland reference compositor) and have support for Xwayland and some graphical applications (as both Qt and GTK are ported). However, there's still a large part of Linux' API surface to be covered, so support will only improve with time.
I did not know this:

“The Texas Constitution mandates that the majority of transportation funds go to improving the highway system.”

No wonder the Katy Freeway in Houston is “one of the widest highways in the world with 26 lanes.”
it's unix (bsd), not linux.

also, the minimum is actually 4 digits. you can tap "passcode options" when setting/changing passcode. not sure how much better that would be though. i generally like face id but i do hope they add in-display touch id sometime.
Validating Next.js API routes with object schemas
I created an example on how one can easily add both compile-time and runtime validation with object schemas for their Next.js API routes using Next REST Framework, which is a framework for creating type-safe, self-documenting REST APIs for Next.js authored by yours truly.
The GitHub Silverware Drawer Dilemma, Or: Finding Active Repository Forks
Wouldn’t one expect they’d lay charges then?
How about "Get Private Access"
In my country it would take 17 years of minimum wage salaries or 10 years of average national salary to buy an apartment. Mind you, this is a calculation where the assumption is the 100% of the salary for that time goes only into housing and that the house prices stay as these are today.

It is ridiculous.
Consequence of gamifying things (reviews, stars, upvotes, retweets) means everything is gamed.

I'm reminded of a post from a few months ago: a guy had a massager who got annihilated by Chinese competition because they knew how to exploit Amazon's systems.
> The only thing I think is hard to debug is focus related issues, due to the Windows event loop getting in the way. That's hardly a Delphi-specific issue though.

That and losing the source code for some random, obscure vcl component you found on torry's back in the late 90s :-)
The problem is that we're highly interconnected. Even when global trade suffers, we're connected through the Internet. So the sentiments flow and spread globally. I agree some countries may be doing better, but for them to keep doing better they'd have to be paradoxically culturally isolated, and yet economically open (because production costs would skyrocket otherwise), and the latter almost implies Internet these days, which on its own turn implies cultural exchange.

It's messy.
There are two ways to learn: from imitation (language models are stochastic parrots) and from validation (problem solving, playing games). Many people only remember the first and forget the second. But the second one has the key to increasing intelligence.

I don't know what the authors mean by "current algorithmic frame of AI research" because it is very diverse. But evolutionary methods work well with neural networks, they are not just next token predictors.

> Evolution through Large Models

https://arxiv.org/abs/2206.08896

It is true that simply using a dataset or a bunch of environments is not enough.

> General Intelligence Requires Rethinking Exploration

https://arxiv.org/abs/2211.07819

But when sufficient data can be generated from acting in the environment, then a model can surpass human level, like AlphaZero.
Agree. What the author did here is just plain data types, not even abstract data types. Another big mistake in the article is

>Classes in an object oriented design are fundamentally ADTs

It isn't. I would suggest the paper Object-Oriented Programming Versus Abstract Data Types by William R. Cook which explains the fundamental differences between the two data abstraction techniques.

edit:

https://www.cs.utexas.edu/users/wcook/papers/OOPvsADT/CookOO...
yeah, they avoid any gplv3 software on macos, not sure if ios has any that's even gplv2.
Isn't it prohibited to depict any of god's creations in some/many/all Islamic sects? Thus all the interesting geometric patterns.

Does that mean that virtually all Western art is islamaphobic?

At what point does the demand that Western art doesn't do something that offend Islam itself become westernphobic.
> You're not considering how influence is measured objectively.

> The leading philosophy schools today are in those countries, as evidenced by published output and citations.

Making an objective measurement of the wrong thing doesn't give you grounds to make a claim. I could make a list of "The 50 Most Influential Living Philosophers" as defined by how long they can hold a note before needing to breathe, and it would be objective, but so what? Those wouldn't actually be a set of 50 influential philosophers.

A list of "50 most influential living philosophers" that doesn't include Jorge Bergoglio is a list that's telling you no effort was made to connect the title of the list to the contents. Regardless of what you think of his abilities in philosophy, it's his job and he's beating everyone on that list for influence.
I'm not familiar with Realergan but here are a few:

https://github.com/upscayl/upscayl

https://github.com/thekevinscott/UpscalerJS

https://github.com/jimmygzzmtz/webFSRImageUpscaler
To some degree this already happens though it's less of a direct subscription or denial of services and more of a function of the taxes and connections in an area. Police officers often have entirely different response times, presence, escalation/deescalation strategies and enforcement policies for wealthy and poor parts of a city.
InterLibrary Loan (Ill) at the Internet Archive
In Europe she would be likely be dead or in protective custody.

https://www.dailymail.co.uk/news/article-10655679/Teacher-30...

https://www.france24.com/en/france/20211015-the-violence-sho...
Thanks for that. I found some fbsd forum posts about this, but they also mentioned virtualization.
I wish that you could create Android apps directly from the Lazarus IDE
2KB SRAM. ~1-2ms TCP setup + HTTP round trip, ~500-1000 requests/sec. Guess the MCU.
I understand that, I just don't understand why another committee didn't get created to implement a stricter subset of standards. Kernels, micros, automotive, aeronautic, and many more, all have very strict requirements for safely running code.

I quite liked the (C#?) method where you have to strictly mark code as "unsafe" in order to use some features. I remember reading some code where in the comments there was a brief discussion about why it exists and alternatives explored.

Some of my old code even had to be robust against bit flipping (extremely safety critical). We had many code paths that could only be entered if bits were flipped in the execution triggering a reset, but also we had methods for ensuring the data memory was not tampered. I/O operations were purposefully difficult to initiate so that even if the entire execution memory was corrupted, there was an insanely low probability it would start I/O without triggering a reset.
> ... is there more to the significance of tail call optimization that I am unaware of?

Looking at TCO in isolation is missing the big picture. You need to consider other language features that uses TCO.

In Scheme/Racket the specification says that implementations must support an "unbounded number of active tail calls" (for implementations that use stack frames to implement function calls, this means that TCO must be supported).

This requirement is a global requirement.

The other feature of Scheme/Racket that compelled the authors of the Scheme standard to require an "unbounded number of active tail calls" are macros. Macros in Scheme allow users of the language to add new bindings constructs (e.g. pattern matching), new control constructs etc to the language using syntax rewrite rules. In Scheme these rewrite rules work locally. [Racket allows for global program rewrites too].

There is a range of constructs that are possible to specify locally - if tail calls don't allocate that is. As an example: There are embeddings of Prolog in Scheme.

If Scheme didn't support TCO then a global transformation of the program is needed.
So instead of writing local macros - a full compiler is needed.

These days it is common to see JavaScript as a compilation target.
Babel compiles JavaScript+NewFeatures to GoodOldJavaScript.
The features that allow local rewriting are much easier to implement than the
ones that require a global transformation. If JavaScript had TCO it would
be much easier to use JavaScript as a compilation target.
The painting in question: https://upload.wikimedia.org/wikipedia/commons/2/20/Mohammed...
Unless you need hydrogen for a capability that only hydrogen has it is much more efficient to use solar electricity either directly or to charge batteries.
Tokenization doesn't explain this kind of a mistake. If you ask about "djsjc" you would get the proper answer of 5. The claim that this is performance trade-off does not hold.

I cannot edit the question, but would like to say that I'm extremely impressed by ChatGTP and entire question was an honest curiosity about the limitations of it. It is strange that many responses are about blaming my question and example as just wrong and not about the limitations of the ChatGPT model (admirable anyway).
Thanks for the nice comment! Ping me neal@metricdc.org and I'll leave you some Metrics :) . Anyone else interested, can ping me, too. I'll leave you a "cash" pickup that you take using a QR code or URL.

The thing about centralization is that you have to abide by banking laws in each country, so accounts that are verified would have an identity that goes with them. This is the trade-off with crypto, but even crypto doesn't have this benefit because to get involved, you go through a centralized, regulated exchange.

Transactions and identities on the CBDC are private as there is no public ledger, but warrants can still be used to compel the bank to give information on an account, same as any other bank.

In my opinion, liquid staking + inflation still has the classic liquidity trap problem. You want to hold the "currency" rather than spend it, and there's not really a process to acquire the currency, other than exchanging other money for it. UBI is a process to acquire the currency, and the tax an incentive to spend it and spread it.

I will do grants this year that people can use to make new business and get new money in to circulation. Employees of businesses getting grants will also get verified accounts.
Thanks, then Galway it is. Kerry and West Cork, too. Are the Skellig islands worth it?
Given the bug was reported 13 years ago and still isn’t resolved, that leads me to wonder what workaround they presumably did use
I once tried to make something similar, I used OpenCL for performance. But either my knowledge wasn't sufficient or the architecture wasn't properly designed, so on complex node trees the performance was pretty bad; if I remember correctly - because there was too much data being copied between RAM and VRAM back and forth and the engine was designed to be too flexible (for example, an arbitrary number of color channels) it harmed the performance. Eventually my enthusiasm faded and I abandoned the project. The original idea was to replicate Foundry Nuke's flow. Back then it supported GPU only for some of the operators.
> I see it as akin to a programming language having only first-order functions vs. having higher-order functions.

Interesting analogy, and I think there are a couple different "levels" of looking at it. E.g. fundamentally, they're the same thing under Turing equivalence, and in practice one can be transformed into the other - but then, I agree there is a meaningful difference for humans having to read or think in those languages. Additionally, if those are typical programming languages, you can't really have the code in the "weaker" language self-upgrade to the point the upgraded language has the same expressive power as the "stronger" one. If the "weaker" one is Lisp though, you can lift it like this.

In this sense I see traditional compression algorithms - like the ones we use for archiving, images and sound - to be like those typical weaker languages. There's a fixed set of features they exploit in their compression. But human learning vs. neural network models (or sophisticated enough non-DNN ML) is to me like Lisp vs. that stronger programming language, or even Lisp vs. a better Lisp - both can arbitrarily raise their conceptual levels as needed. But it's still fundamentally compression / programming Turing machines.
ChatGPT is wrong about the current conversation for the same reasons it is wrong about the rest of the world: it has no model for either one.

This is a hypothesis of course. It could be that it holds valid structural relationships between real-world things in its billions of parameters and we just don't know how to unlock them. But I think that's unlikely.

No, you can get pretty good results just by sleepwalking through a conversation, predicting the next most likely word. (This is the most interesting thing to me, our conversations are a lot more predictable than we might think.)

This lying/bullshitting problem isn't limited to GPT. All statistical language models "hallucinate", and reducing this problem has been studied recently [1]. I don't think this issue can be fully avoided without some explicit symbolic approaches though.

[1] https://arxiv.org/abs/2104.07567
Length does come into play. Copyright is about creativity. If there is no creativity there is no copyright. A code snippet that is too short probably doesn't have enough creativity for it to be copyrightable.
If you wrote some code and then registered it so it has a date. It will be difficult for someone who wrote the exact same code, later, to prove it wasn't copied.
> At what point does the demand that Western art doesn't do something that offend Islam itself become westernphobic.

The standard response is that there can be no such thing as Westernphobia because the West is powerful and Islam is weak, just as there can be no such thing as anti-white racism because whites are powerful and nonwhites are weak.
Agreed! Ping me Neal@metricdc.org if you want some cash. If you're looking at any other ideas in the space, would love to hear about them.
I think you are right, this will be the key differentiator for anyone building a service like this - I guess like with most machine learning/data science projects - the real work is on the data engineering side of things.

One thing that all these models will lack is the ability to include diagrams (on both the input and output side). Working out a clever way to do that would be very cool.

At the moment there are some difficulties with the GPT interface - the most tricky one being the limit on the length of the input prompt. I'm not sure at the moment how much fine tuning helps with this.

But, my assumption is that OpenAI will improve this, so there's not a huge way to differentiate here.
If south park gets censored for it, then what chance does anyone else have?
Proselitizing to religions (and I'm not talking about only one) is one of our moral failures of this past years
I’m not sure if you’ve had much experience with American police, but having an accusation written on a warrant is rarely proof a crime actually occurred.
In the cases where it's a list the problem is really obvious. If I wrote that I should like to buy clothing such as "Cardigans, Blouses/Socks, Waistcoats, Trousers, Skirts, Shorts" that's obviously really weird. Do I think Blouses and Socks are the same kind of thing? Why aren't they just listed individually like the others? Weird.

Notice that none of the lists write Java/Javascript or Go/Python because that would be silly, so why do they write C/C++?

Beyond that, take the ARM job. You'd have us believe that description says C/C++ meaning either C or C++. But it's an LLVM developer job. It says C/C++ because the person typing it up didn't think there's much difference.

Maybe ARM is open to hiring people who don't actually know any C++ for this position, there's no salary indication and it's not highlighted as a senior role, so perhaps they're hiring fresh graduates whose C++ would be terrible anyway, a few weeks of Kate's Pluralsight courses and reviewing other people's contributions might get good non-C++ candidates up to speed. But I wouldn't bet on it, applying if you aren't a C++ programmer is likely a waste of your time.

For the AMD one I can actually believe AMD would take a great C developer. They need Linux kernel support just as much as Windows, and unless AMD is going to start writing in Rust that'll be C code. If you send Linus code that thinks it's basically all the same he's going to have a meltdown and make your life miserable.

But for Apple we're back to I just don't believe C candidates will get this job. That's C++ software again, they just aren't outright admitting it isn't a C job, but once it's apparent you are a C programmer you don't meet their actual needs. Their mistake, not yours, but it's your time and effort.
Looks like it’s making extensive use of embeddings. The embeddings and vector comparisons are dirt cheap. The summarizing / answering functionality when the LLMs get involved is going to be the expensive part.
Seems to be down at the moment.
>>LMAO, this is not normal anywhere else in Europe. Also, I bet she either has a lot of money saved up somewhere else, had her mortgage cosigned by someone else with a lot of income, etc. this is not normal at all.

In UK 5% mortgages are readily available to first time buyers. It's a completely normal thing here in UK. And I can assure you she doesn't have a lot of money and the mortgage wasn't cosigned by anyone else lol.

>>A good rule of thumb is to have at least 35% of the estimated cost.

Well now that's absolutely nuts. Here in UK 10% deposit is normal, 15% is high, and I don't know anyone who paid 20% or more - and everyone in my group of friends(we all just turned 30) bought a house recently.

>>The average UK price house is 256k

Yes, because London destroys the averages completely. Like I said, my sister just bought a 3 bed house with a garden and driveway for £150k, and it wasn't particularly cheap, neither for the street nor for the area .
This is not true for Apple and I assume Google. It came out in the Epic trial that 80% of App Store revenue comes from pay to win games. If you look right now at many of the most popular non game mobile apps, most don’t monetize directly through the App Store.

Anyone can set up their own online store and many do using services like Shopify.
It’s how a typical Japanese croquette (koro-kke) looks like, under the crust it has minced beef and mashed potato, not a cutlet.
Producing art about a character committing a crime is different from admitting that you’d committed a crime. One is art, one is (hypothetically) an admission of guilt. That’s the difference.
> Are you implying that ChatGPT possesses "general intelligence"?

I am saying that it well could. We should probably agree on a definition of "general intelligence" though.

> It's very advanced statistical model/search engine.

That is just how the sausage is made. Of course there is no magic or soul or life spark in it- if that's needed to make AGI, then AGI is impossible.

> I mean it's both several magnitudes more 'intelligent' than humans in some ways and also more stupid in different ways.

Yes, definitely. But again, do you define AGI as average human equivalent intelligence? Shouldn't that deserve a different label (Average-Human intelligence maybe)?
Because stripe doesn't a decent job. You'll probably find similar stories with any stripe alternative.
> As humanity tries to reduce its carbon emissions

It's time to change this stereotype. Humanity tries to reduce its greenhouse gases emissions, and CO2 is not the biggest problem.
In those parts of the globe where it makes sense to use solar, and during the day, yes.

For everything else, you need a way to store the energy that can be measured in weeks, not hours. You also need to transport it. And you need to stabilize the energy output not to be entirely dependent on whether the sun shines. That's why hydrogen might be a good energy reservoir.
I suggest to consider who need CBDC: the Central Banks, in general banks between them. NOT Citizens. Why? Simply: money in a SANE ECONOMY must be a PUBLIC, not private, unit of measure of almost all substrates.

The private model is a classic scam, a VERY classic and well known but curiously for some psychological reasons still working today, being them the substrate owned by someone those can steer the society with the concept of debt. In case of revolts/wars etc controlling TLCs means also controlling economy in a cash-less society, similarly means controlling few services that run a multitude of crappy proprietary devices needed to exchange moneys against a product or for a service.

Democracy need the opposite: a common symbolic unit of measure anybody want to ease economic exchange BUT something NO ONE BUT THE PUBLIC can control. Not only directly (in regulatory terms) but also indirectly (i.e. in infra terms, tech terms etc).

So the actual evolution IMVHO, without proofs, but with enough clues, original cryptos seems to be more a fintech/BigOfIT effort to substitute themselves to classic banking systems [1] probably not worked as expected and corrected by dividing the cake with classical banking systems. The target is declared by various "supra-nationals" institutions like the WEF in it's 2030 agenda, that SOME call nazi-international or the evolution of classic nazism and socialism toward a more effective way of ruling the masses.

The target? A total economical control that led to a total control of the society, apparently absent: you feel to be free, just need to earn enough, without noticing that earning means fulfilling some desires, who are NOT emerged by a network of people interactions, individual agenda's, desires etc, or the classic so called "free market", but you are not to the point you can't live if not comply at least enough. The purpose is the idea of crafting a human evolution with a human selection instead of natural one. The earliest form of this idea I found was in a book from Clinton Roosevelt The Science Of Government, Founded On Natural Law in the 1841. He was one of the scammers of the NY bank before the FED, to read the scam itemized at the end of an historic scammer letter, at the end of the page https://www.heritage-history.com/index.php?c=read&author=car...

So? Well. In MERE economical terms a sane economy need a free currency, an artificial unit of measure controlled by the People themselves through a State. A sane society need to have spread culture, knowledge and DESIRE to evolve. Planned evolution works very well on paper, but fall short thereafter.

[1] see the Geneva Report 2019 https://voxeu.org/content/banking-disrupted-financial-interm...
The response from a caricature vs a respectful historical depiction may be very different.

Remember that in US this happened not a long time ago:
https://en.m.wikipedia.org/wiki/Stabbing_of_Salman_Rushdie