skysight-inc/HackerNews huggingface dataset:
thx! Indeed, upon reading the source and sleeping on it, I agree, and in fact it looks like a single-user postgres backend with COPY FROM <filename> BINARY is approximately the same architecture as writing the database files in-place, and of course includes support for default values, triggers, constraints, TOAST and more.

I've reproduced the speed difference between pg COPY vs various cases.

Some results (middle result of 3 stable runs) from 1.4GB BINARY dump:

echo "drop table if exists tbl; create table tbl(city int2, temp int2);copy tbl FROM '/citydata.bin' binary;" | ./pg/bin/postgres --single -D tmp -p 9999 postgres;

real 0m34.508s

# switching to unlogged table

real 0m30.620s

# hardcoding heap_multi_insert() to be a NOOP (return early if ntuples>100)
# fyi, heap_multi_insert() gets called with n=1000 tuples per call

real 0m11.276s

# hardcoding skip_tuple = true in src/backend/commands/copyfrom.c:1142

real 0m6.894s

# after testing various things
time sh -c "tar cf - citydata.bin | (cd /tmp; tar xf -)"

real 0m2.811s

Note: I tried increasing the blocksize (--with-blocksize) and also MAX_BUFFERED_TUPLES (copyfrom.c:65) but as expected they didn't help, I guess n=1000 tuples amortizes the overhead.
Iirc Stallman knew because it was already happening with printer drivers and operating systems first.
This is terribly off topic, but I immediately thought this was Zed Shaw and became genuinely excited that he was jumping into AI (and out of, iirc, painting and music). While I don’t consider myself a fanboy (fanman?) of anyone, I definitely admired him/his code some of which I ran in production. It has been a while since I’ve seen him post here.
It's nyah[at]akhenaten[dot]co. You can also fill the form on our website
> As Motley Fools [1] like to point out, the most you can loose is 100% whereas the upside is unbounded.

Reminds me of the gamblers ruin paradox. In some games even if the expected payout from each round is positive, it can be shown that the gamblers wealth goes to 0 over suffiently large time scales with probability 1.
Signal and Spotify are available for iOS, so why don't you get a 4.7" iPhone SE?
edit: my bad, I misread the price and it's really hard to see the price after you bought it to double check.

$10 for something that (I think) doesn't work on most phones but isn't gated to ones it works on feels hostile.

Probably there's no way to gate, in that case I'd suggest not charging for it. Or I guess adding a daily usage limit that's lifted with an IAP.

I'll admit I was off-put by the price to begin with, which probably amplifies what a slap in the face it feels like to pay and get something that doesn't work at all.
I hadn't considered an RDP use-case. Thanks!
Dead until proven otherwise
Every Excel sheet is unicorn waiting to happen.
Gridserve opens new Gatwick site with 30 EV chargers
I do wonder if its a fruit of the poisoned tree argument and any AI derived work can’t be copyrighted because it used already dubious source material.
https://nitter.net/SeanSafyre/status/1744138937239822685
> Libreoffice will eat your document sooner or later if you edit a word file

To be fair, Word will won't eat it, but it will eventually shred it quite well to the point where there is no practical difference.

The Word's format is just something to avoid.
I think it’s a shock when compared with the insecurity of Windows also forgetting that that was the reality on the ground in the 90s and that Windows also had a larger share. Windows has since hardened their security model and could be a more secure out of the box experience than Linux (eg shipping with TPM and FDE set up correctly).

But yeah, there’s plenty of things you’d do differently if you wanted to properly secure Linux. It just shows that economically that’s not the most important thing for companies using Linux.
This page adds value with the big property filtering list, and the first few things I tested looked correct. Though it could be laid out a lot better.

(Amazon's, OTOH, is usually worthless, IME, and is more like additional noise shoveled into their high-noise shopping experience UI. So the user of this other page might be mentally filtering out what looked like familiar noise.)
I don’t think this question can be properly answered without asking someone thus revivified.
Maybe they were on RedoxOS
Interesting, I hadn't thought of that. As a a developer about to use the Pi at the edge, I can see how this would be helpful with delivering footage from the IoT devices.

I'm not sure I understand or would use AWS as the hub though, I would probably build my own server hub.
Completely unenforceable. How can you even tell if an image was made by AI? What if AI created an outline that was worked on by a human artist (or vice versa)? Who would the burden of proof be on?

Steam has a “no AI art” policy, and it’s rapidly turning into a “no obvious AI art policy”. How could they tell?
Thanks, I was not aware this was possible.
The personalities attracted to the role aren’t really amenable to thinking that way.
> I really wish there was a certificate authority run by the government.

There are several US federal root CAs [0]. Among other things, they are used for signing the certificates on government employee PIV cards [1]

0: https://pki.treas.gov/crl_certs.htm

1: https://www.idmanagement.gov/university/piv/
A black box qualifies as industrial design? Industrial components tend to be open and not in a black box.
I think (hypothetically, they may choose not to do this for a number of reasons) WoTC could still dramatically cut back on how much they pay artists by “outsourcing” things like backgrounds, extended art, etc to AI so long as the focal point of the piece is human-created and therefore copyrightable.
Thanks for the wonderful resource! Really appreciate your other CS resources as well.
That is good, to have separate components of the codes, that can then be reused. Do you have terminal emulator codes with such things? Then, we can see, and it can easily be modified.
> What does the army 'fighting' look like in this scenario?

Live fire with a dummy warhead. Or, more productively, turning them into launch vehicles for research purposes.
Train harder. Develop habits.
I use LibreOffice to open all my CSV files because somehow, in the year 2024, Excel can’t do that without messing them up. And yes, I know about the import wizard that still manages to mess them up at least some of the time.
A new standard C library without unbounded pointers would be a major improvement.

Including a more complete set of common operations (particularly string and vector operations) would be helpful as well.

etc.
A decade or so ago, there as a website called "Geoffrey Chaucer hath a blog." It was a sort of present day Chaucer, compleat (one might say) with variant spellings, and full of anacronyms like "for the Pardoner himselfe hath written an emayle ful of grete care and wo and muchel language of lamentacioun." I thought it quite charming. The site is still there, but alas, no more doth Chaucer blog. But yea! you can still read the old posts.
Keep in mind the other important difference for this project which is a microkernel design with most operations running in isolated user space processes/libraries. That also helps limit the ability to exploit vulnerabilities in one place to take over other parts of the system.
I'm sorry, but it isn't the same thing at all. This is a 1:1 situation -- advocating against SaaS while actively using it, despite readily available options.

All three things I listed have free (as in beer and speech) alternatives that don't employ the SaaS model.
It's not a bug, but a feature. No cache is by design.
That was a lot of words to say very little. I think the headline is correct though. Office environments are designed with many competing goals, and employee wellbeing usually isn’t top priority. I was hoping to read about some good office tech in the article, left disappointed.
Sure but the residential parts of California, even in the nicer towns along the coast, don't really look very different from anywhere else in the US; lots of parking lots, plenty of underutilized space.
I think you are confusing Linux the Kernel with Linux-based operating systems. The original quote from the README was referencing the kernel and made no comparison to Windows or the NT kernel.
Take it easy; dude is just sharing his own personal opinions on life. YMMV. No need to get all exercised about it.
Sorry, just saw your response. I indeed use ProtonVPN.
Generative AI in Mafia-Like Game Simulation
I thought similarly. The problem is an SLBM-only force is usually survivable. That opens the field to sacrificing a few bases and cities for vaporising the adversary. Creating a MAD SLBM force is still so expensive that nobody does it.
So, not an alternative but an app that lets you integrate Slack?
Am I missing much by just using the MacOS-provided Terminal?
Context is everything. Bringing up STM8 in the context of libwebsockets is as relevant as bringing up PLCs, not at all.

Of course there will always platforms where C remains the only option because honestly, C is just quasi-portable glorified asm; but the point is that if you have the luxury of a platform that can run Libwebsockets, you're most likely in a position to use C++ or Rust, or some other safe language. That is the point.
It's $1.99 and the description says:

The app requires a Pro iPhone with a minimum of 6GB of RAM. Only the following devices meet the requirement:

- iPhone 15 Pro, iPhone 14 Pro, iPhone 13 Pro, iPhone 12 Pro.

- iPads: Please check. RAM varies based on model and year.
I would lean towards opting an old used Pixel or iPhone (ensuring the battery health is atleast 80%) to be a backup phone than strictly restricting to dumbphones. Keep it in airplane mode always, restrict it to a very few "survival" apps, place it in minimal battery consuming setup and it should work better as a backup than these phones.
No, this isn't true at all. Because everything is presumably under copyright already we already have such a database. It's simply "everything"

The difference here is that the vast majority of works would suddenly be free from this system and unavailable for any type of IP litigation.
A Linux user friend of mine once told me that he saves his files as .doc. His argument was that if he saved as .odt, only libreoffice would be able to read it but with .doc, both platforms (LO and word) would "work fine".
"alive" is a strong word but I am keeping it online as long as possible.

miss ya old friend
The thing about AI art is that, absent lots of prompt engineering, seed grinding, and touchups, you're likely to have a bunch of images that are obvious tells if your entire project is AI. Anyone trying to hide it would be spending time equivalent to just making the art themselves.

There's also another advantage to having a "no obvious AI art" policy; and that's to cut down on spam. AI is extremely useful to people who want to spam art platforms.
Everything in security is layers of defense against a threat model.

To design a secure system one must first ask who is going to attack it and with what forces.

Making truly secure systems is an art and is rarified ground.
> I use LibreOffice to open all my CSV files

I really love the preview, where you can choose what delimiters and character encoding you want to work with, which row to start from and so on. It's so very user friendly and nice to use.
Absolutely this. I've been phoneless for about 2.5 years now. It's been glorious in many ways, but as my business connection network grows it's becoming a lot more cumbersome to interact with people.
Unraveling spectral properties of kernel matrices
Lots of work behind the scenes. Welcome back.
In a similar vein there is there’s this video explaining why phi is somehow “more irrational” than other numbers. It looks like a special case of the same kind of analysis you are talking about

https://m.youtube.com/watch?v=WL_Yzbo1ha4&pp=QAFIAQ%3D%3D
OpenBSD has existed for 30 years. In retrospect I wonder if the time would have been better spent developing a more secure language and porting BSD to that instead of meticulously scrubbing C code for each new class of bug.
This feels like too far of a tangent.

> Capitalization is just one kind of account. What does it have to do with employee effectiveness?

If you want to have a company with shares, and sell them to investors, you need to keep track of who owns your company. As you get bigger, it becomes painful to keep track of in Excel. And there's a lot of regulatory requirements to meet, too.

Keeping track of your cap table is useful and required. I'm not sure why a vendor of cap table software stumbling opens a discussion of why accounting today is (allegedly) not very useful.
believe it or not I was around back then and, no, htmx is not the successor to DHTML, which was very JavaScript heavy

htmx is an attempt to generalize the two core hypermedia controls in HTML (anchors & forms). It does this by making any element able to respond to any event by issuing any type of HTTP request and then placing the returned HTML anywhere (and in any manner) in the DOM. This last idea is called transclusion and is probably the most important part, because it lets you build much more dynamic user interfaces within the standard HTML/hypermedia paradigm.

we have a book here if you are interested:

https://hypermedia.systems
That also devalues the work of the original creators whose work got knocked off by ai and they should be compensated for the damage done
The author wrote this on reddit:

> What does "Rust-first" mean here? It means not only that both the (micro) kernel and the drivers are implemented in Rust, but also that Rust is the first (and only, at the moment) language that userspace programs can be written in.

> Although technically one can reverse-engineer the Rust-based ABI and the provided Rust toolchain to write apps for Motor OS in e.g. C, that is some work. But standard Rust programs (using standard Rust library, without FFI) will just compile and run - see e.g. https://github.com/moturus/motor-os/tree/main/src/bin/httpd.

> This Rust-first approach is rather unique, as e.g. Redox uses relibc and C-based kernel ABI as the glue...

https://old.reddit.com/r/rust/comments/190znk5/mot%C5%ABrus_...
I'm interested, how does LLM temperature relate to simulated annealing?
hey there, I'm the creator of htmx, and I really appreciate you making this! very cool!
Googled this because that was an astounding claim but Steam does in fact not have an anti ai art policy.

They don't allow ai art produced by models trained on material that the model makers don't have copyright to.

In practice that's a ban (currently) but in principle it isn't.
Napster was awesome. Think at the time you had CDs. You may have some mp3s from your own CDs and those of friends (maybe CDs you borrow from a library). Napster gave you what streaming is today (almost:
download times were not quick).
For anyone who thinks this is a facetious response, I've done exactly this - use LibGen to find far more useful (to me) formats of books that I own physically. I don't see why I should be punished because I purchased the book in an age where electronic copies were not available. The author and/or their estate have gotten their fair share from me already.
htmx is intercoolerjs
But you still have to buy the phone.
Won't they move to trademark protection instead, as it's a lot more flexible with less restrictions ?

Basically the same way Disney let copyright go but will fight for trademark to the bitter end ?
You can publish these models in all jurisdictions, including ones that do care about IP law. There's no rulings saying that models trained on datasets of images are direct derivatives of the original images (in a way that's copyright-violating), let alone whatever is produced using these models. Now, this isn't settled law by any means, but it feels like people give too much credence to all the theft accusations by assuming that it's some slam dunk case that can make all generative AI suddenly vanish.
What's wrong with the fridge analogy?

It's an analogy for a reason. It bothers me when people combat analogies so incredibly hard. Of course, it is not really fitting or the same thing - it's an analogy.
Harvard MBA is pay-to-win, as opposed to Harvard undergrad which is super selective.

Also why do you abbreviate you as Y? If you are so pressed for time as to abbreviate the three letter word “you”, I’d suggest the more common “u.”
No, it's a Butlerian Jihad[0] argument. The Copyright Office's argument holds even for a fully public domain training set. US copyright law is already speciesist[1] - you can't assign authorship to an animal - so computers are also forbidden from authorship.

[0] In the Dune universe, the "Butlerian Jihad" refers to a legal ban on thinking machines.

[1] https://en.wikipedia.org/wiki/Monkey_selfie_copyright_disput...
It depends. For numerical simulations, you’ll want to generate true random numbers to check the robustness of your results. So using a CSPRNG/true random to obtain the seed is very useful. For debugging, you pick an injected seed to start with (+ print the production seed if a specific run had a problem and you want to debug). For cryptographic applications you want as secure a random seed into your CSPRNG as possible.
Lockpicking tools are widely available, and designs of locks can be found on the web if someone search hard enough. But entering another's home is illegal. It's why businesses pay for licenses even if cracked softwares exists. I hope that artists win these and make using or creating an illegal model an high-risk activity, not worth it for any commercial activity.
I have auto-lock disabled when I'm not in low power mode. Wish I could add an explicit toggle for it to my tray though.
Is there a kit that can be bought online?

I may not have the time and energy to do a DIY, but have an immediate requirement to procure one. Any leads / directions / websites would be really appreciated.

Thank you!
I think we're in the "punch card" phase of biology. I'd be willing to bet (timeline uncertain) that there will be shortcuts to this process.

For now, opportunity cost rules the day. I'm 120% maxed out.
Do you know how to use git and github?

As the sibling comment says, find a project you use and like. Start with something tiny, like fixing a typo or implementing a small feature. Try to implement it in only 2 or 3 days, so if the maitainer doesn't like it or is a moron you have not wasted too much time.

Each project has it's own weird rules, like space vs tabs, or how much tests to add, or style in the name of the comits, or rebase vs merge or ... So expect to make a few corrections in your first PR until you learn the weird rules.

Sending good bugs reports is also a vvery important contribution. It's good to see haw they solved them to understand the structure of the codebase and weird rules, becuse next time you can try to fix it yourself and send a PR. But remember that a good bug report is useful too.
And this will continue to be an issue until ML models have achieved something resembling sentience, because many of these tells are the result of the model not truly comprehending the subject matter and thus struggling to maintain internal consistency in everything from geometry and kinetics of human bodies to lighting and physics.

Less obviously, ML models also lack the ability to bake in intent. In human made pieces, everything is as it is for a reason; it’s communicating something. In ML generated pieces, things are the way they are because that’s what’s statistically likely for the type of generated image.
Identifying as a woman (gender identity) does not mean you are a woman (female sex). Being male precludes this in reality.
The DMCA requires that a hosting provider (AWS) to get the benefits of the Safe Harbor, they must ack expidiciously to remove or disable the content, and that they wait at least 10 days and no more than 14 days to restore it, in case of a counter notice.

If you were available, you may have been able to negotiate a targetted takedown of just the content that was the subject of the notice, but you weren't, so there you go.

You might be able to find a hosting provider where you could indemnify them, and they won't process DMCA takedown requests. That could even be AWS, maybe?

Otherwise, it would be better to run your own hosting, such that your network providers can claim the mere conduit Safe Harbor, and pass any requests to you, and then you can process them or not at your own risk. Or if you run on a platform where the service provider has more visibility, perhaps they can disable specific urls without your input, and then less would be disabled.
Get a smartphone from 2016 then. They are available, used, for cheap. Take a model that runs LineageOS, and maybe a new battery (some of them are user-removable).
Incase to bring back previously discontinued Microsoft accessories
> Damn, he paid Alaska $70 for baggage fee?

Looks like that was the price for 2 bags, and it was just increased for tickets purchased this year [1].

[1] https://www.alaskaair.com/content/travel-info/baggage/checke...
Non technical users do some things that we don't even dream about doing, like setting auto-lock to "Never".

EDIT: I see some people got offended with the bit about Non-Technical users and downvoted me to Hades. I apologize. Not everyone is paranoid like me.
Rust is only “safe” because by default you’re not allowed to do certain things. If you applied those same limitations to C it would be just as if not more safe. And the things you’re not allowed to do in “safe” Rust is required in various applications that C excels at, meaning that for Rust to do the same it has to be “unsafe”.
It's not a universal format since a lot of data is for only for Obsidian plugins that can work work it, and it isn't universally extensible, so not suitable for proper tools this aims to be
I have the original Pixel as my daily driver. Everything works flawlessly including banking apps.

Don't recommend anything older than Nexus 5x, they're way slower than I remember, and also I can tolerate a really slow device but not a really high touch latency.

All these phones I bought used has a decent battery life, lasts around 2 days without charging.
> Anyone trying to hide it would be spending time equivalent to just making the art themselves.

The gap of being distinguishable from manually drawn images is still closing - we don't know if it'll ever reach the threshold, but the amount of effort required to stamp out all the wonkiness from an AI generation has been going down ever since the first viable algorithms appeared.

I don't think that this was an anti-spam policy - Steam already manually reviews all new applicants that want to publish a game, so they don't need to forbid anything to turn it down. I'm guessing that this policy was because they don't want to be entangled in IP legislation if some copyright exception is carved out to forbid the use of generative AI.
> Completely unenforceable.

Complete wrong. You just flip the defaults--something is AI unless you can prove otherwise.

This is done already and has precedent. Producing porn requires that you keep artifacts demonstrating that who the performers were, that they were of age, etc.

If you claim a work is not AI generated, you should have to produce some artifacts to back up that claim.

In the case of a corporation, that would be easy as you have payment records.

In the case of an individual doing digital only, that's a little harder. You probably have to keep some intermediate artifacts.