Hacker News Reader

Kevin09210on Quint: A specification language based on the temporal logic of actions (TLA)

Clojure to TLA+

https://github.com/Viasat/salt

Successor: https://github.com/Viasat/halite

Kevin09210on LLMLingua: Compressing Prompts for Faster Inferencing

Until your prompts looks like the following:

<Do something> with the following text:

Kevin09210on ChatGPT created a text adventure for me

-----------------------Player input ---------------------------

//"Nah, Ol Rythm, I know Nancy story's by heart, this isn't what happened. It wasn't a sandstorm in the desert. It was a rainstorm in the jungle. You're mixing up everything in your boozed up mind bro"

--------------------------------------------------

Level 0: Ol' Tales – Player Challenges Ol' Rhythm "Wait, hold up," you correct Ol' Rhythm with a playful jab, "You're mixin' up the stories. It wasn’t no desert – it was the jungle, man. Rain pourin' down thick as mud, not that scorchin' sun and sand. You sure that whiskey ain’t messin' with ya memory?"

Ol' Rhythm throws his head back and laughs, a deep, belly rumble. "Aight, aight, you got me. Maybe I did have one too many. Alright then, the jungle it was," he concedes, his grin acknowledging the mix-up. "Nancy's convoy was knee-deep in a downpour, visibility nil, the whole deal. So there they were..."

Level 1: In the Jungle – The Convoy Encounter "...mud up to our axles and water pourin' down like we’d angered the gods," Nancy's voice takes over, now steeped in the greens and browns of the jungle, a torrential rain replacing the arid breeze, "And just when we thought it couldn’t get no worse, we heard it over the rain – the distinct chatter of AKs. We were about to have company, and they weren't there to share umbrellas."

Your eyebrows shoot up in intrigue, and you lean in a little closer, the bar around you fading into the shadows of a rain-soaked jungle on the edge of chaos. gpt-4-1106-preview using 2392 tokens ~= $0.030120

Kevin09210on ChatGPT created a text adventure for me

Here are my experiments in this domain concerning complex interaction between the plane of narrated action and the plane of narration, i.e. having characters telling you stories ... within stories ... within stories.

But stories you can interactively drive nonetheless, as if you were in their shoes, while you listen them tell you what happens in reaction one narration level above. You can even argue with the narrator about what really happened rather than act in the story they tell.

https://pastebin.com/fK07dNhD

Kevin09210on Toxic comments are associated with reduced volunteer activity on Wikipedia

You need to get rid of codebase ownership and find something else to replace the trust it brings.

- Fine granularity forkability. Fork functions, not just projects

- Curators/Reviewers who endorse the validity/security aspects of those forks.

Kevin09210on Star neuroscientist may have manipulated data to support a major stroke trial

Daniel Promislow ?

Kevin09210on Superficial toxicity is the enemy of curiosity-driven innovation in science

fuck you I think Loeb is wrong, but you're just dumping your shitty easy opinion without putting forth any argument.

Kevin09210on Superficial toxicity is the enemy of curiosity-driven innovation in science

What qualifies Loeb's work as pseudoscience (which is different from erroneous science as pointed out in the paper and blog post he reacts to) ? The thematics he chose to explore. He could have worded his paper differently, totally burying the extraterrestrial tech hypothesis he had in mind and there would have been no repercussions. Your opinion is driven by the semantics of the topic at hand and its success relies on the fact it fits into two heavily imbalanced classes. Of course I can go around and tell people they don't have that super rare disease: that doesn't mean I'm not a crank too.

Still waiting for you to delve into the details of the argument against Loeb's claims rather than using broad and easy categorization (which etymologically means accusation).

Kevin09210on Superficial toxicity is the enemy of curiosity-driven innovation in science

That's superficial and bordering on ad-hominem.

Kevin09210on Show HN: ComfyUI extension for the new Stable Video Diffusion model

I get similar results on thinkdiffusion

Kevin09210on Show HN: ComfyUI extension for the new Stable Video Diffusion model

Well, I can't load the workflow. Installing the missing nodes requires restarting comfyui and it seems persistence on comfyworkflow's cloud isn't guaranteed anymore.

Also this website is pure single-page garbage. Everything is super slow, can't ctrl+click on a link to open it in another tab, etc ... An UX nightmare.

Can you recommend a competitor ? Looking at:

- https://www.thinkdiffusion.com/

- https://rundiffusion.com/comfyui-workflows

- https://flowt.ai/

Kevin09210on Stable Video Diffusion

https://www.youtube.com/shorts/ZN-NbdFwfNQ

https://www.youtube.com/watch?v=3WWy98ylLT4

https://www.youtube.com/shorts/1vqOjYWEF84

https://www.youtube.com/shorts/jOIb9QbrhZ8

https://www.youtube.com/shorts/C3F_YI84TXA

https://www.youtube.com/shorts/4IqJHozY4F0

https://www.youtube.com/shorts/h3OmBLlm5-g

https://www.youtube.com/shorts/ZT7tuIgSDRk

https://www.youtube.com/shorts/WnUYbsOMyvs

https://www.youtube.com/shorts/BKKqX2aMlSg

The inconsistencies are what's most interesting in these videos in fact

Kevin09210on OpenAI staff threaten to quit unless board resigns

Or maybe the intelligence is in language and cannot be dissociated from it.

Kevin09210on What Meta learned from Galactica, the doomed model

>“write X in the style of Y”

"Write this proof in the style of a program"

I think there is something a lot deeper behind this

Kevin09210on Reauthorizing mass surveillance shouldn't be tied to funding the government

> These are the kinds of things that annoy me in relation to celebrities. For instance, Taylor Swift/Kanye could raise this issue and probably single-handedly cause enough upset to have this changed/removed.

Unless of course they are handled by the state apparatus itself:

https://www.reddit.com/r/Kanye/comments/ylhm5g/this_text_kan...

>I'm going to help you one of a couple ways.…. First, you and I sit down and have an loving and open conversation, but you don't use cuss words, and everything that is discussed is based in fact, and not some crazy stuff that dumb friend of yours told you, or you saw in a tweet.

>Second option, I have you institutionalized again where they medicate the crap out of you, and you go back to Zombieland forever. Play date with the kids just won't be the same.

> Harley Pasternak to Kanye via a text.

https://threadreaderapp.com/thread/1588556212102082560.html#...

> His Wikipedia page states that "During his time at U of T, Pasternak served as a nutrition and exercise scientist at Department of National Defence's Defence and Civil Institute for Environmental Medicine."

> [...]

> What sort of stuff is researched at DRDC?

> "Human systems integration."

> "Social and psychological factors that affect the resolution of conflict."

> "Psychology of malicious intent."

> "Social and cultural factors influencing behavior."

> Literal psyops.

Kevin09210on Building an occupancy sensor with a $5 ESP32 and a serverless DB

check this out

https://dynamax.com/products

Kevin09210on Researchers analysed novels to reveal six story types

More great "diagrams" from mathematician Jean Petitot applying René Thom's morphodynamic models to the study of the canonical formula of myths (Lévy-Strauss).

about 2/3rd in: https://www.persee.fr/docAsPDF/hom_0439-4216_1988_num_28_106...

Kevin09210on Was Atlantis a Minoan Civilization on Santorini Island?

No measurements though

Kevin09210on Northern lights turn sky red in Bulgaria

>According to reports, the northern lights were also spotted in Romania, Hungary, the Czech Republic and Ukraine. There are also photos from Poland and Slovakia.

More pics: https://www.facebook.com/meteobulgaria/

https://www.adn.com/alaska-news/science/2023/11/04/haarp-exp...

>HAARP experiments could cause artificial aurora over Alaska this weekend

Kevin09210on Was Atlantis a Minoan Civilization on Santorini Island?

>Exploration of the Black Sea shelf reveals two major shelf-crossing unconformities. The older unconformity separates mostly-barren deposits of late glacial age from overlying Neoeunxiain sediment containing fresh to brackish fauna. This unconformity can be traced over the shelf edge to depths beyond –140 m. The substrate below is dry, firm, and contains unchallenged evidence of subaerial exposure at least to depths of –110 m. The Neoeuxinian cover is present on the outer shelf and is preserved, though incompletely, in depressions on the middle and inner shelf. It is even found as subsurface valley fill in the coastal limans and Sea of Azov. The Neoeuxinian on the shelf represents a transgression leading to a highstand at ~ –20 m below today’s sea surface, which was reached by 10,000 BP (uncorrected). Sediments with marine fauna lie above the Neoeuxinian and are separated from it by a sand to gravel layer that represents a younger unconformity. In the limans, the hiatus between the Neoeuxinian and overlying Bugazian is called “peririf” and on the shelf a “washout.” Dune fields between –65 and –80 m and wave-truncated terraces with beach-like berms at –90 to –100 m contain shell material dated between 9500 and 8500 BP, suggesting that the younger unconformity represents a post-Younger Dryas regression that took the surface of the Black Sea’s lake below the level of the global ocean.

https://link.springer.com/chapter/10.1007/978-1-4020-5302-3_...

Kevin09210on Was Atlantis a Minoan Civilization on Santorini Island?

And yet in Plato's Timaeus, you find statements like this:

> On the side toward the sea, and in the center of the whole island, there was a plain which is said to have been the fairest of all plains, and very fertile. Near the plain again, and also in the center of the island, at a distance of about fifty stadia (one stadia=606 feet), there was a mountain, not very high on any side.

> And, beginning from the sea, they dug a canal three hundred feet in width and one hundred feet in depth, and fifty stadia in length, which they carried through to the outermost zone, making a passage from the sea up to this,

> Now the largest of the zones into which a passage was cut from the sea was three stadia in breadth, and the zone of land which came next of equal breadth; but the next two, as well the zone of water as of land, were two stadia, and the one which surrounded the central island was a stadium only in width. The island in which the palace was situated had a diameter of five stadia.

These are features of a geographical account.

Kevin09210on Kolmogorov Neural Networks can represent discontinuous functions

Don't downvote. Explain

Kevin09210on A theory that Mars lost its magnetic field and then its oceans (2022)

Wait I thought the extreme runaway greenhouse effect had been set aside (read that on here a few years ago IIRC), and it wasn't possible for Earth's atmosphere to turn into Venus'.

Found this from April 2023:

>How a Stable Greenhouse Effect on Earth Is Maintained Under Global Warming

>Plain Language Summary: Observations and model simulations have shown that Earth maintains a stable longwave radiative feedback process. When the surface warms by 1 K, Earth allows for 1.7 to 2.0 Wm−2 of extra thermal cooling to escape to space in cloud-free conditions. Recent studies have claimed that this enhanced thermal cooling to space can be explained by emissions from the surface passing through the atmosphere's infrared window. However, we find that a large portion of the stability actually results from enhanced atmospheric emission during global warming, which arises from the weakening of spectral lines broadening by radiatively inert gases (N2, O2, Ar) as the Earth warms. It is a well-understood phenomenon in spectral physics but has been largely ignored in the feedback literature. As a result, the feedback responses from the thermal radiative effects of greenhouse gases tend to stabilize the climate, rather than initializing a runaway of thermal radiative energy. This study further proposes a simple theory for accurately predicting the clear-sky longwave feedback from climate base states.

https://agupubs.onlinelibrary.wiley.com/doi/pdf/10.1029/2022...