skysight-inc/HackerNews huggingface dataset:
Ah, thanks. There's nothing wrong with that except that it makes code more verbose. An alternative is flattening, where you remove the compound arguments from the heads of predicates by defining them as new predicates.

Let me see if I can apply flattening to the example above:

% Flattened version:
foo(a, A1, X) :-
q(A1)
,body(A, X2, X2).

q(p(X1)):-
% ... code that binds X1
.

With flattening only compound terms are replaced, not constants so "a" remains unchanged. It's similar to an ad-hoc type system again, but the cool thing is that it can be done automatically. There's an algorithm for it known to the Inductive Logic Programming (ILP) community. Let me see if I can find that paper... Yep:

Flattening and Saturation: Two Representation Changes for Generalization, Céline Rouveirol, 1994.

https://link.springer.com/content/pdf/10.1023/A:102267821728...

The example is a bit unusual though because it only checks that A1 = p(X1) and doesn't do anything with X1, it even leaves it dangling as a singleton; same with X and X2. That's very unlikely for real-world code where you want to use unification as a mechanism to pass the state of the computation around your program. With flattening you want to have an extra argument in the new predicate that "returns" a value that you want to process further. I think maybe they meant to write it like this:

foo(a, p(X1), X) :-
body(a, X1, X).

foo(A, A1, X) :-
A = a,
A1 = p(X1),
body(a, X1, X).

In which case the flattened version would be like:

foo(a, A1, X) :-
q(A1,X1),
body(a, X1, X).

q(p(X1),X2):-
% ... code that binds X2
.

So, I guess, we see that this is a known gotcha and the logic programming community has different ways to work around it. In the ILP community there's a different motivation (to make a language finite, and therefore decidable, by removing "functions").

>> I'm really enjoying the convington et al read, cool to see that O'Keefe is an author too!

Yeah. I haven't heard much from O'Keefe lately and I miss his advice. He was a regular contributor to the SWI-Prolog mailing list when I was doing my MSc in 2014. I think there was a bit of a problem with the SWI-Prolog community moving to Google and he hasn't returned since, even though the community is now on Discourse.
There is nothing but regulation preventing every soda bottling plant in the USA form producing this product.
I started looking at this last night [1] since there's an open SDK available (called SDK3) [2] but it seems like keil is involved in compiling it and I'm out of my depth when it comes to embedded stuff at the moment

1. https://notes.tahnok.ca/blog/Smart+Ring+Reversing/2024-10-13...
2. https://gitee.com/BXMicro/SDK3
I think "every PR should be a single commit when merged" is a bit too dogmatic. If the PR is logically split up into bits of work that conceptually separate and that compile/run independently, then it makes sense to have those as separate commits. You might argue that those should then be separate PRs, but that's going a bit too far, I think. You can still revert it, it's just have to revert the individual commits and squash the revert commits.

IMHO the guideline should be "clean up your branch and rebase it before merging. Usually that means a single commit, but it can be multiple if that makes more sense to <future person> reading the history".
> assuming even distribution

I don't work for Uber, but this is almost certainly the assumption that is wrong. I doubt there is just a single workload duplicated 2.1K times. Additionally, different regions likely have different load.
SEEKING WORK | Worldwide| Open to Remote Work
I am a UI/UX designer with over 5 years of experience across industries such as health tech, fintech, crypto, logistics, music, and social media. I specialize in turning user insights into intuitive, visually engaging designs. My expertise includes user research, prototyping, and developing design systems that ensure usability and consistency.

I have led the design of major features and products at different organisations. I’m also skilled in using tools like Figma, Adobe XD, Framer, and more.

I’m currently open to remote opportunities. Let's collaborate to create impactful and user-centric products!

Website: https://taiwodamilare.framer.website Portfolio: https://docs.google.com/presentation/d/11ASOisKeJ0GuP9G37Qyn... Resume: https://drive.google.com/file/d/1zV8i3xNtabGHsf1bQ9IbM60Pzbw... Contact: osokoyataiwo [at] gmail [dot] com
Gothic/Industrial is way too far from the Rock chunk, it's closely related and contemporary to New Wave/Post-Punk. The connection can be drawn from The Cure, Joy Division/New Order, Killing Joke etc.
See, the problem is that the people who care about cost performance and the people who care about UX performance are rarely the same people, and often neither side is empowered with the data or experience they need to bridge the gap.
Very cool to see public econ and history of economics represented! On top of the popular release, there's usually some advanced background info (https://www.nobelprize.org/uploads/2024/10/advanced-economic...) which is admittedly pretty massive but gives a lot of background about the Prize.
Seems like one conclusion that can be drawn is that the indigenous people who get colonized should just shut up and enjoy their new reservations. The political, societal, and economic benefits of colonization were not intended to help them. Those changes were only to help those who did the colonizing build a new society that was free from the institutions that prevented them having a voice in how they were able to conduct their lives back in the old (European monarchy) country. Shit rolled downhill in the new country and the oppressed became the oppressor.

It worked out in the end though for those who survived since they now have representative government with members elected who are beholden to the people and who remember the main lesson of the past - grassroots organization against oppression is the only tool that works to preserve freedom for the majority of the people in a country.
They don't actuate very rapidly, and they take quite a bit to reset. Probably fine for casual gaming, but I wouldn't try A-D strafing with them.
They've tried and there are some folks who have made nanopores, but honestly they're SO many years away from Oxford it's almost incomparable.

To just play with a device, I think you can buy the MR1 molecular reality device for like $300, but I don't know that much about it other than it is a solid state nanopore.
>We WANT to know that there's a collision in transmission so that we know we need to retransmit

Digital trunked public safety systems solved this problem decades ago. If you key up when the frequency is in use you get a distinct rejected tone. I'd think prevention is far preferable to sorting it out once everyone's finished walking on each other.
I was let's rewrite this app guy once. I rewrote the whole app and realized that main issues were documentation and lack of understanding by anyone within the business how the system actually works.

The new app is better, but if a new dev looked at the code base they would suggest a rewrite. I would want to do it too, but I just don't feel like joining that rodeo at the moment.

This cycle will repeat till the end of time.
Launching an X-37B at the point of hostilities is no different than just launching ICBMs. You would need this imaginary fleet of X-37Bs already in orbit similar to having parts of the submarine fleet at sea at all times.
One reason that comes to mind, is to make sure no extra text is inserted in the empty space e.g. after a contract is signed.
> I think you are right. We should get rid of that whole line.

That's not what I said. If you omit initial-scale=1, then sites looks terrible and unreadable on mobile.
It's sort of funny how can you immediately tell it's LLM sanitized/rewritten.
The 3 RS-25 (1860 kN each)[1] used for the Space Shuttles had 300,000 Gallons of water output per 41 seconds [2] when it launched. On landing, the Falcon Super Heavy used 5 or so [3] of the Raptor Engines (2750 kN each [4]). I'm making a few assumptions based on Napkin Math, but the parent comment seems about right since the engineering required (and the payload weight lost due to the weight/space requirements of landing feet for the FSH), would be too high to withstand the vibration reflection of landing on solid landing pad.

[1]https://en.wikipedia.org/wiki/RS-25

[2]https://en.wikipedia.org/wiki/Sound_suppression_system#NASA
[3]https://www.youtube.com/watch?v=pIKI7y3DTXk&t=6850s

[4]https://www.spacex.com/vehicles/starship/
I wonder if you can combine this with Benford's law to detect fraud.

The author says that people who are making up "random" numbers generally won't put in identical sequences. Using that + Bedford = a good way to find faked data. But for this to work you need to understand the probabilities, which would be difficult to do for "natural" distributions?
These calculations seem always a bit odd- what does it mean to "have the potential to kill thousands"? It was used in a highly populated area, was handled without any special care, and killed exactly one person.

I also have a brick that has the potential to kill thousands, if you use it repeatedly to crush people's skulls.
Good catch, but the point remains that it’s a simple repair most can be prepared for and not have to wait for someone else to come fix it for you.

Maybe print the instructions and leave it with capacitor or watch a couple YouTube videos first.
This is brilliant. I've wanted this so many times and had to awkwardly switch between window being shared instead.
> Cheap, easy, powerful: choose any two.

I don't think there's any reason the same codebase can't support different trade-offs here.

Maybe I'm just looking at the past through rose-coloured glasses, but it seems to me that was the norm before we standardized on distributing apps as an entire stack through a docker-compose.yml file.

Your app depends on redis for caching. If no redis instance is configured, go ahead and just instantiate a "null" caching implementation (and print a warning to the log if it makes you feel better) and carry on.

You're using minio for object storage. Is there any reason you couldn't, I don't know, use a local folder on disk instead?

Think of it as "progressive enhancement" for the ops stack. Let your app run simply in a small single node deploy, but support scaling up to something larger.
Austerity politics? I don’t agree, we have record spending as a percentage of gdp and are rapidly approaching sovereign debt crisis levels of mismanagement. We aren’t Europe, we never really had an austerity moment.

> How are you arriving at that assessment of regulation of spaceX?

I mean, SpaceX launches simply do not have a large impact on the environment compared to say, all cumulative coal emissions in the US. The FAA AST budget (which is for SpaceX launches) is about 60 million. Total EPA budget is about 9 billion. That’s about 160x the size of the FAA launch regulatory budget, but the environmental impact of things the EPA covers (and mostly fails to cover) is much much much more than 160x the impact of spacex launches.
Worth reading up on Postgres' MVCC model for concurrency.[0]

Short version is that VACUUM is needed to clean up dead tuples and reclaim disk space. For most cases with smaller amounts of data, auto-vacuum works totally fine. But I've had issues with tables with 100m+ rows that are frequently updated where auto-vacuum falls behind and stops working completely. These necessitated a full data dump + restore (because we didn't want to double our storage capacity to do a full vacuum). We fixed this by sharding the table and tweaking auto-vacuum to run more frequently, but this isn't stuff you have to worry about in MySQL.

Honestly if you're a small shop without database/postgres experts and MySQL performance is adequate for you, I wouldn't switch. Newer versions of MySQL have fixed the egregious issues, like silent data truncation on INSERT by default, and it's easier to maintain, in my experience.

[0] https://www.postgresql.org/docs/current/mvcc-intro.html
There are plenty of translation tools available to overcome linguistic barriers with a few clicks. Which is more effort than zero clicks, but hardly a significant barrier.

And some of those tools could actually be better, in pretty much any language pair, then the majority of native speakers themselves.
What are your thought on risk / reward (more precise: cashflow
matching) with regards to physical products with a software component? I think buy (hardware) + fee (software) is the natural way of looking at things. Just as you pay separately for car maintenance.

The buy-once, upgrade-years model puts too much risk on the developer. Which in turn results in lousy experiences for customers (dropped support for software, loss in value of hardware on the second hand market). I actually bought an iOS app twice because I found it crazy to be able to use the same €5-app as a baby monitor for over a decade. That is probably a single developer churning out features at a low pace, but continuously for a big part of a career.
Dang. I need this for Mac. I’ve been wishing I had exactly this for years.
I read the summary from the review and I am not convinced that neoliberal US and EU have a less extractive governance structure than China has, as the authors seem to claim. It's been a decade since the book was published and China is still going strong. We will see.
Penrose Wave Tile: A Mathematically Inspired 3D Design
Latex already has massive amounts of libraries. Simple things like chemistry or physics typesetting for example. That's hard to just switch away from.
can it do freetype fonts? I use XeLatex to change the fonts since the default gets boring. I've been doing all my math in latex for so long I feel like I can't just switch to something else.
Foamed glass would be a really neat technology for use on the moon.
Civilian airplanes aren't using AM because of the Doppler effect. You're not accelerating that rapidly to make the Doppler effect that pronounced on the kind of radio being used in airplanes to the point they wouldn't be useful. Even if you're going hundreds of miles an hour the shift is going to be a few dozen Hz in drift. A cheap FM discriminator will be able to handle that without any problem. Doppler shift starts to matter when dealing with satellites, but not airplanes unless you're taking a SR-71 on a civilian stroll.

Doing the math, if you're going 200mph away from a station transmitting at say 121MHz, the drift frequency would be ~36Hz. Not going to be a problem.

And even then, your AM transmission still gets affected by Doppler shift as well.

Airplanes use AM because when two SSB transmissions happen at the same time you can actually hear both at the same time. If you're using FM it's either an incoherent mess or one transmitter drowns out the other.
It's rising way too fast https://xkcd.com/1732/
> Is this even a problem?

Nope it’s not! I’m a little befuddled as to why this article was even written. I’ve collaborated with a bunch of Chinese devs and we never feel that politics are relevant or are suspicious of each other. We’re just a bunch of nerds hacking on projects across a large timezone.
Isn't any app that can access read the x11 socket able to read any input? It's not just running an explicitly malicious app but also the risk of compromising an app which can read the x11 socket (e.g. Firefox)
and your point is?

this just makes no sense bc the drivers are on all of the different apps. rework your formula.
Yes after I recently discovered that even with squash & merge, the intermediate history isn't lost: they are not in the git history but they can still be viewed on GitHub.
NASA's Europa Clipper set to launch Monday on mission to icy Jupiter moon
Visor is coming out next year, a touch above $1k

https://visor.com/

---

edit, Immersed put out pricing plans today

https://discord.com/channels/428916969283125268/114686581002...
A calculator can "think" is "AI" and however you want to frame it. Reasoning is a very specific and defined concept. Computers can not reason (per this paper)
How many people really believe in these (conspiracy) theories? Are we sure there's no conflation with the loudest online with what people really think?
I’ve recently spent time truly learning git, and I’m realizing how much better it is to take care of your commits in a PR even if you squash to main.

My reviewers love when I write “review commit by commit” in the PR description. Then each individual commit has its own reasoning, and you can mentally switch into reviewing if that commit does it’s one thing it’s supposed to do correctly. I will accept the argument that each commit should be its own PR though :)
there's very little code because there's very little error handling / sanity checking.
not saying X11 isn't hackable and cool, but a lot of code gets bloated and complex (and robust!) by not assuming perfect usage.

for example. run ./clipscreen 1 2 3 4
I don't see a foot gun, you just need to check if you have consumed the whole input. Which is the norm in nearly any streaming api
There is no natural regulation system for the earth, and the earth makes no attempt at homeostasis. It has been tipped over into states almost completely inhospitable for then-existing life more than once.
I only know my particular area, but as a homeowner, I can do any electrical work I want on my dwellings. If I owned a rental, I couldn't do electrical work on that. I still have to pull permits and pass inspections, but it's really not as bad as most people assume. Just do competent work and check your wire gauge derating math a few times before you start pulling things.

My main panel, outside, is effectively "half mine, half the power company's." The side with the meter in it is tagged off and I can't get into it without going through power company indicators. But everything on the other side, with the breakers, is my problem. Then everything from the box out to the pole transformer is the power company's problem.

Again, this isn't going to be broadly true everywhere, but that's the usual breakdown of things, and outside a few areas in the US, you are legally permitted to do electrical work on your residence.

I mean, I did my own massive ground mount solar install, grid tied, without having to bother an electrician. It just required the normal permitting process and such.
YT and Google has a vested interest to defame Elon.

It’s very clear — all the MSM are top of the list for anything Trump related, and for Elon it’s all crypto scam channels

It’s intentional folks
thanks, I try it
For humans to have any reasonable presence somewhere else in our solar system (moon, mars, etc.) we need the ability to launch tons (literally tons) of stuff to orbit and to the destination. and we need to launch it often to do anything in a reasonable amount of time. the only way to do that is to make reusable launch systems. SpaceX's Falcon 9 has aced that for satellites (see Starlink and everything else they've launched). The Starship launch system is capable of launching a significantly larger payload, ~20 times more. What they demonstrated yesterday is that a launch system that is capable of getting us anywhere in the solar system can be reusable. Huge accomplishment.
Show HN: I made a bookmark search engine – Snapmark
Lowered barriers to high calorie density foodstuffs.
And yet all MSM channels are the first thing u see when u query certain topics and people.

It’s intentional
React to me will always feel like Java - a big solution by a big company for solving big company problems. When it is forced on small problems in small companies it creates unhappiness, yet, choosing something else feels like the "no one ever got fired for choosing IBM / Microsoft" dilemma.
> If you think its API is "clunky", then you just haven't invested any time in learning and tinkering with it.

Sigh.
I get that. However then they should name the function and put highly visible disclaimers in the documentation. Something like "from_ascii" instead of "from_chars". Also the documentation, including this blog post should be very clear that this function is only suitable for parsing machine to machine communications and should never be used for human input data. There is clearly a place for this type of function, however this blog post miscommunicates this in a potentially harmful way. When I read the post I presumed that this was a replacement for atoi() even though it had a confusing "non-locale" bullet point.
The conspiracy theory aspect of this doesn’t make any sense to me. Weeks before the COVID-19 lockdowns I moved to a very walkable urban area with a work from home job. The idea being if I was working from home, I wanted it to be easy to get out of there and do other things. Have lunch at restaurants around town, get together with people for drinks after work, etc without needing to be driving everywhere. It was a 15 minute city; it could have even been an 5 or 10 minute city.

The lockdowns were not a test that aided in that concept. Everything was closed, there was nowhere to go, and we were told to stay home. Instead of feeling like I had a nice urban life, I instead was in a cramped little apartment with nowhere to go. All the downsides of urban living with none of the upside.

The result of this was buying a house so I could have some room to move around. This took me out of that urban environment, rather than solidifying myself in it. I can technically still walk to a bunch of restaurants and a local market/grocery store, but it’s more effort than the prior location so I typically drive places. The walkable restaurants would be a minimum 2 mile round trip, which I think pushes the limits of what a 15 minute city would be. That 2 miles would be largely walking through neighborhoods with single family homes.

Without lockdowns, the idea of the 15 minute city (having only read the article without the full context of the book), sounds like more freedom not less. It was what I was after before the lockdowns happened. Having most of what you need a short walk away sounds more free than needing to sit in traffic to do anything, and it doesn’t prevent a person from traveling to another area for things they might want/need that aren’t in their local area. And with more walkable things, it should mean less traffic than we have today.

Any conspiracy theory that starts with “Bill Gates…” is usually going to be ridiculous. If it weren’t for COVID-19 I’d still be living in a 15 minute city today. I do think of going back now that it’s passed, but the cost has me hesitant, as I don’t want to restrict my living space as much as I did the first time around.
The Node.js Pitfall Every Developer Needs to Know
Right and OSS maintainers live off hugs and kisses.

Screaming treason whenever someone tries to make a living off OSS is the main reason the community is so toxic/in constant crisis.
Didn't realize their entire MySQL data layer runs in AWS. Given that they went with basically a blue-green update strategy, this was, essentially a "witness our cloud spend" kind of post.
> React Hooks which required a partial rewrite for every code base happened in React 16-17 which was in 2020

Except it was not required. Class components still work exactly as they did back then.
I assumed this was you again, actually.
Well it’s kind of a moot point if we only care about “those who survive”.
I've had people come out and look at my furnace because it wasn't turning on properly.

They looked at it for 5 minutes, told me it's too old and needs to be replaced.

It needed a $5 sensor which I replaced myself after doing some basic testing. There are so many grifters in the trades. It is so hard someone honest, that is going to show up on time and do the job.

I almost want to start or buy a construction business.
> Like the Olympics ad Google pulled, Meta’s social media team has failed to read the room.

And in exactly the same way.

The generative AI/LLM proponents seem to think that nobody cares about the difference between what's real and what's fake. However, I think (hope) that people care quite a lot.