funtkungus

@josevalim Creating pattern matched type guards... So cool

Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.

@FrameworkPuter Shipments to Japan??

Our biggest breakthrough in efficiency yet, the Framework Laptop 13 Pro with 20 hours of battery life. In Graphite. Linux-first with options for Ubuntu pre-installed. Featuring Intel® Core™ Ultra Series 3 processors, LPCAMM2 Memory, a new haptic touchpad, and a touchscreen display. Pre-orders for the Framework Laptop 13 Pro open now: frame.work

@JaidCodes @theo Why does this look so familiar

@theo pivoting to whatever this is

What happens when every single piece of software we rely on can be pwn’d in a for loop with a few hundred dollars of compute? I don’t think you guys are scared enough tbh.

@sama @realsigridjin How come I hit my limit?? I'm on the 200$ pro, and I use it sparingly. But now I hit the limit?? I don't understand.

To celebrate 3 million weekly codex users, we are resetting usage limits. We will do this every million users up to 10 million. Happy building!

@kdy1dev Expo. It's just so easy to deploy things and updates with eas imo

I have an idea for a mobile app. Any recommendations for the tech stack? It’s about traveling and I don’t think it will require many native modules, although I need the Google map and the Apply Pay/Google Pay integration.

@jacob_luetzow Always great content!

750K views on a YouTube channel about Elixir. The Elixir community is small but it shows up. Thank you all — 9,000 subscribers and counting 🔥 @ElixirMentor" target="_blank" rel="nofollow noopener">youtube.com/@ElixirMentor #myelixirstatus #elixirlang

@braelyn_ai Check out reqllm github.com/agentjido/req_…

is anyone building agents in elixir? it seems like a uniquely good language for agents in general

@ThePrimeagen gorilla.cs.berkeley.edu/leaderboard.ht… Look at multi-step accuracies. We're quite far from what we need.

can I get an eta on this?

@josevalim @josevalim Similar topic about this, but a bit more generalized: [2506.02153] Small Language Models are the Future of Agentic AI share.google/4jbnzCwLAlgUcC… Tldr; in agentic systems, we could utilize multiple smaller language models rather than relying on one large generalist LLM

Seeing more frameworks split coding agents into multiple "roles" but is there evidence this works better? For example, wouldn't a "full-stack" agent be more effective than separate front/backend ones? Or is this mostly about optimizing context sizes?

#Discord called me a dbag

@Geocoding_jp 大変なことをしました。apiリミットがわからずPoCアプリを開発している時に拒否にかかってしまっているようです。もしまた是認させていただければとすごい助かります！すでにthrottleを設定しておきました 🙇🏻‍♂️ 😭

当サービスからHTTPエラーコード403が返されたら「アクセス頻度高すぎ」によるアクセス拒否です。24時間ぐらい経つと解除されるはずですが、再び頻度が多すぎれば即拒絶するツンデレ仕様です。なお、改善される見込みないなーとこちらが判断した場合は恒久的に拒否となります。ご了承ください

has anyone have had issues with live navigation, especially `patch` in liveview 0.20.0? curiously stuck... elixirforum.com/t/phoenix-live… @elixirphoenix

@bjlee72 @hyeonseok @jesss_codes Sure, the mannerisms us Koreans use can be different to Chinese, it doesn't mean that our words are not derived from 한자/한문. Your last name === 李, just like mine right?

@funtkungus @hyeonseok @jesss_codes I think the issue here is that you don't understand what was the issue back then. Could you kindly take a look at the following example and guess what it would be like if you don't have your own characters?

@bjlee72 @hyeonseok @jesss_codes It seems like you just confirmed what I learned about our language: too difficult to write. If you don't believe that learning more 한문 will help us learn more about our language, I think you are a bit blind to the words we use. Closely look at the words we use everyday

@bjlee72 @hyeonseok @jesss_codes

@bjlee72 @hyeonseok @jesss_codes So, even the very basic wiki also got it wrong and nobody has dared to change it?

@bjlee72 @hyeonseok My argument was that 한글 (not 한국어) is a derivative of 한자. If I know my history, 한글 was made for literacy (and political gains) purposes. The words we say in Korean, it's direct meaning clings onto 한자. Think about the words we use everyday.

@funtkungus @hyeonseok The reason why the Chinese characters are so hard to learn to most of the Korean people was that it's for the totally different language system. That's the reason why we had to have our own characters... And don't be confused. Language come first, and characters follow.

@hyeonseok @jesss_codes It's quite irrelevant now that we don't teach nor learn 한문 as much as we should. If we kept learning it, we would understand our language even deeper. Again, I'm definitely not saying that it's Chinese. It just happens to be a derivative, which was kinda inevitable, right?

@funtkungus @jesss_codes Wrong. 한글 was made to read/write 한국어(Korean) which is language, not 漢字.

@hyeonseok @jesss_codes But, I'm saying here is what our language is derived from. I'm sure you also have 漢字 for your name, the meanings of our words and language also come from the meanings from 한자 / 한문. Im not saying it's Chinese, but it has its origins from 漢字.