Hacker Newsnew | past | comments | ask | show | jobs | submit | prionassembly's commentslogin

Is anyone doing something like using LLMs to generate Prolog (or Cyc, or some appropriately complex, brittle knowledge representation GOFAI)?


Every time I think "oh Jean-Yves Girard".

Besides being perhaps the logician of note of the 20th century (against considerable "competition"), he's become an important philosopher in the 21st. I think he realizes he's become a philosopher, although it would seem (from private correspondence) that he doesn't find philosophy all that important, let alone that he's such an important one.

The recommended book-length treatment of Girardian ideas is "The Phantom of Transparence". The TED talk version is this: https://www.youtube.com/watch?v=Nc3pgZxU-Cg

I often tell people to watch the video even if they don't know one "euh" of French. There's something about the energy in it that already conveys so much.

----

I can't honestly evaluate the other, minor Girard because of the homonymy. It's unfortunate.


I mean, putting a bullet to someone's head can extirpate a brain tumor they hadn't been alerted to before, while leaving a grateful person owing you kudos. What if?


you can always find some radical regressionist argument that is completely out of contact with anything.

congrats on that!


There's some point in which good faith rules apply, probably even in court (although not decisively). Presumably Redis Labs works with the developer community and, critically, promotes the technology, which adds great value in terms of network effects. This is sort of the situation with Mozilla.org/com, right?

(Say you like something like Elm -- wouldn't it be better to have a relatively closely aligned commercial entity that puts significant and effective effort in making it widely used, which in turns makes it easier to find an Elm job or sell Elm-like solutions as a consultant).


Mozilla Corp is (solely) owned by Mozilla Org.


Counterexample: Gilles Deleuze's "Empiricism and Subjectivity".


The interesting tidbit here is that congresspeople, both leaders and small fry types, were parroting a line that went "if we don't pass this censorship law, the Supreme Court is going ahead and dropping an even bigger hammer".

The Supreme Court kneecapped Lula in the late 00s and early 10s, arrested his lead cadres and led to his party's decay -- until Lula himself was arrested. They did this by importing theories by German theorists that were never part of our law intellectual traditions, let alone our laws. Then in the late 10s they started arresting bloggers for insulting the Court -- directly, taking on police powers. Now they're with Lula, and further expanding their sweeping powers. I'm scared to even post this. I mean, much of Congress is scared -- they've got people there by the balls.


They're judge kings and they're running the country. Whatever whims they write on documents is law because police obeys. I'm very scared too. My own family has told me to my face to stop posting online because they fear I could get arrested. I still can't get over how fucked up that is.


A Brazilian's day only truly begins after some bread and 2 full cups of judiciary down the throat


I think people are annoyed about the idea of having to know R, Python and Julia. So we stick to our guns with Python even if Julia is possibly better. Heck, if I'm ever learning another language, it's Janet then Rust. Or Type/Javascript if life ever throws me thataway. To paraphrase: stop trying to make Julia happen.

Also the Julia community is lovely, but R folks are so smug about tiny things like (the admittedly very fine for its applications) ggplot2. Also: have you heard SAS or Stata users telling you they can run neural networks using their built-in matrix languages? Yes we can! Yes we can!


I'd rather stick to my R guns than my python pea-shooters, thank you very much.


Do you have physical brightness buttons? Do you have any more gradual transition hacks?

Our 2-yr old doesn't have access to phones at all -- except perhaps when he grabs one that's lying around; but then he expects it taken from him. But he's so taken with TV that we plan screen time in reverse: start at dinner time and subtract how much time we want him to be there. Our whole approach to tantrums is having something else lined up rather than just shutting things off and leaving a void. I'm fascinated by your methods.


We don’t have a tv in the house. And we don’t use our phones/iPad in front of our son. So the only time he sees a screen is when we are changing his diaper. The only exception has been when we are all sick we watch a family movie on the iPad with him. And if I’m being honest a few Saturday mornings I’ll watch a show with him while we are waking up.

I use control center to lower the brightness.


> So the only time he sees a screen is when we are changing his diaper.

"Mum! Why do I always need the loo when I'm doing homework on the computer?"

"Ah."


he's probably just surreptitiously using control center to dial things down. https://support.apple.com/en-us/HT202769

One thing I discovered recently was that iPhone volume buttons decrement the volume 1/16 at a time.


Correct, as he gets older this won’t work because he will understand what I’m doing.

I’ve thought about writing an app that shows a pre set collection of videos from my photo library and then slowly turns down the brightness after a few minutes. If anyone want to build this let me know. I’d love to use it.


Wait. I have an API key. Is GPT-4 available already?


Only if you've gotten through the waitlist. I signed up at least a month ago, no word. There was a comment thread the other day about getting around the wait by selecting the option that you're looking to build plugins, which apparently gets you expedited.

I haven't tried it. As always, YMMV.


Aaaah it started working the same day I paid for (and cancelled) ChatGPT Plus and I probably missed the waiting list email!


You have to request the access for the GPT-4 API.


Not as an engineer, but as some kind of high-ranking advisor, yes. Like the "Chief of Theory" in Don deLilo's Cosmopolis:

https://www.youtube.com/watch?v=eVRpA-_jzV4


Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: