Search
982 results for “kellogh”
-
@kellogh It's an advanced pattern recognition machine, nothing more.
And yes, we don't really know what's happening within #LLMs #NeuralNets - and this makes it worse!
AIs are intuitive, not thinking machines, which is not enough to produce code that is high quality and can be trusted:
Very interesting thread:
https://floss.social/@janriemer/109479731267566070Also, there is _so much more_:
- I want an #AI, that _expresses uncertainty_ with line number range
- asks questions back, not just spit out bs! -
@kellogh Like, from 2017, I went and found a PDF of a paper I submitted describing Monte, a Python-flavored E: https://github.com/monte-language/monte-talks/blob/master/corbin-ocap17-monte.pdf
I also presented a poster at PyCon 2016 covering the same material: here's Monte, it's like Python and E, etc. You can see the examples in that repository, and they are a standard slice of modern full-stack language usage: cube roots by hand, memoization, TCPv4 connections, private-key cryptography.
But in the paper, on p1, I give what I called "the 'hello world' of capability-safe languages", the E money-mint example. For capability theorists, a language is measured by its ability to formalize the same sorts of mutually-untrusting invariants which characterize financial transactions. I had to give this example or else I would not be recognized as a practitioner.
-
@kellogh Like, from 2017, I went and found a PDF of a paper I submitted describing Monte, a Python-flavored E: https://github.com/monte-language/monte-talks/blob/master/corbin-ocap17-monte.pdf
I also presented a poster at PyCon 2016 covering the same material: here's Monte, it's like Python and E, etc. You can see the examples in that repository, and they are a standard slice of modern full-stack language usage: cube roots by hand, memoization, TCPv4 connections, private-key cryptography.
But in the paper, on p1, I give what I called "the 'hello world' of capability-safe languages", the E money-mint example. For capability theorists, a language is measured by its ability to formalize the same sorts of mutually-untrusting invariants which characterize financial transactions. I had to give this example or else I would not be recognized as a practitioner.
-
@kellogh Like, from 2017, I went and found a PDF of a paper I submitted describing Monte, a Python-flavored E: https://github.com/monte-language/monte-talks/blob/master/corbin-ocap17-monte.pdf
I also presented a poster at PyCon 2016 covering the same material: here's Monte, it's like Python and E, etc. You can see the examples in that repository, and they are a standard slice of modern full-stack language usage: cube roots by hand, memoization, TCPv4 connections, private-key cryptography.
But in the paper, on p1, I give what I called "the 'hello world' of capability-safe languages", the E money-mint example. For capability theorists, a language is measured by its ability to formalize the same sorts of mutually-untrusting invariants which characterize financial transactions. I had to give this example or else I would not be recognized as a practitioner.
-
@kellogh Like, from 2017, I went and found a PDF of a paper I submitted describing Monte, a Python-flavored E: https://github.com/monte-language/monte-talks/blob/master/corbin-ocap17-monte.pdf
I also presented a poster at PyCon 2016 covering the same material: here's Monte, it's like Python and E, etc. You can see the examples in that repository, and they are a standard slice of modern full-stack language usage: cube roots by hand, memoization, TCPv4 connections, private-key cryptography.
But in the paper, on p1, I give what I called "the 'hello world' of capability-safe languages", the E money-mint example. For capability theorists, a language is measured by its ability to formalize the same sorts of mutually-untrusting invariants which characterize financial transactions. I had to give this example or else I would not be recognized as a practitioner.
-
@kellogh Like, from 2017, I went and found a PDF of a paper I submitted describing Monte, a Python-flavored E: https://github.com/monte-language/monte-talks/blob/master/corbin-ocap17-monte.pdf
I also presented a poster at PyCon 2016 covering the same material: here's Monte, it's like Python and E, etc. You can see the examples in that repository, and they are a standard slice of modern full-stack language usage: cube roots by hand, memoization, TCPv4 connections, private-key cryptography.
But in the paper, on p1, I give what I called "the 'hello world' of capability-safe languages", the E money-mint example. For capability theorists, a language is measured by its ability to formalize the same sorts of mutually-untrusting invariants which characterize financial transactions. I had to give this example or else I would not be recognized as a practitioner.
-
@kellogh @carnage4life I hope Poe's Law is at play here.
-
@kellogh @ErikJonker I don't trust Google anymore. Even *if* Gemini is good, it's just a matter of time till Google either kills it or inserts it with as much ads as we can stomach. I used to be a Google fanboy (bought the logo coffee mugs, the Android figurines, etc 🤡), and now I'd like to see them dead 🤗 #breakthemup Probably because they betrayed their original users and original philosophy. Ads used to exist to support cool products. Now their products exist to support the sale of ads.
-
@kellogh Better than #screendoor on a submarine I guess.
-
@kellogh Better than #screendoor on a submarine I guess.
-
@kellogh Better than #screendoor on a submarine I guess.
-
@kellogh Better than #screendoor on a submarine I guess.
-
@kellogh Better than #screendoor on a submarine I guess.
-
@kellogh
Part 1: #ClimateChangeWow.
Solution to the #ClimateCrisis using #SolarPanels for #farming: #Agrivoltaics
"Properly designed solar installations can increase food #harvests, reduce the need for #irrigation, revive dying lakes, rescue #pollinators, restore #soils + cool overheated humans—all while producing more power than conventional solar arrays."
"In 1982, researchers @ the #FraunhoferInstitute for Solar Energy (ISE) in Germany proposed a... solution..."
-
@kellogh
Part 1: #ClimateChangeWow.
Solution to the #ClimateCrisis using #SolarPanels for #farming: #Agrivoltaics
"Properly designed solar installations can increase food #harvests, reduce the need for #irrigation, revive dying lakes, rescue #pollinators, restore #soils + cool overheated humans—all while producing more power than conventional solar arrays."
"In 1982, researchers @ the #FraunhoferInstitute for Solar Energy (ISE) in Germany proposed a... solution..."
-
@kellogh The flat view of the file picker is fine for me since I only need the fuzzy search and that works on partial folder names and files. There are so many other plugins that I would miss like undotree, table-mode or harpoon by #ThePrimeagen. But the biggest hurdle is that I will need to unlearn vim. I simply cannot switch in my head.
-
@ErikJonker @kellogh And that's why we need more drastic anti-trust laws 👌. Lazy monopolists that just exist to suck out as much money for their shareholders as possible, are a blight to humanity and hinder our progress. #breakthemup
-
De Novo Drug Design Using Transformer-Based Machine Translation and Reinforcement Learning of an Adaptive Monte Carlo Tree Searchhttps://www.mdpi.com/1424-8247/17/2/161
#AI #drugAI #transformer #RL_MCTS #RL #reinforcement_learning #Monte_Carlo
RE: https://hachyderm.io/users/kellogh/statuses/111893610072682622 -
🎤 " Could you please compare and contrast the Russia ' her emails ' hack from 2016 & how it compares to the current 2024 but ' yer emails ' hack of 2024, you know, recent times, in your camp-pain? "
#infosec #uspol #RTDNA questions #satire #BUTSRSLY 🔍🧐
Updated: w/ URLs!
¹
https://www.washingtonpost.com/politics/2024/08/10/trump-hack-iran-vance-report/²
https://infosec.exchange/@cosmiclibrar[email protected]/112944356400317278³
https://infosec.exchange/@kellogh@hachyderm.io/112944205206100447⁴
https://infosec.exchange/@darthstar@mastodon.online/112944058172745248⁵ Strong passwd should not include the obvious ' maga ' as a phrasing 🤦♂️
https://infosec.exchange/@aronow@hachyderm.io/112941180891451035⁶
https://infosec.exchange/@uspolitics@mastodon.social/112940229044258842⁷
https://infosec.exchange/@JoshuaHollan[email protected]/112944388037982105 -
(1/2)
Yes, I was quite angry, when I read it. We could've head a second #GreenRevolution FOUR DECADES ago.
But it gets even better than that. We could have had an agricultural revolution for arid landscapes outside of the #Andean regions 490 years ago: in 1532 the conquistador Francisco #Pizarro captured the Sapa #Inca #Atahualpa #Cajamarca. A year later, the #Spaniards could have told the #ReyesCatólicos of #Spain about the advanced... -
(1/2)
Yes, I was quite angry, when I read it. We could've head a second #GreenRevolution FOUR DECADES ago.
But it gets even better than that. We could have had an agricultural revolution for arid landscapes outside of the #Andean regions 490 years ago: in 1532 the conquistador Francisco #Pizarro captured the Sapa #Inca #Atahualpa #Cajamarca. A year later, the #Spaniards could have told the #ReyesCatólicos of #Spain about the advanced... -
(1/2)
Yes, I was quite angry, when I read it. We could've head a second #GreenRevolution FOUR DECADES ago.
But it gets even better than that. We could have had an agricultural revolution for arid landscapes outside of the #Andean regions 490 years ago: in 1532 the conquistador Francisco #Pizarro captured the Sapa #Inca #Atahualpa #Cajamarca. A year later, the #Spaniards could have told the #ReyesCatólicos of #Spain about the advanced... -
(1/2)
Yes, I was quite angry, when I read it. We could've head a second #GreenRevolution FOUR DECADES ago.
But it gets even better than that. We could have had an agricultural revolution for arid landscapes outside of the #Andean regions 490 years ago: in 1532 the conquistador Francisco #Pizarro captured the Sapa #Inca #Atahualpa #Cajamarca. A year later, the #Spaniards could have told the #ReyesCatólicos of #Spain about the advanced... -
(1/2)
Yes, I was quite angry, when I read it. We could've head a second #GreenRevolution FOUR DECADES ago.
But it gets even better than that. We could have had an agricultural revolution for arid landscapes outside of the #Andean regions 490 years ago: in 1532 the conquistador Francisco #Pizarro captured the Sapa #Inca #Atahualpa #Cajamarca. A year later, the #Spaniards could have told the #ReyesCatólicos of #Spain about the advanced...
