calebh

Some people here have mentioned microtransactions for news, and that reminded me of an app I used to use called Blendle. Back in the day you used to be able to top off your account and pay <$1 for each news article. I used to use it quite a bit. From what I can find online, the business model never succeeded, and the majority of the people who downloaded the app never actually made any microtransactions. It's a shame because I really enjoyed it.

I don't understand why Twitter (now X) never bothered to re-launch Vine after TikTok's success. The brand, I think, still has some power. Vine could have easily been TikTok if they would've expanded the platform more.

What are ML jobs about? I have this vague notion that you spend a lot of time gathering/cleaning data and throwing things at the wall, but maybe that's not accurate.

I've always been stronger at discrete type math/programming, which is why I tend to shy away from statistics-based stuff like ML.

One thing to note is that LLMs are indeed feed forward, however the generation of the text (from my understanding) is recursive in that you feed each output token to another forward pass of the neural network.

You can trivially implement this using a timestamp authority (TSA). This can be done without the blockchain, and there are several free publicly available services that do this.

https://en.wikipedia.org/wiki/Trusted_timestamping

I live in Boston and frequently went to BUG events prior to COVID. The pandemic killed off many in-person meetups, and nowadays game developer events meet much less frequently. There already is a game dev meetup group called Boston GameDev which seems to have absorbed all of the meetups into one umbrella - and this includes BUG. There is no pressing need to rename the group or transfer members because this umbrella organization already exists.

See the about section here: https://www.meetup.com/bostongamedev/

It's a real shame that BUG is dying, it was one of my favorite meetup groups prior to COVID.

I've thought a lot about storing program structures in distributed hash tables and came to the conclusion that the only viable languages that can be safely stored are purely functional. If you consider OOP languages, there are many stateful dependencies, for example a method may rely on a constructor initializing a private variable in some specific way, so the smallest unit of modularity cannot be a method. Similarly an entire class could perhaps rely on methods being called in a certain order. Even though classes are designed to be self contained, stateful behavior really mucks up the ability to separate things into constituent parts.

Purely functional on the other hand has none of these problems. This is the approach taken by the Unison Language people, which I think makes the right design decisions.

I recently learned that the computable numbers are subcountable but not enumerable.

Proof sketch: Turing Machines are enumerable by lexiographically sorting them. The Turing Machines that compute computable numbers are a subset of them. Therefore the set of computable numbers is subcountable.

Now assume that the set of computable numbers is enumerable by some Turing Machine M. Then I can construct a new computable number who's ith digit is a swap from the ith number's ith digit given by M (ie a diagonialization). This contradiction shows that the set of computable numbers is not enumerable.

Another way of looking at this is that determining if some Turing Machine computes a computable number requires deciding the halting problem, which cannot be done. TMs computing computable numbers are required to terminate given an input precision.

Yup, Wolfram Alpha is much worse than it once was. Even simple things like comparisons using "vs" no longer works. Peak WA was a few years after release. It also used to be able to evaluate Mathematica expressions, which it can no longer do.

I filled my claim out yesterday. The form has a section for deleted accounts, so even if you deleted or recreated account you should be good to go. All you need for the deleted account is some basic info like the email address associated with the account.

Unlike computer code, there is no huge repository of formalized proofs to train a machine learning algorithm on. Furthermore for interactive proof assistants (Coq, Lean, and others), the code saved on disk does not contain any of the intermediate goals, which is necessary for understanding the proof structure.

If machine learning makes inroads into pure mathematics, it will have to be from some sort of reinforcement learning, not supervised learning.

From what I learned from covering this in my Master's degree, the efficiency comes from the DPLL algorithm, which can efficiently solve many real world inputs, but still takes exponential time in the worst case.

This is completely false. We're not living in a world anymore where CPUs do the rendering for videogames. Indie game studios use some of the same engines (Unity, Unreal) as AAA, and those engines definitely require GPUs.

I've been waiting forever to buy a .ing domain from Google as my last name ends in those letters. I literally want to give them my money and they won't let me. I did end up purchasing a .ng domain for my personal website, but I'm not super keen on having it tied to the country of Nigeria.

How often does Google release these new domains? I know that .ing was delegated to them in 2014... why are they allowed to control these domains if they never release them?

For me song radio simply plays songs that I've already listened to but are similar to the current song. Completely useless for discovering new music.

Just to add to this comment, one of the grad students who worked on sketch-n-sketch published a successor program for more general programs (not just drawings) called maniposynth: http://maniposynth.org/

China had the zero COVID policy for a long time. Since they were on lockdown the virus didn't spread as much. They've relaxed this policy recently

OpenAI needs to get on top of this and generate a detector for every model they release. And then sell access to both.

Location: Lafayette, IN, USA

Remote: Yes

Willing to relocate: Yes, to within the US

Technologies: Programming languages, compilers, functional programming, formal methods, proof assistants, virtual reality, game development, simulation development, PyTorch, machine learning, research & development, computer graphics, computer networking, embedded systems

Resume/CV: https://github.com/calebh/calebh.github.io/blob/master/resum...

Email: caleb.helbling AT yahoo.com

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

Computer science student living in Lafayette, IN. I am currently in the PhD program at Purdue University but am planning on leaving early with a master’s degree. Looking for a full time position after I graduate in May 2023.

I was most recently employed as a virtual reality software developer at Holos, Inc. My primary interests are in programming languages, computer graphics and machine learning.

In the past I was at MIT Lincoln Laboratory in the position of Assistant Staff. While there I primarily focused on embedded systems development, computer networking and graph theory research. I left this position in early 2019. Prior to this I was an undergraduate student, and held multiple internships at various companies. I have three publications in the areas of programming languages and graph theory.

It would be nice if it would be possible to import your "liked" songs. I don't typically put songs I like into a specific playlist.

Google assistant doesn't even respond to my "Hey Google" requests anymore. Compared to its sensitivity a few years ago this is a huge regression. As such I barely use the voice assistant anymore.

So many Google products have been regressing lately. I've seen complaints about search, and GMail spam filters.

Amazon is filled with cheap junk nowadays. I don't trust them for anything important. Case in point: I recently purchased an air purifier but was worried that I would get a fake product since they are notorious for co-mingling. I ended up buying one from Target online which also has free two day shipping now. For anyone who is looking for an alternative to Amazon, it seems like the big retailers (Walmart, Target, Best Buy) have finally caught up with their online offerings. I don't think I'll ever buy anything important from Amazon again until they fix their trash problem.

For call graphs without cycles it should be possible to run static analysis to determine the maximum amount of memory taken by your program at any point, assuming you don't use things like malloc or alloca or dynamically sized arrays.

I've worked in a number of spaces that you mentioned. Parser generators are awful, which is why my preferred parser technology are parser combinators. They occupy a nice space between parser generators and handwritten recursive descent parsers.

Meta programming is an excellent target, but it usually needs to be directly baked into the language. The closest system I've seen to a nice language agnostic close to meta programming system is Jetbrains MPS and Spoofax Language Workbench. Last time I checked, MPS is mostly dead and Spoofax is only used my programming language researchers.

For the Arduino programming stuff, I currently maintain a domain specific functional reactive programming language for Arduinos called Juniper: https://www.juniper-lang.org/

However the intersection between people who do Arduino programming and functional programmers is quite small. Also my interest has waned on and off over the years which means there have been long gaps between releases. I just work on it for fun mostly.

All you need is a red colored flashlight. I have used these during astronomy to read star charts without ruining my night vision.

Holos | AR/VR Interaction Engineer, Unity Network Engineer | Madison, WI or Remote | https://holos.io/

At Holos, we're developing a general-purpose spatial computing system for AR and VR, and deploying it in the educational and training fields to let people take control over their learning and personal growth like never before. Our product is built on top of proven technologies like Leap Motion's hand tracking, Valve’s SteamVR platform, Node.js, and Vue.

Our team is small but mighty and growing. You'll be working alongside the CTO, and often the Co-Founders, in a very generalist and multidisciplinary role. If you have an affinity for technology, design, and education, then please reach out. We welcome friendly, curious individuals that understand the power of communication, knowledge, and teamwork to apply.

We are currently seeking:

- AR/VR Interaction Engineer: https://angel.co/company/holosxr/jobs/1370420-unity-networki...

- Unity Networking Engineer: https://angel.co/company/holosxr/jobs/1370420-unity-networki...

Holos | AR/VR Interaction Engineer, Unity Network Engineer | Madison, WI or Remote | https://holos.io/

At Holos, we're developing a general-purpose spatial computing system for AR and VR, and deploying it in the educational and training fields to let people take control over their learning and personal growth like never before. Our product is built on top of proven technologies like Leap Motion's hand tracking, Valve’s SteamVR platform, Node.js, and Vue.

Our team is small but mighty and growing. You'll be working alongside the CTO, and often the Co-Founders, in a very generalist and multidisciplinary role. If you have an affinity for technology, design, and education, then please reach out. We welcome friendly, curious individuals that understand the power of communication, knowledge, and teamwork to apply.

We are currently seeking:

- AR/VR Interaction Engineer: https://angel.co/company/holosxr/jobs/1370420-unity-networki...

- Unity Networking Engineer: https://angel.co/company/holosxr/jobs/1370420-unity-networki...

What about a 401k? On my Fidelity account I can choose where the money is allocated. Should I shift it into something more stable (money market fund)?

What are the alternatives to Amazon? I'm sick of having to deal with fake reviews and potentially fake products. Nowadays I don't purchase anything critical on Amazon due to these sorts of problems.

Amazon doesn't seem to be at all interested in tackling these issues - it's only a matter of time before it degrades completely into something like AliExpress.

This solution bundles all of the attributes into the same type, which comes with the downside that it's impossible to represent a single attribute without also receiving all the other attributes.

I think that the best solution in Haskell would be to group the types in a typeclass. However then the typeclass is not directly associated with the p or img value constructors. I wonder if there is some way to use dependent types to improve this situation.

Does anyone have a good way of representing HTML in the form of types? I'm primarily thinking about how it's tricky to pair valid attributes with the correct elements. For example, it should be okay to use the "alt" attribute with the img tag, but not with the p tag. It seems like there should be a type-safe way to do this.