Jesus said in John 18:37, "For this I was born, and for this I came into the world, to bear witness to the truth. Every one who is of the truth hears my voice."
Only those who are of the truth can receive the truth, which is the voice of God. What is it to be "of the truth"? To be of the truth is to be birthed by the truth. It is to be born again by the truth.
I'm repurposing Pen.el into a software Bible because I believe that more important than software transparency and software freedom is developing software to keep the Bible holy and set-apart for God's purpose. My Dad told me Pen.el sounds a bit like Peniel (which means 'Face of God'), so I have made Genesis 32:30 display on startup. I want to build software to keep the Bible holy.
As you can see from the date on that blog article, Jesus saved me on 2 April 2022, daylight savings.
2 April also happened to be Palm Sunday in 2023, which is the day that Jesus triumpantly entered Jerusalem.
On 3 May 2022 I confessed (out of body, to the Holy Spirit, the Spirit of Truth):
Jesus is in me forever through the Holy Spirit.
I don't have to go anywhere to find Him. He found me.
He is the one keeping me alive.
To embrace Him is to embrace God Himself.
He is God Almighty.
Without the Holy Spirit we would not be able to obey the LORD.
He is the one who also washes us.
The Holy Spirit is doing the washing.
I've made mistakes as I was barely ready after
being born again to get thrust into spiritual
battle, but I want the remainder of my time on Earth to honour Him.
- John 3:16 - For God so loved the world, that He gave His only begotten Son, that whoever believes in Him shall not perish, but have eternal life.
- Hebrews 4:12 - For the word of God is living and active, and sharper than any two-edged sword, even penetrating as far as the division of soul and spirit, of both joints and marrow, and able to judge the thoughts and intentions of the heart.
- How to make a heart holy: By the blood of Jesus Christ and the Word of God in your heart.
Truth is a person, Jesus Christ, and Jesus Christ is the Word of God Almighty, and is God Almighty.
Jesus can save anyone! I pray that anyone reading this will be blessed by God!
Though I'm not a particularly religious person myself, I have to say this is commendable work. Your passion and conviction for both this project and your beliefs is very evident. I'm comforted seeing people able to balance the provable logics of science against the blind faiths sometimes asked of religion. Thankfully it seems to be a slowly growing trend.
that sounds like a great idea! I'll return 3 when peers ask me for a random number, and then I'll start seeing if that seed shows us in any prominent RSA private keys
does anyone know if you could take a window and make it always be in the background -- the reverse of "always on top", say "always on bottom"? doesn't seem to be an option on Mac or in Gnome that I can tell but maybe there is someway to gain that functionality.
in reality, more often than you'd like, the proceeds of these projects go straight to scammers who don't actually have the rights to the source itself.
For anyone interested, my whole PhD was in biomedical hypothesis generation! I think the most "serious" attempts at building these systems have been focused around providing assistance to scientists, and not just coming up with new ideas on their own.
here's an actual medical paper that my first system, Moliere, was able to help discover:
I also am working within this field in academia, and I must say that I have really enjoyed reading your work. I am focused a bit more on combining biological data sources with text knowledge graphs, but in my literature review of the field, I have found that we both have very similar aspirations for career path.
It seems that one major bias that the author of the post's blog has is their heavy conflation of 'worth' with money.
Many of us probably realize that this is not true, as academia clearly shows. Furthermore, It's not that crazy that they had trouble making money off of software, as I wouldn't expect many startups at all to be able to get customers from software solutions alone.
They also seem to try to compare their success with that of essentially 'other biotech ml companies'; for which I would expect there to be quite a bit of tangible resources that these 'other companies' provide. For example, a startup looking to provide a service of detecting diseases or conditions from DNA methylation data would likely perform the sequencing required before doing an analysis (in order to have good control over experimental conditions).
The materials alone in that case could cost quite a bit - so charging a bit more for the analysis isn't that problematic, since the transaction of some currency is already required for covering material costs.
Anyway, as you mentioned - it seems it's important to recognize that these systems aren't necessarily meant to generate revenue for a startup, but rather are much more useful as a tool in academia.
My dissertation used a lot of dask code, and I found it to be an amazingly powerful tool for helping me to glue a few dozen other libraries together and orchestrate them as a single distributed system. sure it's half done spark, but if it were fully done spark I couldn't have used it as flexibly.
Phone numbers are stored in your phone's contacts app, a tool that does the remembering for you. Making an input box do two different things and then adding a heuristic to guess what the user wants might be handy, but can go wrong. And then, as the linked post demonstrates, users get used to that and treat every input box as if it can do both of these things. It's a race to the bottom. Now your users "got stupider" and you need to come up with even more stuff behind the scenes to fix it.
Nobody ever questioned that you have to learn driving a car. How to handle it, what would break it, traffic rules etc. Why don't we demand that cars become so smart that a 16yo can just buy one, jump on all the pedals and turn all knobs and be a safe while doing so because the car will prevent anything bad from happening? We somehow accept that driving a car is something non-trivial that has to be learned, has certain rules that need to be followed, etc.
> Nobody ever questioned that you have to learn driving a car.
At the same time, nobody ever questions what you don't learn to drive a car. You have one acceleration pedal; you don't have separate controls for the fuel/air mixture and ignition timings. You don't manually control the differential. You have one brake pedal, not separate ones for the front and rear brakes, and automatic anti-lock braking is even a useful safety feature.
Modern cars even have warnings for tire pressure, so the driver has less need to manually check.
Modern cars are so smart that a 16 year old can buy one and drive it without having to know how to rebuild the engine, unlike cars of a hundred years ago.
The trick is that we have a long cultural history of deciding just what aspects of car driving are non-trivial and need to be learned and what aspects can be automated successfully (or even beneficially). Consumer computing is still in its relative infancy, and it's a moving target.
I think the more 'magic' they bake in to help non-technical users, the more it makes it harder to understand how the thing works for everyone else. As you allude to, cars have some fundamental rules that don't tend to get broken. The steering wheel, accelerator and brakes for example are generally all in the same place and operate the same between models, brands, updates.
It's just as straightforward to interpret the browser bar as only being a search bar that accepts any textual representation of intent from the user and does its best to interpret that intent (that's what search engines do, after all). And if that intent looks like a URL [0], then it might interpret that as your intent and load that URL. It's just one of many cases that are expected from a search engine–other might include showing a map for a query that looks like a location, doing arithmetic calculations for queries that look like arithmetic expressions, etc.
[0] Or a domain...even the most tech-savvy among us probably types in domains without examining the difference between a domain and a URL or how software might detect whether a given string looks like a domain
Except conflating the address and search bar, then adding search suggestions, has objective problems. It's a bad thing that typing URLs in your address bar leaks them to Google/etc.'s search completion service, allowing search engines to track which URLs people begin visiting (not just searches they make).
> "kids these days don't know anyone's phone number!" If it works it works
My passenger had my phone number memorized. I went to visit him when he called me from jail. I used his gmail password to get his contacts' phone numbers to try to get someone else to bail him out, but it was only $300. After a few days I paid up to bail him out. He missed his next court date. I went to the bail revocation hearing a couple months later, and got $200 of that $300 back (iirc).
I make an effort to regularly exercise my mental phonebook, on his account.
That story reminds me of this homeless guy I helped out one night. He was wearing a suit, which is why I believed him, actually. He said he was a pilot, who just moved into a house but locked himself out with his wallet inside. So he attempted to break into his own house. The neighbors called the cops and he was arrested. Now he was “homeless” until he got things sorted out. I ran into him a few days later, he taught me how to fly and became a friend that I still email from time to time.
Are these blobs of text being generated by some language model or something? They seem like wildly incoherent generated stories 100% unrelated to the content of the article or this thread.
as a warning, I've heard that the big spreadsheet makers considered this and eventually passed on the idea. I believe the logic is that spreadsheet users don't understand ML, and if you want to do ML, you probably know how to export a spreadsheet.
Hi Nalta! Thank you for your advice. We noticed that indeed most spreadsheet users do not do well with ML logic - as they are used to Excel functions, which have an input -> output structure (not validation cycles, hyperparam optimization etc.). We are building an AutoML engine, exactly for this reason - to indeed take everything "ML" away for spreadsheet users. Our ultimate goal is to turn ML literally into an Excel function. Super challenging problem, but really exciting at the same time :).
A significant amount of ML work is done in Excel with more on the way. For example, see the book "Data Smart: Using Data Science to Transform Information into Insight" by John W. Foreman.
There oughtta be a "law" about this; something like "Every software system eventually has an Excel implementation" or such.
As someone else who works on systems like these, I agree training data is the whole problem. However you can use some techniques like homomorphic encryption and gradient pooling to collect training data from client code while remaining end-to-end encryption. It's hard, but it's not impossible.
Its a micro investing and savings app that converts the time you spend on your phone to buying securities in the stock market eg For every 24 Hours you spend on your phone, you can invest $5 into an ETF of your choice or even just put it away in a locked piggy bank
