HackerTrans
TopNewTrendsCommentsPastAskShowJobs

davidjade

no profile record

Submissions

Giving LLMs a Formal Reasoning Engine for Code Analysis

yogthos.net
3 points·by davidjade·पिछला माह·1 comments

comments

davidjade
·14 दिन पहले·discuss
That’s also probably why when publishing apps to app stores you have to attest to the forms of encryption your app uses.
davidjade
·पिछला माह·discuss
Except the steel armature inside can turn to hidden rust and if you do something and crack the ferro hull they can be a total loss. A lot were home built so finding a quality build is another issue.

There’s a reason insurance won’t touch them.
davidjade
·पिछला माह·discuss
Project source is here: https://github.com/yogthos/chiasmus
davidjade
·4 माह पहले·discuss
I wrote software for a company that did legal forms on a PC - used by those same users that mastered WordPerfect for DOS. Those users typically had lower powered PCs even as Windows was slowly gaining traction in the market. Lawyers were slow to upgrade to more powerful PCs when WordPerfect for DOS was their main use. I pitched that Windows was the future but my boss at the time, rightly so, argued that those users could not adopt it on the hardware they typically used.

The compromise was I developed the new software as Windows 3.0 apps and used a text-based rendering compatibility layer called Mewel that implemented the Windows API in text mode for single DOS applications. A few #ifdefs and I could compile for both Win16 and DOS Text mode. This not only allowed me to develop under Windows using the superior at the time Borland compilers, it gave the company a solid footing when the legal world finally came around and wanted Windows software - we had it finished already. Sales slowly transitioned to the Windows version and then it really took off around Windows 3.11 (Windows for Workgroups).

That company was later bought by Pitney Bowes because they were the only company with Windows compatible legal forms software for Windows. Performa (or was it Proforma - I can't remember) was the name of the software.
davidjade
·6 माह पहले·discuss
I was just there this week and it has of course changed a lot. I was also there in either 73 or 74 as a kid - the visitor center has also grown a lot since then.

Well worth the visit (and you really need two days to see everything - we spent 10 hrs and felt rushed and saw only about 75%). Even with the Disney-ified aspects (a few movie rides/experiences and kids activities), it still seems a lot like a museum experience. The artifacts are amazing (like standing under a Saturn V, seeing equipment from the American first space walk, and then walking on the original (relocated) launch tower footbridge that the Apollo 11 astronauts used).

The three astronaut memorials were a bit of an emotional to see in person - pieces of Apollo 1, Challenger, and Columbia as well as tributes to all those who have sacrificed their lives in this pursuit.
davidjade
·7 माह पहले·discuss
I was recently in a friend’s Tesla model 3 for the first time and all the buttons on the doors simply had a dash “-“ on them. No information about what they were for at all. Same dash for opening the windows and the opening the door. But no indication of which was which.
davidjade
·8 माह पहले·discuss
Having witnessed a large commercial ship going 15 kts run over a smaller 30 foot sailboat I can assure you it was not “pushed aside” unless by aside you mean pushed under.