Randy Davila

[Randy Davila @RandyDavilaPhD]

Here’s a place where AI generates meaningful conjectures: https://t.co/vjtAZeg02f

[Randy Davila @RandyDavilaPhD]

Is anyone interested in an AI app that generates mathematical conjectures?

[Randy Davila @RandyDavilaPhD]

@ashleyruba_phd I left for family. Being a prof is surprisingly low pay if you want to have a kid.

[Randy Davila @RandyDavilaPhD]

@angryfermion Non-mathematicians?

[Randy Davila @RandyDavilaPhD]

@LinusTech ….

[Anthony Bonato @Anthony_Bonato]

Set theorist: first natural number
Topologist: unknot
Analyst: L_2 norm
Algebraist: SO(2)
Graph theorist: K_1
Everyone else: it's a circle, dood

[Randy Davila @RandyDavilaPhD]

One of the problems with generative AI is that of posing substantial questions in mathematics. In this paper we show how this can be done in a simple manor https://t.co/b3nG83Zubh

[Jay Cummings @LongFormMath]

Who is a character that someone hating is an instant red flag for you?

[Randy Davila @RandyDavilaPhD]

@SC_Griffith @somacdivad

[RelationalAI @RelationalAI]

We’re excited to announce the support of #varargs in Rel. You can use varargs to write more general code that works for multiple arities. Varargs can be useful when writing generic relations for common utilities. Learn more ⬇️ https://t.co/pwZUPHrudp

[Randy Davila @RandyDavilaPhD]

@pickover Give it to ChatGPT

[Randy Davila @RandyDavilaPhD]

@Federico_claudi @JuliaLanguage @somacdivad @talkjuliapod

[Federico Claudi @Federico_claudi]

New @JuliaLanguage package idea, inspired by ReplGPT.jl - automatic, useful help messages using GPT-3:

[Elias Carvalho @eliascarvdev]

TruthTables.jl v0.5 arrives with a major refactoring, gaining performance and source code readability.
Check out the benchmark between versions:
#JuliaLang

[Randy Davila @RandyDavilaPhD]

@somacdivad @theabhimanyu @talkjuliapod

[The Julia Language @JuliaLanguage]

Join us @JuliaConOrg 2023 in July! Early bird tickets are on sale now and going fast #JuliaLang:

https://t.co/3AggQYAcLW

[Brendan Dolan-Gavitt @moyix]

Proposal: PhD-level course in "how to get stuff to build and run". The final exam assigns you a random GitHub repo for a paper from no less than five years ago and asks you to get it running within 24 hours

[Huda Nassar @nassarhuda]

Just so that everyone knows... when we say everything is a graph we aren’t joking. 🤷‍♀️

[Federico Claudi @Federico_claudi]

While the models train...

Attempt at a new REPL output for @FluxML models with Term.jl.

[Federico Claudi @Federico_claudi]

New version of Term.jl for @JuliaLanguage coming out soon.
Mostly QoL improvements and bug fixes, but also a useful new @showme macro to see the method definition for a function call:

```
@showme tprint(stdout, "this is TERM")
```
👇