skysight-inc/HackerNews huggingface dataset:
Thanks for clarifying. I didn't know those terms, they're probably Markus Triskas' and Sicstus' inventions. Nothing wrong with that. I couldn't find anything about linearized arguments in Sicstus' pages though, they probably changed their docs since you 've seen it.

The "defaulty representation" Markus Triska discusses is indeed something to be avoided, but if compound terms start to proliferate the chance of typos causing problems like the one you had increases. The solution is ad-hoc typing as recommended by Covington et al.

The balance I think, between a "defaulty representation" and an explosion of "magic strings" is to make sure there are only a handful of predicates that expect their arguments to be typed as compound terms and that those predicates are at the base of a hierarchy of calls that pass those arguments around. Those predicates are responsible for reasoning about those typed arguments and they raise errors if something is off. That way you know quickly when there's a mistake, and where it is.

Another thing to keep in mind is that it's easy to test your Prolog predicates in isolation and check that they do what you think they do. This is the best way to catch errors that have to do with argument structure. What I mean is that you can run each predicate on its own, without having to start from the top of your program. You go to your repl and make some queries to the predicate you want to test with different arguments and see how it behaves. That will help catch errors. Unit tests can also help, if you have the patience to write them.

To be honest, I'm not going to defend Prolog for making this kind of thing easy to hurt yourself with. I love Prolog but it's not friendly to newcomers, exactly because of things like that, which you only learn with experience. Even now, after using it for ... 14 years or so, it still finds ways to hurt me. You gotta be careful with it.
Only for Moon & Mars landings. The plan is to use the catch tower, Same as the booster, when landing on Earth.
Totally. Feels like a literary street performer.
I don't think there's any difference between extending the existing session and creating a new one in Lucia's context.

In the first scenario, the attacker steals the token and uses it forever. In the second, the attacker steals the token and they'll get a fresh one near its expiry. They can still impersonate the user forever. The user might notice something when they get kicked out (because the attacker renewed the token, rendering the old one invalid) but it's unlikely. For good UX, you need a grace period anyway, otherwise legitimate users can have problems with parallel requests (request one causes a token refresh, request two gets rejected because it was initiated before the first one was completed).

You can use a second token (a refresh token) but it only pushes the risk to the second token. Now we need to worry about the second token being stolen and abused forever.

Refresh tokens are useful for not having to hit the database on every request though: Typically, the short lived session token can be validated without hitting the db (e.g. it's a signed JWT). But it means that you can't invalidate it when stolen, it will be valid until expiry time so the expiry time has to be short to limit the damage. For the refresh token, on the other hand, you do hit the db. Using a second token doesn't add any security, hitting the db does, because the refresh token can be invalidated (by deleting it from the db).

Lucia always hits the db (at least in their examples), so you can invalidate tokens anytime. To mitigate risks, you can allow the user to see and terminate their active sessions (preferably with time, location, and device info: "Logged in 12 AM yesterday from an iPhone in Copenhagen"). You could also notify the user when someone logs in from a new location or device.

That's about all you can do. There's simply no fully secure way of implementing long-lived sessions.
Good news! Both HTTP/2 and HTTP/3 use a packed binary representation for headers, so CRLF is nowhere to be found in RFC 9113 / 9114.

I don't see value in picking on Google or HTTP here, even if it is fashionable to do so.
Did you not offer to rewrite it in Python? I was a techical director at a company where we worked a lot with frontend contractors. Some loved typescript others were fans of vanilla js. When the balanced tipped there were rewrites from one to the other (ts to js to ts again), the first one two months full time, the second was interspersed with feature development. Of course the developers were very happy they could do it; it improved the solutions and afterward they both had 1) extreme product ownership 2) excellent company problem domain knowledge. So, a win-win for everyone. So I think, especially as it is a smaller part, than translating back in to Python would be warranted (provided you like it and would stay a while), not a big deal and a quite natural option.
And even then, what is the significance of “first day of winter”, “last day of spring”, etc. Aren’t these just arbitrary dates?
The Internet Archive is back as a read-only service after cyberattacks
Bloody love lazygit!
I think we could utilise the current bands much better than we currently do. As others have mentioned here there are a lot of devices violating the standards or not implementing the parts that would alleviate congestions/interference. I've personally seen plenty of devices that insist on 40MHz operation in an environment that can viably support only 20MHz.

Then there's also 802.11ah for unlicensed sub 1GHz networks and 802.11af for licensed networks. If implemented properly, could shift some usage to other bands (especially if those devices can't handle modern features or require excessive transmission power to be reachable).

Though giving everyone channel 13 and 14 would indeed be quite nice. It's clear that we can't get rid of 2.4GHz operation.
The article captures everything I believe when it comes to attention. Every word resonates with me.

However, there are two things I would like to share that the article doesn't mention but are of deep importance when it comes to directing attention and 'mastering' one's mind.

First, approaching this as a way to 'master' or conquer your mind isn’t going to take us very far. There is nothing to master. Our minds are the ones wandering, and we, as living conscious beings, can observe the mind and make use of it. However, the idea of mastery is the mind itself trying to master itself, which won't lead us anywhere. If one thinks they have mastered their own mind, it is just the mind in control again, and you are merely acting on its desires rather than on intent that comes from deep within.

Second, and of extreme importance: one cannot give their full attention to the present out of fear. To many, this may sound strange and incomprehensible, but from my own experience delving into meditation and exploring my consciousness through altered states (e.g., hallucinogens), I can confirm that it is fear that prevents us from giving all of our attention even to the smallest things: a still object, a sound, or the feeling of your feet touching the floor. All of these sensory experiences, which for the most part occupy and illuminate the present moment, require something that is the ultimate fear of our minds: death. To be totally present in the moment is to die to the ever-restless and busy mind, and the fear of this death is no different to your mind than the fear of physical death. Even if temporary, full attention in the present moment represents the end of your dreams, desires, and sense of identity, along with everything that permeates it. I know this because the liberation that comes through certain drugs unlocks the potential to fully focus on the present moment. When you try, you may fail miserably because you start fearing what you sense and what you see.
Reflection in C++26: Determine the Layout
Wouldn't stoicism be at odds with political action? Why protest if it's all out of our hands?
I found this code interesting (not sarcasm) in demo/boiling.ml:

let increase_level t =
let level =
match t.level with
| No_Fire -> One_Fire
| One_Fire -> Two_Fires
| Two_Fires -> Three_Fires
| Three_Fires -> Three_Fires
in
{ t with level }
;;

let decrease_level t =
let level =
match t.level with
| No_Fire -> No_Fire
| One_Fire -> No_Fire
| Two_Fires -> One_Fire
| Three_Fires -> Two_Fires
in
{ t with level }
;;
Practical Applications of Embedding Generative AI in User Interfaces
I think this is correct. Time is not, metaphorically, just the perception of elapsed seconds. There is a dimension of depth. And while it may “fly by” it can feel slow if it was spent with depth.

An hour on social media and time laughing with friends can both be fleeting but one will feel better spent.
I believe there have been some success stories from Sweden, but I really have no reason to go and would really not want to live there. I don't know what EU bureaucracy means in my case, since it is very much business dependent. Ease of hiring/firing would be my top concern. Also the ease of having international clients.
But my main priority right now is funding.
This problem goes beyond banks to the very core of all we do. How do you know you are talking to a real coworker on zoom?

Maybe governments will create real digital IDs and ubikey like devices and also backed up by phone 2fa etc. The more accounts you need to hack to impersonate someone the harder these attacks will be.
The linked article has screenshots showing that it was not
Huly doesn’t seem to like to work on mobile.
Not sure how this would fool the most adept people, since regardless of what someone says they will never ask you to provide credentials. And when in doubt just contact support directly. Also a red flag would have been them saying account was compromised and downloaded data a week ago. Google wouldnt admit that since could end up on hacker news next day and crash stock. They would wait for person to contact them or resolve quietly.
You fail to understand that this is not about him (he's not alive to care about it) but about Spain, he is a proxy
Next year, China says it will be testing a concept very similar to what you've described, with its Long March 10A rocket:

https://www.youtube.com/watch?v=27TvGDpPLNw

It will be interesting to see how these two approaches fare vs. one another.
They are saying most Americans come from Europe, which is why Columbus's origin is interesting to them.

Your correction would be like saying "most European Americans come from Europe"
They didn’t know it was from Google Sydney until they looked up the number after talking to the person. So when the call first came in, yes it would have been from a known number/person.
Apple might release a $2k Vision headset next year
And it's not correct. Resulting frequency due to random noise is also changed, but in FM, noise is less perceivable. There is no such thing as "affecting amplitude" and "affecting frequency" - they are not separate concepts.
With that mindset, should we just stop trying to improve anything regarding backend/frontend/webservices since "everybody already understand it"?
You can be a secular one, the same way many christians are. But often when people say x person is Y-ish, it just means that they have Y ancestry rather than they living under the cultural norms of Y
I'm surprised at how useful the latest openai model is for me when it comes to either learn a python library or a new language, such as cl, for example.
It creates issues with taxes in your home country if you own a company in another country.
It is very well-established and commonly used.

https://en.wikipedia.org/wiki/First-class_citizen

https://www.google.com/search?q=%22first-class+citizen%22+si...

https://www.google.com/search?q=%22first-class+citizen%22+si...

People don’t perceive it as a political term.
Hrm. These are the top level Rust ownership rules according to the book[1]:

Each value in Rust has an owner.
There can only be one owner at a time.
When the owner goes out of scope, the value will be dropped.

C has none of these. Or borrowing, etc.

[1] https://doc.rust-lang.org/book/ch04-01-what-is-ownership.htm...
Yeah i see what you are talking about now.
The article claims that they also worked with AES but in the linked paper only RSA is mentioned
Can recommend the book as well - its still not that dated and provides a very good overview of how not just a real missing to Mars, but also a sustainable settlement might look like. :)
I subscribe to a bunch of technical subreddits and over the last 2 years I've seen so many questions spammed to multiple subreddits. The account is new or every reply seems to be generic 1 line responses that could be autogenerated. I assume they are bot accounts to train an AI. Now before I write a longer technical explanation I look to determine if this is a real human asking and only then will I bother to reply.
Other than violating the Bug Reporting program how else would it have been fixed given you failed to recognise the issue?

Are you yourself not at fault for forcing him to violate the terms in order to protect your customers?
The LUT counts do look competitive, until you realise that this doesn't include the cost of the microcode.

Probably fine on FPGA where there's lots of almost free BRAM, but on an ASIC where you'd need to use SRAM or mask ROM, or if you used LUTRAM, it would look very different.

Plus, the speed penalty for the microcoded instructions is huge. perhaps not as huge as SeRV :-)
Too bad .io became the hipster domain of the day. It was a bad idea to misuse a ccTLD for coolness in the first place ...
It's not as old, but has a Gui and is native on Linux/Windows/Macos.
My SQL is rusty after years of misuse, but what you describe is similar to tabled Prolog. "Tabling" or SLG-Resolution, basically uses memoization to avoid having to re-derive parts of a proof tree that have already been traversed (that's useful because in a proof tree there are often many identical sub-trees under different branches). It also switches the execution strategy from DFS to BFS and delays the execution of goals until they can be proved. That way it avoids infinite left-recursions.

But there's no way to always ensure termination unless one restricts expressivity. Right? Halting problem and all that. Recursion, like iteration, must always risk going infinite, else it is not complete.

The tradeoff between DFS and BFS is like you say and as the article above points out that's the reason DFS was chosen as the original execution strategy for Prolog. Tabling on the other hand can be very memory-hungry (in my applications I often run out of tabling space on my 64GB RAM laptop). In the end, with languages like Prolog, it's the old joke: "sound, complete, efficient- choose two".
AI is never the answer. Unless ...

https://hachyderm.io/@inthehands/112006855076082650

> You might be surprised to learn that I actually think LLMs have the potential to be not only fun but genuinely useful. “Show me some bullshit that would be typical in this context” can be a genuinely helpful question to have answered, in code and in natural language — for brainstorming, for seeing common conventions in an unfamiliar context, for having something crappy to react to.

> Alas, that does not remotely resemble how people are pitching this technology.
Are you literally saying they all share a single ancestor? Because that is unlikely to be true
The internet is being overrun by ads
Don't worry too much about the logo - here is Polish grocery store which has online presence and physical shops on every corner in every city there https://www.zabka.pl/
I'm very happy with this one and in general I agree with the theories put forth.

That press release is a bit fucked though. Where did European colonizers create inclusive economic institutions? In the US? Australia? Canada? South Africa? That's not an accurate portrayal of what really happened.
No these days are aligned with the position of earth relative to the sun.
Here in the UK I think it takes about 10 days to obtain the certification to be able to install AC, plus the cost of approximately 1 AC unit. Installation costs are about 2-3x the unit price, so it's actually massively cheaper to get certified and install your unit than wait for "the professionals"
Shit almost 0.1% of money deposited to Revolut is defrauded.
But that’s exactly what I am bemoaning :) the first day of winter should not be the start of the year.
Seems like you skipped the discharge step..
Checkout https://www.getgrist.com. You can start with their SaaS offering (they have a nonprofit rate) and if it's what you need but the cost is still prohibitive, you can run the open source version as self-hosted. (Full disclosure, I used to work on Grist, and now I use it at work for any critical data I find living in a spreadsheet.)
I left it as it defaults, but here is a comparison between OpenBSD and my Linux workstation.

Linux mount is separated between the physical and the memory mounts. The only memory mount I added as for /tmp

OpenBSD:
========
/dev/sd1a on / type ffs (local)
/dev/sd1h on /home type ffs (local, nodev, nosuid)
/dev/sd1d on /tmp type ffs (local, nodev, nosuid)
/dev/sd1i on /u type ffs (local, nodev, nosuid)
/dev/sd1f on /usr type ffs (local, nodev)
/dev/sd1g on /usr/local type ffs (local, nodev, wxallowed)
/dev/sd1e on /var type ffs (local, nodev, nosuid)

Linux:
======
/dev/sda1 on /boot type ext4 (rw,noatime,stripe=4)
/dev/mapper/cryptvg-home on /home type ext4 (rw,noatime)
/dev/mapper/cryptvg-u on /u type ext4 (rw,noatime)
/dev/mapper/lukssdb1 on /u1 type ext4 (rw,noatime)
/dev/mapper/lukssdb2 on /u2 type ext4 (rw,noatime)
tmpfs on /tmp type tmpfs (rw,nosuid,nodev,relatime,size=4194304k,inode64)

proc on /proc type proc (rw,relatime)
sysfs on /sys type sysfs (rw,relatime)
tmpfs on /run type tmpfs (rw,nosuid,nodev,noexec,relatime,size=32768k,mode=755,inode64)
devtmpfs on /dev type devtmpfs (rw,relatime,size=8192k,nr_inodes=1995831,mode=755,inode64)
/dev/mapper/cryptvg-root on / type ext4 (rw,noatime)
devpts on /dev/pts type devpts (rw,relatime,gid=5,mode=620,ptmxmode=000)
tmpfs on /dev/shm type tmpfs (rw,nosuid,nodev,noexec,relatime,inode64)
cgroup_root on /sys/fs/cgroup type tmpfs (rw,relatime,size=8192k,mode=755,inode64)
cpuset on /sys/fs/cgroup/cpuset type cgroup (rw,relatime,cpuset)
cpu on /sys/fs/cgroup/cpu type cgroup (rw,relatime,cpu)
cpuacct on /sys/fs/cgroup/cpuacct type cgroup (rw,relatime,cpuacct)
blkio on /sys/fs/cgroup/blkio type cgroup (rw,relatime,blkio)
memory on /sys/fs/cgroup/memory type cgroup (rw,relatime,memory)
devices on /sys/fs/cgroup/devices type cgroup (rw,relatime,devices)
freezer on /sys/fs/cgroup/freezer type cgroup (rw,relatime,freezer)
net_cls on /sys/fs/cgroup/net_cls type cgroup (rw,relatime,net_cls)
perf_event on /sys/fs/cgroup/perf_event type cgroup (rw,relatime,perf_event)
net_prio on /sys/fs/cgroup/net_prio type cgroup (rw,relatime,net_prio)
pids on /sys/fs/cgroup/pids type cgroup (rw,relatime,pids)
misc on /sys/fs/cgroup/misc type cgroup (rw,relatime,misc)
cgroup on /sys/fs/cgroup/elogind type cgroup (rw,nosuid,nodev,noexec,relatime,xattr,release_agent=/lib64/elogind/elogind-cgroups-agent,name=elogind)
tmpfs on /run/user/1001 type tmpfs (rw,nosuid,nodev,relatime,size=1598624k,nr_inodes=399656,mode=700,uid=1001,gid=1001,inode64)
It is not “huge”, it is no more than 10 percent and no less than 8 percent of the total modulation.
well, I meant easy compared to alternative ways of dealing with (async) events.
The only reason these tools were written in Rust was because the dev wanted to learn Rust (a big but common mistake).

While they should get wider buy-in first then if the choice is technically justified within reason, its perfectly appropriate (and normal) for devs to pick up new languages in this way when existing expertise is not available on staff. No competent dev will accept their skills atrophying due to overly rigid political/tech choices.

That's how skills are built, its always been thus in such environments, and thats ok.
He is a grifter and made that shit up. The guy has never been disadvantaged.
> What is the differences between the two?

More than 40 years and many lessons learned.

SpaceX took advantage of tech from both the US and Russia, including the experience with the Space Shuttle. They have better computers, better metallurgy, advanced 3D printing and their own experience with the Falcon 9.

There is no guarantee that it will reduce the costs that much, but will all that experience, the chances are success are higher than with the Space Shuttle.

One big issue that isn't talked about much and that SpaceX takes very seriously is simply a lack of demand. There is only so much stuff you want to put in space. Satellites are expensive, and even with disposable rockets, the launch is only a smaller fraction of the cost. It is already a problem with the Falcon 9 as they have a bunch of rockets and not much to do with them. Starlink, orbital refueling, and crazy ideas like earth to earth transport are all ways to address this problem.

It was a problem for the Space Shuttle too, they couldn't achieve the economies of scale they planned it for. It was supposed to fly for routine maintenance missions but it didn't work out.
Anyone using magit?
The european Beagle 2 probe apparently survived as well, but failed to deploy: https://en.wikipedia.org/wiki/Beagle_2

But other than that, yeah, there are two Schiaparelli craters now on Mars. :P

(https://en.wikipedia.org/wiki/Schiaparelli_EDM)
Are you talking about John Mallory? I imagine someone has already tried to figure this out, but it's indeed not easy to find much online.

It even appears there's ongoing development, but in some secretive fashion: https://hachyderm.io/@gmpalter/109553491209727096 (by the same dude who wrote TFA).

Could anyone more knowledgeable provide firther direction?
Upgrading Uber's MySQL Fleet
Heh, welcome to humanity. It’s a very thin line we are closely revolving around and when it bends, all goes to hell. You were basically given a chance to see how complex, different and often obsolete or contradictory are the fundamental beliefs that drive people. That’s why you sometimes meet someone you can’t predict or understand (we tend to write it off and stick to our circle, thinking it’s just a deviation). Covid measures simply dropped a highly potent contrast into the society. It’s all smiles and flowers until a little change.
I think that as convenient as it would be, depression and the inability to not eat too much are not the same.

The fact is that you have much more control over one than the other.

I don't disagree that maintaining a healthy weight is a challenge in today's environment, but it's not impossible or inevitable, like so many in this thread are pretending.
This vulnerability in ZD appears to be made worse by ZD's Suspended/Spam feature. There is no indication in the spam queue that there is someone CC'd on the email. So an agent may see a ticket from their customer and approve it. Even when you then view the ticket, there is still no indication there is a CC'd third party unless you 'View original' on the email.
Amazing. All my 25 year long professional programming career the shit around project management systems never fucking stops.

Like ORMs, every programmer needs to write one.

Pick one. Stick with it.
Does control-f search the entire contents of the collapsed widget?
You need to be more explicit about what you don't understand.

With a toilet flush the design objective is the following:

* There is a cistern full of water;

* You press a button;

* The entire cistern flushes the toilet, even if you release the button;

* After the flush, the cistern re-fills.

There are multiple mechanisms to accomplish this, but usually you would simply buy a mechanism and fit it according to its design.

So ... what don't you understand?

(Noted: I'm not a plumber, I'm not an expert, I'm just trying to understand your question)
Support for this ring (Colmi R02) was added to Gadgetbridge, so I suppose your wait is over: https://codeberg.org/Freeyourgadget/Gadgetbridge/pulls/3896
Building a Global Caching System at Netflix
How Ruby Uses Memory (2015)