skysight-inc/HackerNews huggingface dataset:
Remind yourself we're discussing censorship, misinformation, inability to define or source truth and we're concerned on Day 1 about the results of image gen being controlled by a for profit single entity with incentives that focus solely on business and not humanity...

Where do we go from here? Things will magically get better on their own? Businesses will align with humanity and morals, not their investors?

This is the tip of the iceberg of concerns and it's ignored as a bug in the code not a problem with trusting private companies with defining truth.
I don't think it's a temperature issue because everything except the words is still coherent. It's kept the overall document structure and even the right grammar. Usually bad LLM sampling falls into an infinite loop too, though that was reported here.
That depends. Probably billions.

On the other hand, they would need their orbits to be well controlled so as not to intersect.

That doesn't happen, and probably never will.
Author has discovered (f ∘ g)(x) and wants to tell the world about it
Pijul does binary files natively, actually. Permissions aren't hard to add, if anybody had a real-world case I'd be happy to help.
I agree with their logic and would generally agree with its conclusion when applied to other technology, including lock picking tools. As an aside, criminals rarely use those; burglars are more likely to use a crowbar or hammer.

Lock picking tools are not banned in most jurisdictions. In some cases, carrying them in public combined with some other evidence of intent to commit burglary could be a crime, but that's also true of a crowbar, hammer, rock, or anything else that could be used to gain entry.
What prompts/settings do you use for Phi-2? I found it completely unusable for my cases. It fails to follow basic instructions (I tried several instruction-following finetunes as well, in addition to the base model), and it's been mostly like a random garbage generator for me. With Llama.cpp, constrained to JSON, it also often hangs because it fails to find continuations which satisfy the JSON grammar.

I'm building a system which has many different passes (~15 so far). Almost every pass is a LLM invocation, which takes time. My original idea was to use a smaller model, such as Phi-2, as a gateway in front of all those passes: I'd describe which pass does what, and then ask Phi-2 to list the passes which are relevant for the user query (I called it "pass masking"). That would save a lot of time and collapse 15 steps to 2-3 steps on average. In fact, my Solar 10.7B model does it pretty well, but it takes 7 seconds for the masking pass to work on my GPU. Phi-2 would finish in ~1 second. However, I'm really struggling with Phi-2: it fails to reason (what's relevant and what's not), unlike Solar, and it also refuses to follow the output format (so that I could parse the output programmatically and disable the irrelevant passes). Again, my proof of concept works with Solar, and fails spectacularly with Phi-2.
Absolutely. What makes a lot of sense for one organization would be absolutely insane for others. ASML has incredible innovation in some areas but I'd expect them to prioritize stability in others.
> I read this view as: it’s fine to steal a car without an immobilizer.

No. Car manufacturers should still take reasonable steps to prevent it.

To make an analogy, people should not steal from banks... but it would still be negligent to leave the bank unlocked at night.
Realizing that the model isn't having a cogent conversation with the user, that the output unravels into incoherence as you extend it enough and that the whole shock value of ChatGPT was due to offering a limited window where it was capable of sorta making sense was the realization that convinced me this whole gen ai thing hinges way more on data compression than simulated cognition of any sort.
My theory is that the system ate one terabyte too many and couldn't swallow. Too much data in the training set might not be beneficial. It's not just diminishing returns, but rather negative returns.
Nominally, you are correct, but if we can collectively make decisions that decrease the risk of theft, is it not immoral bot to take action?
Has there been any word/news on addressing the self-certifying portion of these issues?

From what I gather, in addition to management prioritizing the wrong things, there has also been the issue of not enough external oversight to hold them accountable for safety.
> Do not attempt to “create software” for macOS. They don’t want you to. If you want to run your own programs, install Linux and suffer like you’re supposed to.

Yeah, I'm starting to understand that more and more. I'm not a big fan of the PWA SPA-approach, but given what's going on I'm going to have to change my tune.

Selecting the "Add to Dock..." option in Safari for YouTube Music has been kind of eye-opening. It works really well.

I'm not sure what they're thinking here. Are native desktop apps done and over? It kind of seems like that's what they want based on behavior.
Bias is a real problem, but more than that - an adversarial press and public won't forgive massive brands like Google for making AIs that spit out racist answers.
It'll probably require AI. Being on-call for explicitly programmed systems is hard enough without the addition of emergent behaviors.
You get 4 images per time and are lucky to get one white person when asked for it, no other model has that issue. Other models has no problems generating black people either, so it isn't that other models only generates white people.

So either it isn't a technical issue or Google failed to solve a problem everyone else easily solved. The chances of this having nothing to do with DEI is basically 0.
Real-time text-to-image generation powered by SDXL Lightning
It'd be anticompetitive to any newcomers in the hosting space, wouldn't it?

Fly.io recently launched a GPU product. If they can't afford to front $10B to OpenAI they're locked out of the market.

That also doesn't get to a potential money laundering issue. Again I assume it isn't technically illegal accounting, but Microsoft sure seems to have functionally moved money from one side of the books to the other, delaying and reducing potential taxes they would end up paying.
Isn't it wondrous what lobbying can do?
Simple: most don't feel this being an issue.

Sure, but what's incredibly weird is that many Germans do feel that almost all other digital privacy matters are an issue. It baffles me that they treat this one particular issue differently for some reason.

I wonder if this is some kind of mass-psychology exploit, like it doesn't occur to your average nontechnical person that the ID requirement makes your Apple app store account, and every app you use it to install, equivalent to your government photo ID.
Is this hugged to death right now?
I am in a semi-similar situation and I use an MVNO called Ting. I don't claim it will work in every country, but it works in lots of countries (all that I've tried) to receive 2FA SMS, and costs usually less than 10 bucks a month depending on how much you use it overseas.

My phone number works great for Whatsapp and Telegram. However, the caveat is that they don't currently support e-SIM, so if you have a USA market iPhone 15 (no SIM slot) then you're out of luck with Ting, and presumably future iphones will also not support hard SIM cards. Overseas (at least EU) market iphone 15's mostly seem to have SIM slots still, so maybe that's a workaround.

Furthermore they seem to be mostly honest, let you chat online with an actual English speaking human on relatively short notice, and have a fairly straightforward website without a bunch of dumb interface chrome. Also it's a "real" phone number so it doesn't trigger the VOIP detection filters that sometimes plague you during various signups.

Lastly, I suspect that probably many other MVNO's will offer a similar setup, they're cheap so you can probably A/B/C/D test a handful of them in parallel in whatever subset of countries is relevant to you.
That's a big what-if, I guess. If you're okay with line wrapping … do line-wrapping & |, if you're not … don't do line wrapping & |?

I'm not usually putting prose into YAML, outside of comments. I think most of my blocks are scripts, small data files, long queries, the like. That's sort of why I was looking for a (perhaps non-hypothetical) use case.
No, the command is

< x Y | Z > w

where x and w are files, not commands.

Something that "cat file | ..." advocates might be overlooking is that a redirection ("<inputfile", ">outputfile", "2>errorfile") can appear anywhere within a simple command, so these:

command -option < file
< file command -option
command < file -option

are all exactly the same -- and of course very similar to

cat file | command -option

If the purpose of typing "cat file | command" is to put the input file at the beginning (which does make logical sense), you can achieve the same thing with "< file command". Admittedly, it does look at bit strange if you're not accustomed to it. (It even works with csh and tcsh.)
this is because shareholders (pension and investment fund managers) are all MBAs and they demand results a-la "quick wins" that forces management into short-term thinking, cutting corners and cutting costs
> There can be bad apples in engineering,

So true ... Jack Welch was an engineer.
You'll want it to be generated or audited by a 3rd party. You also have to agree on what defines profit in this case. The company might claim an overall/layman's loss because they reinvested or spent the profit on something else.
It's... a little spicy sure, and yeah maybe the acid burns and NO2 exposure are a bit lethal.

But my god man, think of the specific impulse! ;)
So that 3-4 mins at 1FPS means you are using about 500 to 700 tokens per image, which means you are using `detail: high` with something like 1080p to feed to gpt-4-vision-preview (unless you have another private endpoint).

The gemini 1.5 pro uses about 258 tokens per frame (2.8M tokens for 10856 frames).

Are those comparable?
Wow, only 256 tokens per frame? I guess a picture isn’t worth a thousand words, just ~192.
You would be surprised at what corporate thinking and procurement departments actually think is best.
Direct link to paper: https://royalsocietypublishing.org/doi/10.1098/rspb.2022.258...
It has been over 20 years since I wrote the the TranslatorRank code so I have forgotten a lot of the details. But as a first cut, I would divide the raw score by the age of the account, and maybe weight more recent activity over older activity. Brand new accounts would probably need to be handled as a special case.

Just out of curiosity, who would you cite as an example of a lame commenter with tends of thousands of karma points?
The gemini guardrails are really frustrating, I've hit them multiple times with very innocuous prompts - ChatGPT is similar but maybe not as bad. I'm hoping they use the feedback to lower the shields a bit but I'm guessing this sadly what we get for the near future.
Ah, I remember when such things were mere jokes. If AI 'trained' this way ever has a serious real world application, I don't think there will be much laughing.
This can be handled with function calling and other features in LLM. We support the input signal of closing the call, and you can have your rule-based (timer) system or LLM-based end call functionality and use that to hang up.
Simplify Application Development with Hybrid Tables
Minor sidenote: For Prolog-esk syntaxes, rather than writing "comma first" to solve the problem of moving lines around, I've found that ending predicates with a simple `true.` solves it more elegantly.
https://github.com/vocodedev/vocode-python

If your looking for phone flavour, also very good. Curious which is 'better'
You're thinking of chlorine trifluoride [1]. But red fuming nitric acid is also hypergolic with many fuels.

[1] https://www.science.org/content/blog-post/sand-won-t-save-yo...
In my opinion, arrogance, selfishness, and ego from (perceived) "genius" people should not be tolerated even if they made/make substantial contributions in one field or another. Academia, in particular, is full of these types. The world would survive without their precious work and would be a much better place without the shitty experience they bring to everyone else. I was just watching Avi Loeb; good riddance, no matter what contributions he made to science, we could do without them and him.
The paper in the OP mentions mutation testing at the end when talking about future work and open problems (section 7). They think it'd be very useful, but it's "challenging to deploy such computationally demanding techniques at the scale we would require".
Let's say a hardware exploit for iPhones becomes obvious and is spread through social media. Something absurd like "attaching a shorted iphone cable".

Are you going to be the first to buy an add-on lock or immobilizer? And everyone should also have to purchase an add-on?
… but YAML ain't a markup language.

(That's the 'A', in YAML, literally.)
That's why I'm excited about this particular example: indexing your bookshelf by shooting a 30s video of it isn't producing video for publication, it's using your phone as an absurdly fast personal data entry device.
Oh I tried to update, it's just that my router drops the connection after a few hundred MBs...
How is this any different than doing google image searches of the same prompts. Exmaple: Google image search for "Software Developer" and you get results such that there will be the same amount of women and men event though men make up the large majority of software developers.

Had Google not done this with its AI I would be surprised.

There's really no problem with the above... If I want male developers in image search, I'll put that in the search bar. If I want male developers in the AI image gen, ill put that in the prompt.
It's a clickbait ad for something called "Nerve".

The original idea for "electronic data interchange"[1] was to have a standard format for inter-company invoices, purchase orders, bills of lading, customs clearance, etc. So you only need N implementations, not N^2. This got going in the 1970s. So the formats are ancient. This is a flight ticket availability request in the international EDIFACT format.

UNA:+.? '
UNB+IATB:1+6XPPC:ZZ+LHPPC:ZZ+940101:0950+1'
UNH+1+PAORES:93:1:IA'
MSG+1:45'
IFT+3+XYZCOMPANY AVAILABILITY'
ERC+A7V:1:AMD'
IFT+3+NO MORE FLIGHTS'
ODI'
TVL+240493:1000::1220+FRA+JFK+DL+400+C'
PDI++C:3+Y::3+F::1'
APD+74C:0:::6++++++6X'
TVL+240493:1740::2030+JFK+MIA+DL+081+C'
PDI++C:4'
APD+EM2:0:1630::6+++++++DA'
UNT+13+1'
UNZ+1+1'

This dates from when data communications were really expensive per byte.
It's also from when people were thinking in terms of forms expressed in machine-readable data,
not an API which actually did something.
There are about five different standards bodies for this sort of thing.
There's a mini-industry which converts this sort of thing to and from other formats.

Anyone involved in modern systems for this sort of thing?

[1] https://en.wikipedia.org/wiki/Electronic_data_interchange
I really like that alias. Thanks!
Recall that TFA discusses analyzing video, not generating video.
I look forward to whatever US states decide to interpret the Sixteenth Amendment like D.C., California, and New York interpret the Second Amendment.
Ablative management: Layered heat shield of dispensable people that burn off to protect the capsule with the execs.
An Introduction to LuaTeX
I like this sort of blog post - simple, clear example in a short format. Of course we can nitpick the implementation but I think the principle is solid: don't be afraid to sacrifice some brevity for modularity or composability.

I do think he could have woven in the Parnas source a bit better. The first quote seems to rely a lot on the surrounding context of the essay and its never contextualized. This bit:

> The problem is that these subsets and extensions are not the programs that we would have designed if we had set out to design just that product.

Just feels a bit disjointed in the article. I get the high-level message but thought it could be woven into the blog authors narrative better. Anyways, it sounds like a good article though.
It depends on what kind of damage you're trying to cause. Someone would use different chemicals for trying to kill a lot of people in one place immediately than trying to cause a large economic impact by filling the area with something expensive to eliminate that causes health problems. But the same is true of radioisotopes. The most immediately fatal ones have a short half-life and are only effective at that when concentrated rather than dispersed over a large area.

If you have physical access to something with a high monetary value and you want to mess it up, chemical explosives do just fine and can be made from ordinary household substances.

> Hot fuel rods are very strictly controlled for a reason.

The main legitimate reason is that some existing reactors were purposely designed not to poison the fuel with heavier Plutonium isotopes in a way that makes it unsuitable for producing weapons, because the countries wanted to use them for that, but that can be solved in newer designs by doing the opposite. The main political reason is media fear mongering and decades of Russian propaganda designed to keep people buying Russian gas. Which you can kill as many people with as you can with a fuel rod, but half the population has it piped into their homes.
Audiobookshelf: A self-hosted audiobook and podcast server
Oh. Ok that's never going to work.

"Hey there please click on this link to talk to me"

=> Malware! Blocked.
I’d be curious to hear that podcast if you could link it. If that was genuinely his opinion, he’s missed the forest for the trees. Brand safety is the dominant factor, not “wokeness”. And certainly not by the choice of any individual programmer.

The purpose of these tools is quite plainly to replace human labor and consolidate power. So it doesn’t matter to me how “safe” the AI is if it is displacing workers and dumping them on our social safety nets. How “safe” is our world going to be if we have 25 trillionaires and the rest of us struggle to buy food? (Oh and don’t even think about growing your own, the seeds will be proprietary and land will be unaffordable.)

As long as the Left is worrying about whether the chatbots are racist, people won’t pay attention to the net effect of these tools. And if Sam Harris considers himself part of the Left he is unfortunately playing directly into their hands.
Yeah, but if that expectation was false, those people were justly punished. And if it was true, the problem is clearly elsewhere.
Study of Patients with a Chronic Fatigue Condition May Offer Clues to Long Covid
Fair enough. It can be both disrespectful and mandated/incentivized by management.
We are already culturally incapable of skillfully discussing censorship, "fake news", etc, this adds even more fuel to that fire.

It is an interesting time to be alive!
This isn't true for an instruction-tuned model. They are designed so you actually do tell it what to do.
The demo uses a simple gpt 3.5 turbo.
Common example of complications of two grammars being combined: C code and character strings.

Double quotes in C code mean begin and end of a string. But strings contain quotes too. And newlines. Etc.

So we got the cumbersome invention of escape codes, and so characters strings in source (itself a character string) are not literally the strings they represent.
Your computer can do it, if it has a beefy enough Nvidia card. That's what LLMs are for!

Grammar-based parsing for natural language isn't anywhere close to working, sadly, and may never be.
Belgium.

"amenity=phone" returns 15 matches worldwide.

"amenity:phone", "amenity:telephone" or "amenity=telephone" (no other filters) returns the same 2 matches.

EDIT:

Belgacom started removing them in 2013 in Brussels, and the rest of country followed suit. The Belgian regulator found it unnecessary to require them with the ubiquity of mobile phones.

https://www.bruxelles.be/sites/default/files/bxl/Com_.%20pre...
At some point someone will open a book and see that whites were slaves too. Reparations all around. The Baber's descends will be bankrupt.
Totally moronic to let someone go with 18 years of experience. Just move them.
Scale AI to set The Pentagon's path for testing and evaluating LLMs
Skyryse One Begins New Era of Simpler, Safer Aviation
https://archive.ph/2024.02.21-111517/https://www.nytimes.com...
> EDIT: Generally when people are "true geniuses" their _peers_ identify them as such.

Counterexample: Kurt Heegener. OK, not a genius, but nevertheless a mathematician whose proof of a deep result (class number 1 problem [1]) was not accepted by his peers

Quote from [2]:

"In 1952, he published the Stark–Heegner theorem which he claimed was the solution to a classic number theory problem proposed by the great mathematician Gauss, the class number 1 problem. Heegner's work was not accepted for years, mainly due to his quoting of a portion of Heinrich Martin Weber's work that was known to be incorrect (though he never used this result in the proof)."

[1] https://en.wikipedia.org/w/index.php?title=Class_number_prob...

[2] https://en.wikipedia.org/w/index.php?title=Kurt_Heegner&oldi...
Windows 2000 Networking Shenanigans Part 1: Getting the Damn OS Installed
tbh we're right, it's the world that must change: https://www.nohello.com/
Maybe I'm being cynical, but as long as it doesn't require me to connect to the internet and I can just plug an HDMI cable or two into it and treat it like a monitor, I guess I don't mind so much if the price of a smart TV is supplemented by other people having to look at ads. I get the lower price benefit without the negative side.

I've got a couple Vizios right now that are basically just glorified monitors because they stay offline, and they work just fine for me.
I personally think that common law was an bad idea in the first place.
I Had to Return $60k of My Signing Bonus. Can I Get the Taxes Back?
C919 isn't China's first attempt. But they have a long term view of the industry and should be able to make progress even if they only satisfy some of their own domestic demand.
It's more like Bing Sydney, which was an insane AI using GPT4 that acted like it was BPD.
Yes, they are still supported, though 'modern' Fortran style discourages using them for new code.
Intel, along with their new AI fab plan, that's interesting, didn't OpenAI want to build their own chip?

Altman was perhaps lobbying in favor of Intel during the drama from few months ago, the plot 'thinnens', ha
When Jesus said this:

"What father among you, if his son asks for a fish, will instead of a fish give him a serpent?" (Luke 11)

He was actually foretelling the future. He saw Gemini.
> This has convinced me more and more that the only possible way forward that’s not a dystopian hellscape is total freedom of all AI for anyone to do with as they wish

i've been saying this for a long time. If you're going to be the moral police then it better be applied perfectly to everyone, the moment you get it wrong everything else you've done becomes suspect. This reminds me of the censorship being done on the major platforms during the pandemic. They got it wrong once (i believe it was the lableak theory) and the credibility of their moral authority went out the window. Zuckerberg was right about questioning if these platforms should be in that business.

edit: for "..total freedom of all AI for anyone to do with as they wish" i would add "within the bounds of law.". Let the courts decide what an AI can or cannot respond with.
An online dump of Chinese hacking documents
- Large/binary files: Pijul splits patches into operations + contents. You can download a patch saying "I added 1Tb there" without downloading any single byte of the 1Tb. No need to add any extra feature.

- Large projects: Pijul solves that easily using commutativity, you can work on partial repos natively, and your changes will commute with changes on other parts of the monorepo.