skysight-inc/HackerNews huggingface dataset:
Souffle and Cozo mentioned below already implement the whole of "traditional" datalog.

Percival (https://github.com/ekzhang/percival) has some very nice examples showing how you can interactively write and test rules on top of a datalog interpreter.

Bud (http://bloom-lang.net/bud/) is Hellerstein's proof of concept playground. It has bit-rotted in the past few years, but the examples are readable even if you can't easily get it working.

The complexity can be quite good. You can syntactically determine when you've written linear recursion (equivalent to a for loop) vs not. Otherwise, the complexity is what you'd expect from incremental view maintenance in a normal SQL database. Which is to say O(n^k) with k being the number of relations joined, but usually much, much less with appropriate indexes and skew in the data. All the usual tricks concerning data normalization and indexes from databases apply.
We've banned this account for breaking HN's rules and ignoring our request to stop.

If you don't want to be banned, you're welcome to email hn@ycombinator.com and give us reason to believe that you'll follow the rules in the future. They're here: https://news.ycombinator.com/newsguidelines.html.
Weird I get downvotes when I think I'm the only one on the thread who had heard of him before.
Lol?

Google receives a ton of requests from IP 30.40.50.60 with cookies associated with fromMars@gmail.com.

Suddenly, there are a bunch of requests from:

- the same IP

- the same browser

- the same resolution

- the same OS

- the same WebSocket IP

- the same DNS servers used for resolving

- the same Adobe Fla^W^W well, not that, but I wouldn't be surprised what if you have still have it for whatever reason - it would be noted too

the same fingerprinting bits used by the most pervasive tracking company in the world

The most pervasive Internet tracking company in world: hmm, that's totes not fromMars@gmail.com!
https://www.realtimerendering.com/intersections.html
That is super interesting. Is there some sort of "lower common denominator" svg standard used nowadays on browsers? Is there any implementation that also implements the entire spec?
I missed why you tossed Lua from your list.

I can see why people think the tool chain may be hard for adults, but if the focus is on children learners, you can get Lua with the batteries included.
> More than 100,000 people turned out across Germany on Saturday in protest against the far-right Alternative für Deutschland (AfD) party, which sparked an outcry after it emerged that the party’s members discussed mass deportation plans at a meeting of extremists.

This article would benefit from linking to an article detailing what transpired at the meeting. As it stands, the article is about an outcry against something that has not be described in any detail.
What is particularly puzzling to me about the decline of Google is that the founders are still alive and active. It's not strange to me to hear that IBM is in decline: it's just too old, the founders are long-dead, etc. Why don't Page and Brin step in to revive the once-magical company they built?
Pretty incredible story. So he really got drunk , stayed calm and survived the sinking of the titanic !
Twitter video calls news
It's not what you program in that matters—it's how you test and ensure quality results.
Is this some sort of HN meme where we purposely use the wrong word sense of "free" in order to stir a semantic argument?
The vehicle itself is mostly C++ but there's lots of python in the ground station and data processing
Your post was about solar panels INTEGRATED into cars roof. 100W is about what you can reliably pull from non-angled panel of that size on camper van. Sometimes it is more, usually far less. There is no way it can give 600 Watts to even START charging!

Article is irrelevant here (different panels). Also it is a total garbage, and a good way to kill someone. Tesla S roof is certified for 165 pounds load, so it won't be even covered by insurance!

As for throwaway account, I am tired of death threats!
That’s how I feel about non-Tesla EVs. Well Rivian is good, other than lack of charging network; I’d never get one due to that gap. But legacy manufacturers have burned their bridges.
> In our experience, the only examples we have found of a failure with the current collector, even in multi-threaded code, were contrived.

I once found a real incompatibilty. This collector assumes that a pointer to a block must point to somewhere in the block, or, in later versions, at least somewhere really close.

The original Numerical Recipes in C was a conversion of Numerical Recipes in FORTRAN. FORTRAN arrays start at 1. So, NR in C had an array allocator which returned an array address computed such that subscripts starting at 1 would work.[1] If you allocated a 100x100 array of 4-byte f32 values, the array address would be offset downward by (100+1)*4 bytes. That would not look like a pointer to the array to the garbage collector.

By the third edition, in 1986, the Numerical Recipes people had converted to C++, dropped FORTRAN array compatibility, and the problem went away.

[1] http://s3.amazonaws.com/nrbook.com/book_C210.html page 19.
Until we find out that rap/hip-hop is interpreted as an aggressive war challenge, or you can find out that yodeling country music is an effective weapon.
Reading more around it, Northrop Grumman won the initial contract with an Airbus model and Boeing complained, got the proposal rewritten in their favour. They had an official who passed them info and got a highly inflated contract written, who was then jailed for corruption, Boeing was fined and the CEO was fired. Yet the US is still going with them for the tankers despite the ongoing problems that still aren't resolved. The Airbus version has now been in service in other countries for 10+ years. https://en.m.wikipedia.org/wiki/KC-X
You can just try out some || concated strings and an or statement to verify the lack of security. It's not like it's a secret how to do SQL injections in 2024.

Bypassing this kind of filter is literally the second picoCTF SQL injection level, which is intended for high school STEM students.
That's one of the reasons I don't buy Nike and I cover up Apple logos with stickers (which is easier ever since they stopped putting a damn backing light on their laptop logos). I'm not going to advertise for you for free.
A23a: Spectacular arches, caves as monster iceberg decays
> How about offering people rewarding opportunities for exercise that don't cost a fortune (if you live in a traffic-ridden district, who wants to "go for a walk" really?)

> How about educating people more vigorously about food addiction?

Finally, an easy question to answer!

Because these do not work, empirically. They do work in theory, and sometimes work anecdotally, but that's evidently not enough to solve the obesity crisis.

"Citation needed!" okay, here's the result of two seconds of Googling:

https://www.ncbi.nlm.nih.gov/books/NBK221839/

> Apart from the obvious need to increase energy expenditure relative to intake, none of the strategies that have been proposed to promote weight loss or maintenance of weight loss are universally recognized as having any utility in weight management. The efficacy of individual interventions is poor, and evidence regarding the efficacy of combinations of strategies is sparse, with results varying from one study to another and with the individual
(nitpick: it's the SFC, not the FSF)
All hype is empty, until it isn’t, but by then it’s not hype any more.
Ask HN: Software engineers that came back to school
Hello, so I graduated with a bachelor's degree in Economics and Finance and after bouncing around odd jobs I learned to code - long story short I am now a software engineer with 6 years of experience.

I like my job, but the more I learn the more I go into the field the more I am drawn to the theoretical side of things, especially in distributed systems. An idea was brewing in my brain of maybe going back to university and try to get a PhD, maybe even do it somehow while I'm still working. But since my BsC is old and not in CS I was wondering if it's even an option without going back. And maybe I've waited far too long

Has anyone had any experience of going back to academia to study Computer Science after some years in the industry? How were the experiences? Was it worth it? Should I just learn on my own (I don't lack the motivation, I love learning) ?

Thanks
I wish i could see your face when you discover Home Assistant and its Enphase integration.
I guess I'm at a point in my life where "people go home on time and nobody wants to work entire weekend just for funsies!! :-<" is no longer as scary portent of doom as it may have been intended by the author.

Other note - I understand the author's point of "we don't have executive vision, engineers do random things and sometimes it works". But I've also read posts complaining of "engineers are not allowed to try things, we are forced to follow executive orders".

Google is a massive organization. The only thing that's likely true of majority of the disparate, heterogeneous, wildy different teams, is that they're unlikely to feel like a 5 person early-stage startup. At that size there'll be governance and HR and investors and stakeholders and SEC and politics and competing priorities and layers of middle management etc. All of which is not everybody's cup of tea granted. But not all of which is necessarily nihilism and doom.
> Other designs by collaborators are closer to 20kg. It's probably possible to transport a few of these on the existing lander technology, which would be awesome.

Actually it could be like 50 of them. Plus some ground robots to put together solar farm. And wooh... we get the first extra terrestrial permanent base
> With the orange-ish sodium lights, I could go to sleep with their light still coming through the bedroom window. The amber glow was reminiscent of the glow of fire.

> The harsh blue light now tells my brain it's daytime. I had to buy blackout curtains to be able to fall asleep.

When I moved in with my fiancee (at the time my girlfriend), I noticed after a couple months that I had a bit of trouble sleeping due to her often falling asleep later than me and being on her laptop for a bit. Since blackout curtains don't help with that, I bought a sleep mask for a few dollars from Amazon (basically a piece of nylon fabric and a strap, nothing specialized), and it's not an exaggeration to say that it's been life-changing. As a child, I'd often struggle to fall asleep due to literally any amount of light in my bedroom, and when I was in elementary school it got bad enough that it would take me several hours of lying in bed to finally fall asleep, and I ended up getting prescribed insomnia medication that I continued taking for a couple of decades. It turned out that with the sleep mask, I was able to taper off the prescription sleeping medication within a year or so, and I'm even able to get up earlier without being quite as groggy due to my quality of sleep increasing so much.

If anyone else has similar issues with lighting interfering with their sleep, especially if it's from things within their building rather than outside, I'd highly recommend investing a few bucks to try this out. Obviously my sample size is only one, but given how drastic the effect was and how low-cost it is to try out, it would almost feel irresponsible for me not to suggest this to people.
Primitive Technology: one man in the forest in Australia building a wide array of things from organic materials, such as kilns, bricks, buildings, tools, etc.

https://m.youtube.com/channel/UCAL3JXZSzSm8AlZyD3nQdBA
Don't take Apple MLX too seriously, it's not going to last, here's why
The whole "let engineers do whatever idea" seems like it hasn't been very true for a long while. Yet there's also no vision from above, no hooks to engage folks well.

There's been a lot of poo pooing the letting engineers go free idea, but the follow up questions of whether there's been any support, any servant leadership... is the company supporting free ideas, or is it disinterested & just letting chaos & churn happen? That's was a question.

How do you both provide support & coalesceing, while also not becoming a command organization? How do you have upper levels of management that don't turn into real politick political gamesmanship? I feel like there's such a beautiful idea of anarchy that we wanted to love, and there such obvious failure now, but I feel like we went to blame the idea at large (of engineering free orgs) without spending a moment to consider it's execution & or how the org adapted or failed to adapt to this notion.

Do y'all think we'll see notable winners, who again live the more anarchistic or less top down engineering mentalities again? How much has the window closed; how much of a negative impact has the legacy of Google left?
Much of the cache "management" can be done with specialist load/store instructions that skip the cache rather than being OS managed like a mapping.
I have a degree of tinnitus, but also another thing where I am near a noisy fan and I can hear music from random genres. It's quite pleasant. I hope to combine the two into tinnitus based music.
That post is from 2019, the layoffs of the teams were in 2020.

Mozilla is still a member of the foundation, so they do support it in that sense, but they are one of many companies that do so.
I don't think they will be able to sate their anger because the killing amplifies it.
What would a shit show even look like?
Why’s that inside do/while?
> Magnitogorsk has nice weather in summer. Some green parks, decent public transport. But not that much fun, westerners usually prefer university cities. It has very nice surrounding nature.

Sounds like a lot of western cities honestly. Most are okay places to live, but not exactly happening, overly fun places.

I'll be honest I expected a lot worse when looking on street view, but I looked around a bunch of places and was like "I could live here".

> There is 2.5 hours walk through on youtube: "Magnitogorsk, Russia. Metallurgic Capital and Steel Heart of Russia. Ural Trip 1".

I'll take a look.
What you claim here is too easy for people to accept. They need apps, clocks, shakes and fads for their weight loss to make sense.

Most people don't want to put in the work it takes. That is primarily the reason why the sports and food industry is so big.

But you can't cheat your way into a healthy living. It is hard work.

As a long time amateur bike rider, the advice and habits you dictate here are very much in line with how simple it really is to have some good habits around ones life.

You can go easy on yourself after a while doing your routine. Your body will remember and adjust faster than previously, so you can easily start adjusting if you want and learn more about how your body reacts to certain things.

Sounds like you have dialed it in pretty good. Be proud. Good job!
DISCMASTER Rises Again
Newfound Earth-size exoplanet has a scorching-hot lava side
The fact that I could figure out the writer was a fellow countryman just by reading the title of the HN post alone speaks volumes about this country’s obsession with math.

I went through something very similar to the author (went to the best high school and yadda yadda), I then went on to get dragged through even more math in Comp Sci. I was fairly good and I loved the way of thinking math makes you discover, but I hated the grind and my grades suffered as as result, started dropping below a 9 at the end of HS and barely got passing grades in Uni.

IMO this system is thoroughly fucked due to how disconnected it is from teaching students something that’s actually relevant and applicable in every day life.
in time to edit, thanks
Thanks. I made it in Blender, with a Python script for loading the Quake level and setting up the Blender scene
Very eloquent. I wish someone had explained it so well as a student.
In SF, the most recent two controversies were over historic seating being removed from a Castro theatre and historic rusted iron protective chains being replaced by the waterfront. Age of said seating? 20 y. Age of chains? 30 y.

It's not that I have a problem with this. It's just that I personally don't want to be considered historic in my mid 30s.
> Facebook supremo Mark Zuckerberg is redirecting Meta-wide efforts to build artificial general intelligence and wants to secure a whopping 350,000 or more Nvidia H100 GPUs by the end of the year to make that happen.

The last I heard Facebook was all-in on the Metaverse. This move reeks of desperation.
Well, these things are subject to interpretation, of course, but I don't think it's a stretch to call the following a personal attack, as it creates a pejorative image and applies it to the other person (and adds negative intensifiers like "of course", "just", "got emotional", "secretly resented"): "I presume you said nothing to alert her to the issue, of course? Just got emotional about it and secretly resented the woman for having children"

Similarly for "I do find humorous the idea that you can't even fathom", which is both personal and aggressive, and written in internet snark style.

Perhaps this won't be helpful as it sounds like I've already offended you, but I think most likely what's going on here is that most of us underestimate the provocation in our comments by a considerable amount (say 10x) and overestimate the provocation in the other's comments by a comparable amount (say another 10x), and that compounds to a 100x distortion in how we evaluate these things. They generally appear very different to a neutral reader.
Ya, I dunno. I spend 3-5 hours lifting and 12-20+ hours a week on my bike training. I can still quickly gain weight and you don't present the ultimate difficulty, training makes you really fucking hungry. I burn 1000 KJ/hour average on the bike and I can undo that real quick, 150kcal/day is a small handful of chips.

I'm extremely dubious of any answer to weight loss which isn't get your diet in line.
Unless you are extremely obese, most of your buoyancy will come from your lungs, no?
Rust's types are affine, yes. Sometimes some people don't draw the distinction between the two and call both "linear." But "affine" is more precise.
All browsers on iOS must use WebKit which is the rendering engine from Safari.

If you wanted to make an app for your own usage you might be able to do something with a $99 developer account and keep the app for your own private usage.
Thank you for this! I just started exactly this! I bought a couple injection molding machines and started Golden Gate Molders. We injection mold parts right here in the SOMA neighborhood of San Francisco! Not only do we use traditional metal tools, we also provide 3d printed tooling options for lower volume prototype tools.

www.goldengatemolders.com
There are 33 state universities in California.
It is always someone else's fault when nuclear projects does not match expectations.

I don't see much difference with Hinkley Point C started 10 years after Flamanville 3. Timelines and costs are about equal.

https://en.wikipedia.org/wiki/Hinkley_Point_C_nuclear_power_...
Ahh, a cult follower, let me guess, you are doing C# full time and it is the greatest programming language ever created ?
Impossible. DNA degrades very quickly. Half-life is ~520 years, and you'd assume any "storage" done quickly and ad-hoc (as these things always are) would not be ideal conditions to maximize this number.
Imagine you're incredibly wealthy. You have access to all the finest things in the entire world. You have access to the most elite, exclusive, desirable places and people in the world.

Do you want to go back to work to make the worlds most profitable ad tech company "cool" again?
Really all the complicated algorithm here is estimating basal metabolic rate - the "amount of energy expended while at rest in a neutrally temperate environment, and in a post-absorptive state (meaning that the digestive system is inactive, which requires about 12 hours of fasting)". That quote comes from the BMR calculator I use, which also explains clearly the different estimation methods and their variables [1]. Their calculator takes sex, weight, height, age, and body fat percent.

Other than your BMR, you can compute (weight loss / day) with 3 more variables, the activity calories per day (just added to your BMR), the number of calories in a pound of fat (most round to 3500kcal because it makes mental math easier), and the calorie intake per day. Then:

NET_DAILY_KCAL = (BMR + ACTIVE_CALS) - INTAKE

WEIGHT_CHANGE_RATE = NET_DAILY_KCAL * FAT_PER_KCAL

[1]: https://www.calculator.net/bmr-calculator.html
Every browser implements the full profile, and all of the non-insane parts. I think it was the defunct SVG2 attempt that may have had raw sockets.
Why no std::string?
They can't sue to enforce GPLv3, because Linux isn't under a "GPLv2 or later" license. However, Conservancy established "Principles of Community-oriented Enforcement" (https://sfconservancy.org/copyleft-compliance/principles.htm...), and these include extending the 30 days provision to GPLv2-only works. This is a concession by Conservancy and not a requirement of the license, but it's a part of the Principles that has been widely lauded and adopted by others including Red Hat (https://www.redhat.com/en/about/gplv3-enforcement-statement).
Did that work at compile time?
1. How do I maintain interest/curiosity? I do not. I lose momentum and interest. I get depressed. So I pull out a blank sheet of paper and draw a progress meter. I commit to 20 hours of practice - dedicated either to a new skill or to generally overcoming my stagnation. I have done this dozens of times, and it has never failed, I always regain my passion.

2. How do I avoid going all in? Going all in is my default. I treat the 20 hour mark not only as a goal, but as a stopping point. I must make the conscious decision to draw another meter in order to continue, after considering how my time is being spent - otherwise I can become obsessed and lose balance in my life.

Note that your phrasing is self-defeating. You are telling yourself a story which appears maladaptive. Just listen to yourself: 4 months of valuable experience was an "evil" that you had to "knock out" to the "detriment" of "actual" practice.

You identified a weakness: You knew that you needed to develop your ear, and make sense of the territory. You might have collected a hundred brief sound clips and challenged yourself to identify the sub-genre. You might have randomly selected a genre and challenged yourself to produce a very brief (even minimal) piece that expresses its essence. You might have taken a short composition and, for any given genre, challenged yourself to reinterpret your own song in that style.

Here's an idea. Take 5 different genres, and challenge yourself to making a short piece that gradually and naturally transitions between them. Optionally ignore all other constraints, like global structure, general appeal, consistent aesthetics, etc.

You did 4 months of practice which was in all likelihood less than ideal, somewhat inefficient. So what? That's a positive, not a negative. Next time, try to incorporate "doing the thing" into your regimen and you won't feel like you've lost momentum.
The license shown there isn't an open source license. Apple has a public source license of their own and often uses other licenses too.
Why are these considered meta frameworks instead of just frameworks? These are just webservers, we had them for years and Rails is a framework, not a meta framework.
By logic, a meta framework should be used to write frameworks and not applicative code
gulf breeze florida? i grew up around there, lots of air force bases in the region, and seeing "UFOs" was very common. can't say i ever heard about abductions though... we definitely saw craft accelerate very quickly without sonic booms (which were common from jets)
When I click "Get summary report" on the demo page, a "Generating report [...]" spinner shows up for a second and the nothing happens.
I'm on latest Chrome on Ubuntu 23.10.

Am I missing something?