Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
codelion
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
13 ms
·
151.
▲
by
codelion
3y ago
GPT-2 is surprisingly good at fine-tuning such conversations even now. I gave a talk recently on "Sparks of Digital Immortality" that covers a bit about how we did it - https://www.youtube.com/watch?v=F9-Qk86QyMM
152.
▲
by
codelion
3y ago
We do this at https://meraGPT.com
153.
▲
by
codelion
3y ago
You can do that today with https://meraGPT.com
154.
▲
by
codelion
3y ago
You need to buy the hardware (small edge device based on Nvidia Jetson) to train and run the models locally. The demos on the site are just examples trained on my own personal data.
155.
▲
by
codelion
3y ago
The particular example you shared has been prompted with chain of thought (or may be you are using GPT-4?. This is what happens if you try directly. You: Please count the number of t in eeooeotetto. ChatGPT: There are 5 t's in "ee
156.
▲
by
codelion
3y ago
I had similar issues when training personal models for https://meraGPT.com A meraGPT model is supposed to represent your personality so when you chat with it you need to do it as if someone else is talking to you. We train it ba
157.
▲
by
codelion
4y ago
Good to see Govulncheck doing a vulnerable methods analysis for surfacing only the relevant issues. Many app sec vendors do it now for languages like Java and .NET. I originally created the vulnerable methods analysis back in 2015 - https:
158.
▲
by
codelion
4y ago
To address this issue we designed a static analysis that can check if the upgrade is likely to break the application. Here are some details of the work- “Effective Static Checking of Library Updates” https://dl.acm.org/doi&#
159.
▲
by
codelion
4y ago
There is already a formally verified kernel - https://sel4.systems/home.pml
160.
▲
Ex-Netflix VP found guilty of awarding tech contracts in exchange for bribes
(arstechnica.com)
319 points
by
codelion
5y ago
|
276 comments
161.
▲
Test Lean and Ship Healthy
(srcclr.github.io)
2 points
by
codelion
6y ago
|
0 comments
162.
▲
by
codelion
6y ago
Good article, reminded me of another article about MPT which used it on cryptocurrencies - https://medium.com/@asankhaya/build-a-portfolio-of-cryptocur...
163.
▲
by
codelion
6y ago
Test Lean and Ship Healthy - https://github.com/srcclr/test-lean A short handbook on developing high quality software in the DevOps world.
164.
▲
Show HN: Sapling - a planning tool for remote and distributed teams
(github.com)
21 points
by
codelion
7y ago
|
0 comments
165.
▲
by
codelion
7y ago
It is also possible to build a model of Presburger arithmetic extended with infinity. We did that a few years back, you can try it out online here - http://loris-5.d2.comp.nus.edu.sg/SLPAInf/
166.
▲
Reason with OCaml
(medium.com)
2 points
by
codelion
9y ago
|
0 comments
167.
▲
Everything you wanted to know about Digital Currencies
(medium.com)
2 points
by
codelion
9y ago
|
0 comments
168.
▲
The Beginner’s Guide to Investing in Cryptocurrencies
(medium.com)
3 points
by
codelion
9y ago
|
0 comments
169.
▲
Build a Portfolio of Cryptocurrencies Using Modern Portfolio Theory
(medium.com)
6 points
by
codelion
9y ago
|
0 comments
170.
▲
How we found exploitable zero-days in the open-source GlassFish server
(sourceclear.com)
3 points
by
codelion
9y ago
|
0 comments
171.
▲
Vulnerable methods analysis for Ruby
(sourceclear.com)
1 points
by
codelion
9y ago
|
0 comments
172.
▲
by
codelion
10y ago
Ah yeah I had the old link, thanks for fixing. Actually we privately disclosure the problem to the developers and get it fixed following responsible disclosure and not post PRs directly.
173.
▲
by
codelion
10y ago
we have been doing thus for a while now : https://www.sourceclear.com/blog/millions-of-program-builds-...
174.
▲
Millions of program builds vulnerable to Man-in-the-Middle attacks
(sourceclear.com)
1 points
by
codelion
10y ago
|
0 comments
175.
▲
by
codelion
10y ago
Interesting project, you can also search for all kinds of suspicious commits using commit watcher: https://github.com/srcclr/commit-watcher
176.
▲
How can you ensure that your open source components are secure?
(linkedin.com)
1 points
by
codelion
10y ago
|
0 comments
177.
▲
Ransomware in Libraries
(blog.sourceclear.com)
2 points
by
codelion
10y ago
|
0 comments
178.
▲
Abusing npm libraries for data exfiltration
(blog.sourceclear.com)
3 points
by
codelion
10y ago
|
0 comments
179.
▲
A deep dive into analyzing dynamic languages
(blog.sourceclear.com)
2 points
by
codelion
10y ago
|
0 comments
180.
▲
Commit Watcher
(github.com)
2 points
by
codelion
10y ago
|
0 comments
More ›