We know how the next token is selected, but not why doing that repeatedly brings all the capabilities it does. We really don't understand how the emergent behaviours emerge.
Better privacy might be running Llama2 locally, offline.
If somebody hasn't tried running LLMs yet, here are some lines that do the job in Google Colab or locally. The !s are for Colab, remove them for local terminal. The script downloads the ca. 8GB model, but Llama.cpp can run offline afterwards.
Encryption of secrets stored in state and or support for a would be an excellent first fork feature to pull ahead. Maybe something that supports backends like AWS KMS (for encryption) or AWS Secret Manager (for storing/retrieving ) secrets.
Stringing together resources to pull from a secrets manager and still having the secrets stored plainly in state is enormously frustrating. We aren’t all living in a nirvana of fast rotating out of band secrets.
The old paradigm is new again. Combining Django with HTMX, you get the simplicity of rendering HTML on the server side and not deal with bloated and over-engineered Javascript frameworks. Flask/Django with HTMX and Tailwindcss is a fantastic combination and my current preferred stack. I also add Alpinejs to this mix for interactivity. Really enjoying the heightened productivity that this setup provides.
It is. I generate the Windows executables for a program by cross-compiling Rust on Linux. Then test with Wine. The Rust crates are cross-platform enough that I don't have to special case platforms. This is easier than having a Windows machine.
The only current headache is that there's no pure Rust bundler, to make ".msi" or ".msix" installer files.
There's already been choice in the 10.3" eInk note pad segment, Kobo Elipsa, Fujitsu Quaderno, Boox Note and Note Air, Likebook P10W, Supernote A5X, etc. It's just such a niche thing combined with most of the devices being Asian focused and remarkable heavy online marketing that makes them seem like the only option.
1. It's slow, even for simple microsecond computations like log(2). Takes about 5-20 seconds to load a page on my 1Gb fiber connection. Opening Python/SymPy Gamma is much faster for most things. https://gamma.sympy.org/input/?i=log%282%29
2. Every time I use it, a box saying
NEW: Use textbook math notation to enter your math. TRY IT
pops up over the result, and clicking the X doesn't hide it the next time I search. This adds ~3 seconds to the result time.
3. I'm a long-term Mathematica user, but typing literal Mathematica syntax usually never works, except for simple expressions.
4. Results are PNGs, and copy-pasting a numerical result takes a few unnecessary clicks. "Plain Text" > Copy.
It's for games (not sure if that's what you meant) but our startup makes Construct 3, a NoCode platform for developing games: https://www.construct.net
> Exactly the same feeling - even on Windows there really isn't anything like it - even from Microsoft.
WinForms itself is still around to this day, and Microsoft is actively updating and supporting it on the latest .NET versions. You can just pretend that none of that other stuff ever happened. I've been writing WinForms apps for 20 years, since the initial Visual Studio .NET beta. It still has that same high level of productivity that Visual Basic did.
Thanks, it's a pretty long story and still very actively developing I guess. Let's try and boil it down:
- Started working on the product to scratch an itch. Essentially couldn't find an easy, dev friendly synthetics solution.
- Quit job, started freelancing. Coded first version on the side.
- Launched on HN and Producthunt. No upvotes, no one noticed.
- Kept working and working. Code -> Ship -> Talk to users.
- First year had 10 customers.
- Second year more and more traction. Some really cool customers joined. Zeit (now Vercel) etc.
- Noticed that doing this all by yourself is crazy. Actively looked for co-founders. Got lucky and found two excellent ones.
- Decided to turn the bootstrapped company into a VC backed one because of ambition and timeliness (e.g. organic takes too long to make a dent right now in a very busy market)
- Raised a round. Hired basic team. Mostly engineers.
- Spent ~12 months turning a one-man show into a real company.
- Changed pricing model and got more and more traction.
- Raised another round after figuring out the basics of marketing/distribution, product vision and customer traction. I guess you call that product market fit.
- Right now ramping up the team and delivering on a vision.
Most of this was done remote and basically right when Corona lock downs started happening.
; Type in the clipboard
^!v::
MyClip = %clipboard%
StringReplace, MyClip, MyClip, `r, , All
SendRaw %MyClip%
return
in my AutoHotkey script for a long time now to let me hit Ctrl-Alt-V and have it type in the text of whatever's in the clipboard. (Type instead of paste to get around random situations where the clipboard won't do what I want)
Looks like this doesn't support Ctrl-O (run line and retrieve next line from history). I've found that incredibly useful for re-running a series of commands: Ctrl-R to reverse search, type a few letters, Ctrl-O Ctrl-O Ctrl-O.
We’re recently running two machines (master and standby) at M5 Hosting. All of HN runs on a single box, nothing exotic:
CPU: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz (3500.07-MHz K8-class CPU)
FreeBSD/SMP: 2 package(s) x 4 core(s) x 2 hardware threads
Mirrored SSDs for data, mirrored magnetic for logs (UFS)
"In fact, this morning, I was reading a news article in Hacker News, which is a community where we have been working hard to make sure that Azure is growing in popularity and I was pleasantly surprised to see that we have made a lot of progress..."
Honestly, I feel much safer getting my apps form F-Droid than any big "official" app-store.
I was searching for a QR code reader since oneplus removed the one built in the camera app for some reason (f*ck you oneplus, that's the last time I'm giving you my money) and all the results in the Google Play Store seemed like ad/spy-ware even though they had millions of downloads and top ratings. F-Droid gave me much cleaner options without ads or telemetry. Same for weather apps and audio players (yes, I'm THAT guy who still has MP3s).
While they don't have the best UX in the world, apps on F-Droid seem much lighter on resources, data and battery, not to mention better privacy, than what you find on the Play Store. Add in gems like New Pipe and Blokada which make F-Droid priceless and IMHO the only reason why I'm stil on Android.
