skysight-inc/HackerNews huggingface dataset:
I would probably say that you are miss-understanding the difference between syntax and the evaluator that evaluates that syntax.

All three of these expressions contain the same data:

(select (col1 col2) (table1) (= col1 "foo"))

"select col1 col2 from table1 where col1 = 'foo'"

<select><columns><column>col1</column><column>col2</column></columns><tables><table>table1</table></tables><filters><equalityfilter><column>col1</column><value>foo</value></equalityfilter></filters></select>

All three of these are "4th generation, declarative DSLs for set theory" as you like to brandish around.

> If I said LISP sucked at object-oriented programming and OO design patterns, how would you react? How about if they said LISP shouldn't be solely through the lens of functional programming just because that's your "blessed mentality" for it.

S-Expressions are just a syntax. It's quite normal to see Lisps that are functional, declarative, object-oriented or procedural. The only thing that differentiates Lisps from other programming language is the simplicity of the syntax enabling meta-programming, which is specifically the problem with SQL syntax and it's composability.
Dark City Embodied Paranoid Thrillers of Its Time While Looking Unique
Not for a release builds though. Moreover, in general Windows compilation is always slower than on Linux, they should improve their OS FS IO performance.
Depends on the climate. On a hot summer night running around the streets, the reasons for wearing a hoody are limited.

"I like to sweat in warm clothes during summer months" isn't a valid reason.
How Birds Got Their Wings
Yeah - it needs to be clear to investors if the tech will scale as the business grows and if the tech has a good chance of improving if trained on a larger dataset or ML techniques improve generally.

Consumers should care about if a product is able to solve an AI-like problem that normally requires domain knowledge. Shouldn't care if done by ML, rules-based systems, or people. (Except perhaps may want assurance the product will continue to be able to support them as the customer scales.) Also should care about how the decision-making works.
that can be modeled, bet you can tell where the pebble is with a newish model
Twitter Sued 15 Times for Vendor Non-Payment and Counting
CD Projekt CEO Marcin Iwiński aka 'S.S. Captain' (SS came from Star Ship)

https://spidersweb.pl/plus/2021/04/cdprojekt-niekoloryzowane...

translated, but broken images: https://spidersweb-pl.translate.goog/plus/2021/04/cdprojekt-...
> Modern C++ has made big inroads into removing memory safety issues though. Memory safety bugs are relatively uncommon in modern C++ compared to pre C++11 times.

I remember when people said the same thing about C++03. Plus ca change.
> But when a white supremacist says the same thing, they mean "its only okay to be white".

Gonna need a source on that.
The one about them being a master race had pretty big costs as well I’d say.
Yes, this is free speech and capitalism working as designed.

Free speech means that the government didn't prevent Adams from going progressively more public¹ with his racism, even though he clearly understood what the consequences might be. Capitalism means that companies can reconsider their association with him, especially in the face of rapidly diminishing returns.

When Ben Garrison says your bigotry has gone too far, maybe it's time to take a break: https://i.redd.it/vuetv5ohcska1.jpg

¹ Adams' racism is not new. In the early 2000s, several people discovered that the email address featured in every Dilbert comic was associated with the AIM nicknames "••••••ape" (rhymes with "chigger"), "ura_••••••" (ditto), and "die_u_•••••" (rhymes with "drink"): https://i.imgur.com/FfH7WHn.jpg
Hierarchical Database Model
Agreed. "Kind of a dolt" is a good characterization, and I've known that since I stumbled upon his twitter last year. The same is true for most artists and celebrities in my view. They're good at some aspect of their art, and in other respects they're at best normal flawed humans that get an outsized platform, at worst they're blithering morons. Remember the time when Leonardo DiCaprio thought an Alberta chinook was climate change happening before is eyes, or when Paul McCartney went to PEI to protest the Newfoundland seal hunt? They're morons. Inception's a good movie, Band on the run is a great song, not because of the intellectual prowess of the stars.

The only thing I'd add is that I think celebrities should stay in their lane and not think we care what they think. And so as a corollary, I can see how some people get upset with them when exposed to their dumb views. Imo that shouldn't influence how their art is received, but I can understand how it does.
> A self replicating reinforcement learning AI that distributes peer to peer over any network available and reproduces with other copies of itself to improve itself.

Behold, the birth of a true computer virus!
I have a condition that makes me unable to understand Internet sarcasm unless it is preceded by an upside-down exclamation mark.
No one said it's a death knell. I'm saying that the documentation has sucked for a long time, and that I'm not hopeful enough of its improvement that I would be willing to do the considerable work to overcome the shoddiness of the manuals, the many contradictory tutorials, etc.
Unsafe rust code is "trust me bro" too
There are lots of interesting parallels between English and Japanese.

Old English borrowed its alphabet from Latin, and imperfectly represents its sounds in Latin, with a couple extra letters. On the other hand, the Japanese borrowed writing from the Chinese, and after a long struggle, eventually adapted it to perfectly represent every sound in the Japanese language. While retaining the entire Chinese character set. The piece de resistance? You have to figure out whether a character has a Chinese or Japanese reading from context, since most have both.

Probably half or more of all Japanese vocabulary is based on Chinese. Most borrowings were about a thousand years ago, or more. In a few cases it's not always obvious if a word is even native Japanese, or not. But the sound and spelling are a very strong hint for almost all words in practice.

There's a split in numbers. In some places you use Chinese numbers, and in others you use Japanese. A rough equivalent of the mono- bi- tri- etc. nonsense.

The same word has sometimes been borrowed from Chinese multiple times, at different times, and from different regions, resulting in different pronunciations. Not unlike English's "warranty" and "guarantee". Which are early and late French pronunciations of the same word.

There are Chinese roots used in compound words to describe academic, medical, scientific, religious, governmental, etc. things. And there are native Japanese words used for all sorts of common everyday things. Despite the majority of terms being Chinese in origin, like with English and words of Germanic origin, in many contexts, the majority of words used are native Japanese.

Words coined in Japan on Chinese word formation principles have sometimes been adopted in China, particularly around the start of the 20th century with technical terms. Much as how English and French have many terms where you can't even say whether it's really an English or French word originally. It's the same roots used in the same way in both languages and would be obvious to speakers of either language if they needed a new word. And they often need a new word around the same time.
I read the introduction [0] to prompt engineering in the [4] (above), and am confused, isn't it just common sense.

To be honest I didn't dig deep, but the introduction [0] seems obvious stuff. Am I missing something?

[0] https://github.com/dair-ai/Prompt-Engineering-Guide/blob/mai...
> frontend to C++ that cleans up the syntax, has much stricter rules around UB, and can rely on C++ as its unsafe counterpart

You're looking for Herb Sutter's CppFront: https://github.com/hsutter/cppfront

As Cfront was to C, Cppfront is to C++.
I couldn’t scroll past either of them. They both occupied fixed positions in the viewport, and I couldn’t see a single pixel of the rest of the site until I not only made a decision about cookies, but also tapped the “get started” button which allowed me to see the page I was already on.

Edit: after trying the page again in a private tab, you’re right, you can scroll past it. But I had no idea that was the case when I first saw the site. Because the banners occupy the exact size of the viewport (I assume this is intentional) there is no indication that scrolling is even possible. You just have a huge set of banners taking up your whole screen. I stand by my statement that this is a terrible example of good design.
I've had lots of success using pyright [1] for Python projects, it has sensible defaults and can be configured with a pyproject.toml file so everyone's using the same settings. I use the Pylance VSCode extension to catch errors earlier, but I also put it in pre-commit and as a CI check, so all contributors are committing the same quality of typed code.

With more complex types, I've found it isn't necessary to do anything more complex than specifying the element type of a list or dict most of the time. I have typehinted lambda function arguments before, but just using the plain Callable typehint is usually enough. When I forget if I need to use an Iterator or an Iterable (which is every time), then I just try one and run the type checker and change it to the other if i guessed incorrectly.

Type checking Python can become complex if you expect to be able to express everything in the typehints, but Python's type system isn't powerful enough for that. I feel its strength is that it lets you add as much detail to the types as is convenient.

[1] https://github.com/microsoft/pyright
Which is ironic since the whole point of the app is to teach users to plan cash flows and find areas of excessive spending they didn’t recognize before when it came in periodically. I stopped using it once they pivoted but really, once you learn the basics, a spreadsheet or any other tracking method works just as well.
And what happens when you run out of analysts with 3 years of experience in <checks notes> three years?
This comes up every once in a while on HN. I've been using vimium for over 10 years now since I did an internship at the same company as the guys who created it. Can't imagine browsing the web without it. Works especially well with HN and those small link targets :)
Actually for CURD desktop application, delphi and powerbuilder is much productive than other dev tool. We still using powerbuilder and delphi applications, stable and efficient, which not easy to be replaced shortly.

The real problem of delphi/powerbuilder is not the tools, but not easy to find new developer for program maintenance and development. beside delphi, I am also curious "Are people still using Powerbuilder?".
Tried using this recently. Even though I use vim daily I haven't made good use of Vimium yet. In fact I found it more annoying because it naturally breaks sites that I do know keybindings for like YouTube.

Overall I don't want to come across as critical of of something that just needs a little effort to use, more of just setting expectations.

Normally this would be less of an issue but for me, I ran into this problem while on my rowing machine, and I didn't want to stop to fiddle with keybindings.
Damn, hadn't seen Kuzu before but the Cypher-esqe query language is beautiful, nearly on par with RedisGraph. This is a rare thing in the world of Graph databases, most of the query languages are horrid, even ones claiming cypher compliancy rarely live up to the hype. I'll have to check out Kuzu.
Definitely publisher asked them to do this.
I'm not seeing a ":" command bar in any demos, is there one?

I use Qutebrowser and it's fantastic, I even wrote some userscripts for it which are probably easier to build than web extensions.
> Among other things, the vault gave access to a shared cloud-storage environment that contained the encryption keys for customer vault backups stored in Amazon S3 buckets.

Wow. So those backups - which I hope and assume are encrypted with users’ credentials and were supposed to have one more layer of “LastPass” corp encryption - now seem to be lacking the latter. This sounds equivalent to stealing the encrypted blobs from each and every LP user.
(Hoping to be wrong here)

If one workstation getting hacked led to something like this I wonder what other mess is hiding in the crypto details…
For anyone wondering how exactly Scott Adams has set himself up for cancellation, this is the full ‘hate group’ sentence:

If nearly half of all Blacks are not OK with White people, according to this poll, not according to me … that’s a hate group

This is in response to a poll asking whether it is OK to be white. He then goes on to suggest avoiding black people, as a white person.
>Last I checked basic optimization techniques like simulated annealing and gradient descent - as well as a host of basic statistical tools - are standard parts of an introductory AI textbook.

maybe the textbook needs to be investigated

that's meant to sound ironic no matter which side of the issue you're on
My bank has this feature so I just use it without an additional service. But they probably sell all my info anyways. LOL
If I might offer a nuanced take? Risk-aversion and risk-friendliness are tools. They solve specific problems. They have to be judged by how well they solve the problem at hand, or else you wind up judging a drill by its ability to hold a joint in place.

Being risk-averse is, perhaps, exceptionally valuable when you are concerned with fine-tuning production of hellishly expensive factories producing precision-engineered physical goods. Tolerances are tight and error is the enemy because the cost is so high.

Risk-friendliness, on the other hand, addresses a different problem. When new things can be made quickly, iterated rapidly, and each round is cheap? You can prioritize avoiding failure, but you can afford to fail.

These categories map pretty well to manufacturing and software, respectively.
Microsoft has a very large investment in OpenAI, and OpenAI runs a lot of their stuff on Azure. GitHub belongs to Microsoft and provides the training data. So they'll likely be charging each other really low costs, for some symbiotic advantage.
Checkout https://lfw.dev and https://news.ycombinator.com/item?id=34857435#34862767 for background on the Localfirstweb.dev launch and ensuing conversation.
this is perfect for my usecase in firefox and mainly text only browsing, vim is perfectly designed to use the limited keyboard options and even more limited cognitive load humans can handle [alt shift ;) you know what i am talking about]
Honestly, that sounds kinda fun.
Comparing React to VanillaJS
I found React to be the worst framework I have ever used. There is no chain of functions to debug or follow. Changing the state sets off a chain reaction of chaos that spreads throughout the codebase that can never be traced back to its origins.
Or sufficient adoption will make governments adopt a quite cheap (and even potentially profitable) solution: make obfuscation through such means illegal and subject to fine.

In fact, I wouldn't be surprised if a liberal reading of existing laws in many US states might over this already.
I also recommended vimium-c (https://github.com/gdh1995/vimium-c). It's like vimium on steroid: with a bunch of additional useful features.
Building a Video Chat App: WebRTC in Jetpack Compose (Part2)
WebRTC (Web Real-Time Communication) protocol is an excellent solution for building a video chat application. This article teaches how to render video chat with WebRTC in Jetpack Compose.
You might already know, but if you click on the extension icon, you can specify which pages to disable it for. I disable it in pages that have useful keyboard navigations. But it's great for things like HN, where I can use J/K to navigate, then hit F and open a link I want.
Migration is about to stop completely very soon. We won't need new urban housing.
Speakeasy bars in faraday cages that pulse you with an EMP at the door would be cool too.

We could also just stop non consensual surveillance of everyone and everything. I prefer that option.
I find for CMake one still needs to separate aarch64 and amd64 build configurations. =)
Check out "characterization test" article:

https://en.wikipedia.org/wiki/Characterization_test
In contrast, a system that only handles base data in terms of triples assumes that you have a perfect attribute-oriented information model figured out upfront. But given this is rarely the case users will want tools that help them to easily transform/migrate their data and schema over time.

Curious, where do you think datomic and datalog fall short (assuming one is using clojure and datomic's performance is tolerable)? By "perfect attribute-oriented model" I assume you are referring to the database's information model and support for that model, not to domain modeling with triples. Triples and relations are equally flexible but which models require more effort to maintain and transform along side with your application?

I think Hickey's point is that the structurally rigid nature of relations and stuff like arbitrary join tables needed to created many-to-many relations is that they get hard-coded throughout your application making your applications very hard to change over time, forcing you to put extreme effort to provide a set of logical views to isolate the application from the physical structural decisions. He says 'the more structural components(tables/intersection tables and having to name them(places)) you have in your model the more rigidity you get in your applications, but as you mentioned, triples haven't prove themselves.

I'm not experienced enough to understand all the tradeoffs here and can't tell if Hickey is wearing a salesman hat ;)

Of course, databases like postgres would be my first choice for most projects (even if using clojure which I like but is still a hard sell for webapps), as you said, they have too much going for them (flexibility of relational algebra, SQL, they are well understood, widespread, great ahd well supported implementations, etc..)
I've used this in the past, and I've found that it's not a 1:1 replacement but rather an add-on to my browsing habits. It's great when having lunch with greasy fingers, I can do most things with one pinky press!
I googled this, and it seems like you're right! I had the false memory (since I was a child at the time), that the DM-EUR exchange rate was determined when the EUR came out. But I still do vividly remember the number 1.95583, which was the exchange for DM:EUR.

Kinda weird how they celebrated it, but I think Nutella burnt it into my brain :)
Can BeeWare access the full Android API?

In particular, is it powerful enough to develop an accessibility app for Android?
I worked for a national champion fintech, for a while. One of the things I noticed was how it received clearly preferential treatment from its home government. Eventually things went sideways and it lost 75% of its value in one day.

Wirecard may have been the German case, but more than one country has fallen prey to this problem.
haskell, FP

RNNs: http://karpathy.github.io/2015/05/21/rnn-effectiveness/

https://hackage.haskell.org/package/grenade

haskell, composing well FP, succintness is important for complex concepts involved in RNN, and using an RNN as another layer in Grenade is very elegant and this is enabled by the haskell's composability, type-safety and type-classes. This makes RNNs almost fun relative to how painful tensorflow and their imperative kin are to use in python. Albeit tensorflow is more advanced with more advanced features not yet available in weka, grenade, hlearn.

not all neural networks are equal imho: https://www.youtube.com/watch?v=sPjA6lS0GlQ

>> what’s really nice about these functions is that they directly mirror the functions in Layers, in fact, this match works so well that we can embed a Network as a Layer in another Network. Grenade is a dependently typed, high level, artificial neural network library written in Haskell. It’s pretty robust, fast, and expressive, and uses some interesting type level programming techniques which don’t appear to have been used in neural networks before. Grenade does a lot of things right, it’s very expressive in my view, and makes the construction of networks incredibly safe: they essentially can’t crash, and they’ll always be sound. It’s also pretty quick, using BLAS and some hand written C, I’ve found this acceptable for a lot of problems.

or for lispers : http://www.intelligency.org/ai_lisp.php

or for elixir : https://dashbit.co/blog/elixir-and-machine-learning-nx-v0.1
"I am of this opinion that our own tung should be written cleane and pure, unmixt and unmangeled with borowing of other tunges; wherein if we take not heed by tiim, ever borowing and never paying, she shall be fain to keep her house as bankrupt." - John Cheke

I think John Cheke can be satisfied that English has repaid its dues ten times over in the modern era
It doesn't have to be a god-like arbiter of truth, it just needs to use actual facts that it can source, not just make stuff up out of thin air, which is exactly what it does.

I asked it recently about how Fermat's Last Theorem was discussed in Star Trek (referencing the episode where Picard is talking to Riker about how it's never been solved, though in reality it was solved less than 10 years after the episode aired), and it wrote a very convincing answer that was complete BS, making up details in different episodes that didn't actually happen. It's easy to get detailed plot summaries of these episodes from Wikipedia or Memory Alpha, so I'm really curious how ChatGPT got its info, or if it just likes to make things up that sound plausible but are completely wrong. Just for starters, according to ChatGPT, Picard did not talk about Fermat's theorem; Data did!
You’ve very much got some survivorship bias and distorted facts here. It’s easy to look at PUBG, Minecraft, and Stardew Valley then assume that a one-man show that’s good enough will naturally sell a million copies. The reality is that those are exceptions with their own unique stories, lots of embedded marketing/existing following, and “right time right place” luck. You don’t see the mountain of great, but failed indie games that creators worked just as hard on.
For those looking to replace the mouse at the OS level on macOS (similar vibe), Scoot is pretty good for that... https://github.com/mjrusso/scoot
How long is the average sabbatical?
Exactly! And yet Rust gets a reputation of safety: the boundary between safe and unsafe is formal, and that opens up huge possibilities for metrics, compliance, and targeted testing. That’s what I’d shoot for.
I think there's a GCC branch that implements module, and it seemed pretty stable. But there must be a reason why it's not merged yet so you're most likely right.
Putin's £274M spy plane blown up by Belarusian partisans
US Marshals Suffer Ransomware Breach of Sensitive Information
It's similar to the clickbait era IMO. After a while, you'll get a good feel of what was created by a specific type of AI. I can already smell Midjourney images at a glance, and ChatGPT output.

Just like how you now have a bad feeling when you see the headline "10 Reasons Nirvana Changed Music Forever", you'll start moving around the AI generated stuff.
Please do :). We're a bit early but very actively developing the system!
Could you elaborate why haskell?
I love the gamification here. I'm looking to learn Javascript personally so it would be great to see a course on that available. Nice work!