skysight-inc/HackerNews huggingface dataset:
KCL -- an open-source constraint-based record and functional language
Citation needed for that causes anti social behavior claim!
Pandora's Star, a trilogy by Peter F. Hamilton describes a situation where two stars suddenly turn off and humans goes investigating. My favourite character is Paula Myo.
What does your grid look like? Here’s mine: https://electricityproduction.uk/in/scotland/
Yeah, it would be nice to see some protocols to do just that, implement authentication over cleartext messages in a way that's compatible with the rules, and then wedge that under some useful apps.
“Be interesting to people who can provide you with opportunities,” someone wise here once said (although the link escapes me; will cite if I find it).
Neat! And you can use the spreadsheets’ functions to add MIDI effects like scale mode, arpegiattors, etc.
I personally would rephrase it an instead say:

"any developer building protocols on top of UDP has the responsibility to appropriately handle the various attack vectors which come from udp being "connectionless""

This also means you have to add functionality to avoid various applification attacks against you (e.g. package forging/cloning/reply variations) but also much more important against others caused by you (e.g. you mustn't provide any form of unauthenticated UDP replay server which could be used for amplification attacks, this includes protocols which through bad design can be used as such replay servers even if they are not meant to be such servers).

Note that this always stays in the territory of "appropriately".

Still this means that developing acceptable protocols on top of UDP if they are meant to be used on the internet (e.g. not just inside of an VPN) is kinda way harder then doing so on top of TCP instead of "simpler" like some of the sources the article refers to argue.
I seem to remember that it does not have an extradition treaty with the UK. It seems that doesn't matter any more.

https://www.bbc.co.uk/news/uk-10818347
I'd like a way for phones to know if the headset that is connected is a speaker set, IEMs, bone conduction, etc. The "Volume is too loud" notification is annoying when I'm using my regular speaker set and WANT the volume cranked so I can hear it across the house, and doubly-annoying when I'm using bone conduction headphones as they need to be at an appreciable volume for you to hear them well.
Is Japan a good place to visit for a more than short stay, for people who mainly eat plant-based food? Sorry, no offence meant to anyone.
Related: Why philosophers should care about computational complexity by Scott Aaronson [1].

If you have even a faint interest in philisophy and have taken algorithms 101 you will find something mind-blowing in this paper. My favorite part is about how the “Chinese room” problem takes on totally different character depending on your assumptions about the type of machinery behind the black box.

[1] https://www.scottaaronson.com/papers/philos.pdf
> Digital nomads (working remotely, almost by definition, and not getting paid that much in the grand scheme of things

what are you talking about?? to be a digital nomad, you have to spend significantly more to sustain traveling and the added expenses of short term rentals. I could cut my costs in half if I just stayed in one spot for a few months. A typical apartment is going to cost half of an equivalent airbnb and the cost of equipping a kitchen will be offset very quickly from the savings of being able to shop at supermarkets and preparing your food at home.
Weird project name but cool concept. Expect we'll see a lot more of this concept…
> For comprehensive guidelines on how to use OpenSign, please consult our User Manual.

FYI, USAGE.md seems to be missing.

Also, a suggestion: while I agree with other posters that this isn't a replacement for the third-party trust model DocuSign provides, you might as well use my OpenTimestamps project to timestamp the documents OpenSign produces. Being able to prove that a document was in fact created in the past, before a dispute existed about the document, is significantly better than not being able to prove that. OpenTimestamps is free and open source, using Bitcoin so that you don't have a trusted third party. Timestamps made with OpenTimestamps are free, as merkle trees are used to allow the whole world's documents to be timestamped with a single Bitcoin transaction.

https://opentimestamps.org/

A good example of how it's been used recently is by the official election authority in Guatemala to timestamp polling documents in their recent presidential election: https://www.youtube.com/watch?v=g0nnM5_Z90E
Please share anecdotes and not make random dismissive claims as a reply.
Look I’ll generate and give you a certificate for free if you want one.
> The economics are just too strong.

This is really the crux of the issue.

Farming sucks. Farming at small scales really sucks. There is a massive incentive to consolidate. Even when left alone, farmers tend to form co-ops in order to mitigate risk.

I had a long talk with a local producer of "Hormone free, antibiotic free, grass fed, grass finished" beef (need it because of family member with corn allergy). The economics are brutal. Corn finishing a steer nets you 3x (or more) the weight. Grass is highly dependent upon rain. etc.

Basically, the best thing I could do was commit to buying a whole steer every 6 months and let them sell what I can't deal with. Effectively, I gamble that they can sell the extra meat or I eat the loss. It generally works, but how many people can float a $5K-$10K loan every 6 months? And, even if they can get enough customers to float the loan, it will quickly saturate the number of customers who can buy the "extra". It's really a tough problem.

Everybody talks like farmers don't know what they are doing. Go talk to one and prepare to be surprised--you'll find out really quickly that most farmers know their business extremely intimately and can tell you how every single dollar is put to work.
Probably not as much as one might want on a forum for american business types and their nihilistic thirst for efficiency, but my own anecdata suggests a lot of regular folks are quite content with their socialized health system.
Life is too short for me to engage with your argument, because you've failed to attribute the first writers of sentences / ideas semantically similar to each of the lines in your comment.
Not to mention the AXD301 :)
Elixir/Erlang is great and excited for types. A project that would help webassembly run natively on the beam with an actor model interface.

Have a proposal here: https://docs.google.com/document/d/1adXQGiDoqyJ37r8XWYthFFZf...
Similarly, is there any half decent general LLM that can run on consumer hardware?
Also easy to fetch more than one stream to fingerprint content vs ads for trimming. Admittedly whack a mole and cat & mouse.
The original question is something like, "what’s the minimum form of scholarly institution?" If you want to set up a nonprofit to support a number of researchers/students/intellectuals, it's cheapest to 1) purchase housing "in bulk" and 2) buy rather than rent. Hence buying a house.
I have a slightly different observation.

People read stuff and they don’t know even why and what for and disregard the context.

So lots of times it should be know what you read, know why you read it - if you don’t understand it, step back and check the context.

Fun part is that some writing is “I want people to hear me” and some is “I don’t want to repeat myself over and over again” - what I wrote will work with the latter one of course.
Exploits are more than happy to drop to inline assembly.
after a full day of searching for a possible cause, someone from microsoft suggested that they try to move the express route gateways (which are seemingly VMs inside of Azure) to a different hypervisor. For now it seems like the first gateway was flipping bits and on new hardware it is running normal again... That was a very interesting day troubleshooting wise
The only times I clicked on the picture in picture button in the browser is when I mistook it for the full screen button. I have no idea what I might want to use it for.
Elixir is not strongly typed. You can bind any data type to a variable at any time.
SF is foggy or cloudy like half the days of the year
things to predict would be "the maximum entanglement speed ζ" and "dimensionality of space won’t always be precisely 3" but he seems to be making no real effort there, I've seen other non-wolfram research on a lower bound for the speed (4x the speed of light woosh) which doesn't cite him, the dimensionality thing I don't even know what to look for. Anyway you'd think he'd do something or not whatever not my life, I met him once and he was just an eccentric yet boring dude.
Vernor Vinge predicted this - the "net of a million lies", filtered for human consumption by AI tools.
It not as big of an issue as people make it out to be. Maybe it becomes they haven't used a functional programming language. I have yet to have a problem with Elixir where static typing would be the only thing that would solve the problem.

Elixir has great support for pattern matching, guards, documentation, testing and being a functional language all help negate the problems of a dynamic language.
While I can't speak for an ideal subsistence farmer might act, out here in rural USA it would be very unusual for anyone growing crops to not store food and grow more than they strictly need.

Canning, freezing and other forms of long term food storage are vital, otherwise you have 50lbs of okra for a month and 0lbd the rest of the year.

Once you have those processes down, it's not hard at all to scale up even 50% and can a few more tomatoes. There is all sorts of informal barter for veggies and meats here, and the excess gets sold at farmers markets.

The urban folks do have slight end of chain distribution advantages. The imported food is consolidated at the grocery store or wherever. The price will be high, but you can pick new sources as they are available.

The city folks will be reliant on diesel for production transportation of the food. While the rural folks rely on diesel for production of food and for buying the rest of the goods they need.
The title is gibberish anyway.
It might get type support. They have been very upfront that they might fail and will only proceed with it if they can come up with something that is right for the language. It's not a rush to get a type system just to attract more users. I'm very optimistic they'll succeed, though! :)
Apart from the fact that sprinkler systems are almost always 24VAC and every commercial sprinkler controller I have ever used or investigated use optocouplers/fets/triacs I don’t really have a good reason to get irritated by homebrew designs that use relays, but I do get irritated. I think the irritation comes from wanting to really learn-by-copying how to design these circuits and many hours searching for exemplars and reading datasheets left me pretty confounded (though most of this was during the great supply chain squeeze so I couldn’t find the right combos of triacs and optocouplers ins stock and the datasheets led me to believe that subbing out a non zero cross would probably be a problem, or not being able to find logic level triacs)
Right. The quality of the borrowable things tends to stabilize at just above total junk level.
But this inequality exists everywhere, it‘s just not a year of salary but only half a year.
I imagine comp is ~50x different.
Used to do that for alarm codes for different locations I worked at and the last 4 numbers would be the code.

Mr John Springfield - xxx-xxx-1234

Mr John Madison - xxx-xxx-5309

Etc etc
There is a variant called "HolyC", which was developed by Terry Davis as part of his solo development of TempleOS.

[0] https://en.wikipedia.org/wiki/TempleOS
As of this comment, there are 465 poll votes in total, but the poll itself has only received 76 votes. Odd that most people who considered it interesting enough to participate in, did not consider it interesting enough to reward or signal-boost.
How do you do that, on iOS?
Would you consider India to be a wealthy nation?
Even in India, it is cheaper to eat healthy than to not.

Perhaps this article only applies to nations suffering from outright famine.
Yeah the project name is kinda clickbaity, ironically. Love the idea though
Since you're so very concerned about accuracy then no, the article title is correct and you are mistaken.

Lawsuits are things that occur within a public court of law, by definition.

Two parties concluding a dispute privately, without government involvement, is not a lawsuit. Even if someone does sue over the arbitration contract itself should apply, that's a separate legal question from the underlying tort.
replace asbestos refinery with prisons, hospitals (yes some people don't want to hear ambulances launch every 20 minutes, insane asylum (I lived next to one, screaming all day long).
I was reading an interesting interview[0] with Shane Legg of DeepMind where he mentioned reading Kurzweil's Age of Spiritual machines in 2001.

I also read ASM around 2003-4 and just decided to give it a quick re-read to see how the predictions feel from 2023. As part of this re-read I'm checking in on things mentioned in the book, and I found this.

If you haven't read ASM, or if it's been several years, I do recommend giving it a look.

[0]: Shane Legg - 2028 AGI, New Architectures, Aligning Superhuman Models: https://www.dwarkeshpatel.com/p/shane-legg
Works fine for me under vim with elixir_ls and mix format.
Huh? Amateur radio still exists in the world of cell phones, satellite phones, yada yada yada?

That’s stupid world war 2 technology.

— N9EX
FIRE is unnecessary in the title. FIRE adds nothing and it's confusing to someone who doesn't know what FIRE is.
Theo already prevented you from making the syscall by using the trap instruction directly because of in kernel checking that you got to the kernel via the right point in libc.
Thanks for the suggestion. We will definitely consider this. We have just released v1 48hrs before. We are working hard to put together a usage guide with docusaurus. You will see huge updates to documentation soon.
> Our solution is currently able to safely sign a document with a digital signature that will make it tamper-proof

Who holds the secret key that actually signs the document? If this is in fact a self-hosted, open-source, project then clearly the user does, and they could sign a different, tampered, version of the document after the fact. I would hesitate to use the term "tamper-proof" in that situation. Right now your documentation doesn't make it clear how this actually works.

I'll also point out, that even if you were using my OpenTimestamps scheme or some other secure timestamping system, I would still hesitate to call the solution "tamper-proof". The problem is that even with timestamps someone can in many situations pre-generate alternate versions of a document in advance. Calling this type of system "tamper-resistant" is better IMO.
that there’s a history of those words being more relevant than the religion
If you get something to sign, can you modify it and send it back to the other party so they can sign the modified version? Or is this a "take it or leave it" system?
It would be a good question to ask Jason Scott of the Internet Archive [1]. When you hear of the Internet Archive swooping in and saving a warehouse of 1980s games manuals, etc., he is usually the one behind that effort.

[1] - https://en.wikipedia.org/wiki/Jason_Scott
Elixir doesn't technically have variables. Those are bindings: you give names to values. Variable would be more like a box storing a value.
One doesn't justify the other.

> due to antisemitism

ugh.
It's free, but also very, very expensive.
Nobody else (that I saw) mentioned it, but PostmarketOS [0] has a decent number of (community) supported devices, is Free and more than a de-Googled Android distro - it's actually based on Alpine Linux. I've previously run it on my Pinephone Pro, but images are available for multiple Samsung handsets as well [1]

[0] https://postmarketos.org/

[1] https://wiki.postmarketos.org/wiki/Devices
> In other words, you have to live a minimalist life, without great luxuries, that’s the only way to achieve certain goals. And that’s not to say that other options are wrong, this was just the one I decided on.

As usual, this is classically wrong. She said that it's the only way to achieve certain goals and it certainly isn't. The r/FATfire subreddit is an example of people who almost never compromise on luxuries.

One thing I would mention about the whole FIRE journey is that it needs to be one that both you and your partner are set on. I think a lot of people here on HN (and in the (fat)FIRE world) do get lucky with their spouse and manage to align on that but I find there are far more people out there with FIRE-mentality but not the FIRE-spouse.

I've always lacked the FIRE partner. All the women I've met have explicitly told me that they would like to stop working permanently as soon as we had kids. Obviously, I have no issues with this if they have $10m socked away by the time we have kids but they usually have way less money than I do. Sadly, this has made my journey of having a family way more challenging than I could have ever expected.

The only couples I know who are on a FIRE journey tend to have met in college or maybe one year after college. It is hard to find women like in the article who are career focused like the overwhelming amount of men are.
This is not true.

For example doing "1" + 2 would give you an error.
As a libertarian, I think keeping markets free is more important than contracts. Ownership, for consumers at least, should be ultimate. We also must ban the use of terms like "buy" or "get" for things you are not actually going to own, like access to walled garden services. They must say "license" instead.
What a hilariously short-sighted policy from Portugal. Offer visas for rich remote workers and also exempt them from contributing to health system, and give them huge tax discounts. It's like the Portuguese government actually hates its citizens.
I don't know, I make plenty of queries that don't need verification. I would say the majority.

Write a polite email to X saying Y -> doesn't need verification.

Rewrite this in formal English for a grant application -> doesn't need verification.

How to tar gz a folder in Linux? -> doesn't need verification. When I get the answer, I will probably think "oh, sure, it was czvf". And even if I didn't know what the arguments were, I would know enough to know that a tar command isn't going to delete my files or anything like that, so I would just try and see if it worked.

Write Python code to show a box plot with such and such data -> doesn't need verification, I'm too lazy to write the code myself (or look into how seaborn worked) but once I see the code, I can quickly understand it and check that it does what it should. Or actually run it and see if it worked.

Brainstorming (give me a bunch of titles for a paper about X/some ideas about how I could do Y) -> doesn't need verification, I can see the ideas and decide which I like and which I don't.

I get that if you're a journalist, a lawyer or something like that, probably the majority of your ChatGPT queries will need verification, but that's definitely not my experience... probably because I don't often ask ChatGPT for things that I don't know, most of my use is either for things that I could do myself but require a time investment and I'd rather ChatGPT does them in a few seconds, or for brainstorming. Neither of those require a Google search at all.
Hope it works. Lack of communications with outside world reduces accountability of the involved actors, and increases the risk of ethnic cleansing. It's unfortunate humanitarian disasters like this still happen in the XXI century.
LICENSE

Apache 2.0

https://gitee.com/kusionstack/kcl/blob/main/LICENSE
I was able to skip Vista by going strait from xp to 7. I fear I won't be able to skip 11, and I worry about that. Linux has been so close to being a daily driver for years now, but the polish is just not there to be a computer I use when I don't want to constantly troubleshoot.

sileh sigh
Confessions of a Recovering Environmentalist – "Withdrawing"
Oh it’s crazy useful. You can communicate with a stupid lightbulb. It might save your life some day.
That's not fair. More like "cannot afford" as in can't afford to live anywhere close enough to anything paying enough to afford to live near enough to work for it. Add to that XXXL trucks and giant SUV's that can't see crap and irrational hatred for bikes on the road and you've got a double whammy of being both too scared even if you're close or too far to be practical. Add on top the insane weather most of the country has, and total complete lack of path maintenance for bikes even when you've got bike paths. This ain't like some country like finland where I've seen videos where they plow and prepare roads for bikes half the time sidewalks and bike lanes are just impassable mounds of ice and sludge if you're up north.

Now course everyone and their mother may wanna chime in and go off about some anecdote in their city for them but you really gotta ask yourself how normal is your personal experience really? Just lookin it up various averages say 41 mile commute, 16 mile commute, 20-30 minute commutes, don't matter what estimate I pull up the average is way too high to make biking feasible.

So no it ain't "americans dumb ha ha" it's "most people can't do it" and redesigning the whole country to be able to is gon take a hot minute
Yes. It has ended the Golden Visa and also the NHR tax exemption scheme.

It may take some time to become law, but some time next year everything will be gone.
Transit card is simply another thing to haul out, manage etc. What advantage does it have over a cc?

Also with it baked into your card you don’t have to pull anything out since your phone is almost always at hand.
Nonetheless as red_admiral posted the problem lies within you as a parent rather than with your son.
>Companies pay Google with the money they got from you

You talk as though this has already happened, but that's not the case. Companies pay Google with money they hope to recoup from you via your purchases, but whether or not you choose to buy the thing advertised is completely up to you. Advertising is an investment with uncertain returns, like any other.

>If online advertisement became illegal, Google or somebody else would have gotten off by selling search as a service.

It's possible, but I just don't think there's enough of an appetite to pay small amounts of cash for this. It will be interesting to see what happens with Kagi (though I acknowledge that if it fails, that would not be definitive, since it has to compete with ad-supported services, and massive, entrenched ones at that).
Knuth is a brilliant computer scientist who has contributed much of benefit to the field, but the default Computer Modern font in TeX-generated documents is a blinding exception (for me at least.)

Though it's basically a copy of Monotype Modern, which I also find hard to read and ugly whenever I encounter it in old books or journals.
Questions like this come in pretty handy for test fixtures.

Sometimes you worry about the memory usage of a file to be processed, rather than the disk usage. If you can make a fixture that is substantially smaller on the outside, you can just check it into version control instead of having to fiddle with generating them or storing them in some external store, where they tend to rot.

What does our code signing library do with 2,4,20GB compressed files? What does our image upload tool do if you give it a 50 megapixel picture of blue sky? What if our customer is just trying to be an asshole? All good integration tests to run.
Yep, came here to post it too: https://twitter.com/MadMaraca/media?lang=en