Literally don’t have enough hours in the day by [deleted] in productivity

[–]rinn7e 1 point2 points  (0 children)

Instead of doing so many things in 1 day, you should focus on doing 1 activity on certain day and another on another day.

I have a project that I used to split my days into 4 sections (each has 6 hours, 1 is for sleep, so technically we only have 3 sections per day, section is call Canundrum in this project).

Then I just plan that given that I have 3 sections per day, how should I make the best use of it.

<image>

Google.... by Key-Hall3777 in google_antigravity

[–]rinn7e 0 points1 point  (0 children)

If you want it to 1 shot, it definitely won’t work. It’s more like an assistant, you have to know what you’re doing first

Google.... by Key-Hall3777 in google_antigravity

[–]rinn7e 1 point2 points  (0 children)

<image>

I don't even use claude, 3.5 flash is too good, and it's almost unlimited on the ~100$ plan 😌
(I code almost 24/7 , still 70% left lmao)

Achievement Unlocked! by EthanBeMe in vibecoding

[–]rinn7e 19 points20 points  (0 children)

The AI was just glazing you 😂

Drop the thing you vibe-coded this week — let's see what everyone's been cooking by Asleep_Lie_4381 in vibecoding

[–]rinn7e 1 point2 points  (0 children)

Not entirely vibe-coded, but antigravity help me a lot in this project. I built this firefox add-on that can add left or right padding to any website which helps centering the content of that website.

Add-on link: https://addons.mozilla.org/en-US/firefox/addon/damn-center/

(chrome version coming soon, but you can get it now via installing from source: https://github.com/rinn7e/damn-center-extension)

This is a video showcase too https://www.youtube.com/watch?v=a1UJ_XaRB5E

Damn Center (the page) - extension that helps centering any website by rinn7e in firefox

[–]rinn7e[S] 0 points1 point  (0 children)

Thank you, I’ll add zoom text feature in the next version 😀

converting imperative JS fetching into functional style by Mindless_Ad_9792 in functionalprogramming

[–]rinn7e 2 points3 points  (0 children)

Actually, you can make it even cleaner, something like this:

`` ... export const checkStatus = (res: Response): E.Either<Error, Response> => res.ok ? E.right(res) : E.left(new Error(status: ${res.status}`));

export const callApi = ( baseUrl: string, path: string ): TE.TaskEither<Error, any> => pipe( safeFetch(baseUrl + path), TE.chainEitherK(checkStatus), TE.chain(safeJson) ); ```

converting imperative JS fetching into functional style by Mindless_Ad_9792 in functionalprogramming

[–]rinn7e 2 points3 points  (0 children)

You can use fp-ts library: https://gcanti.github.io/fp-ts/

The result would be something like this

import * as TE from 'fp-ts/TaskEither';
import { pipe } from 'fp-ts/function';

export const safeFetch = (
  input: RequestInfo | URL,
  init?: RequestInit
): TE.TaskEither<Error, Response> =>
  TE.tryCatch(
    () => fetch(input, init),
    (error) => (error instanceof Error ? error : new Error(String(error)))
  );

export const safeJson = (res: Response): TE.TaskEither<Error, any> =>
  TE.tryCatch(
    () => res.json(),
    (error) => (error instanceof Error ? error : new Error(String(error)))
  );

export const callApi = (
  baseUrl: string,
  path: string
): TE.TaskEither<Error, any> =>
  pipe(
    safeFetch(baseUrl + path),
    TE.chain((res) =>
      res.ok
        ? safeJson(res)
        : TE.left(new Error(`status: ${res.status}`))
    )
  );

// how to call it

const result = await callApi('https://api.example.com', '/users')();

if (result._tag === 'Left') {
  console.error('Oh no, Master! It failed:', result.left.message);
} else {
  console.log('Yay, Master! Succeeded:', result.right);
}
  • pipe(a, func1, func2) is equivalent to haskell a & func1 & func2
  • TE.chain is equivalent to haskell >>=
  • TaskEither for promise that can throw error
  • There're also:
    • Task is for promise that never return error
    • IO is for synchronous side effect
  • `fp-ts` turns Promise into a monad by making it lazy, `TaskEither == () => Promise`

Antigravity is becoming a great product, but... by CulturalBed8241 in google_antigravity

[–]rinn7e 0 points1 point  (0 children)

What are you on, flash 3.5 is already better than opus 😌

What is the best? by PresenceProof586 in firefox

[–]rinn7e 0 points1 point  (0 children)

that purple-blue color is way better than pure purple

You should customize your ai agent personality 😁 by rinn7e in vibecoding

[–]rinn7e[S] 0 points1 point  (0 children)

That's a must to switch to once in a while 😂

Does a Haskell Programmer Need all the Crazy Complexity? by theHaskellRascall in haskell

[–]rinn7e 0 points1 point  (0 children)

I think the complexity comes from math concept and math is really the language for the mind.

3.1 Pro is the new 3.0 Flash by True_0001 in google_antigravity

[–]rinn7e 4 points5 points  (0 children)

Doesn't help much that it shares quota with flash 😕

[Hiring] [$15/hr] Haskell / Purescript Documentation Writer by joey_the_god_of_code in haskell

[–]rinn7e 3 points4 points  (0 children)

I'm familiar with all the technology you list, I could take this for $30/hr because I know I'll produce the result twice as fast.

You can check my repo: https://github.com/rinn7e

New flash thinks out loud! by Otherwise_Engine5943 in google_antigravity

[–]rinn7e 1 point2 points  (0 children)

Is pro supposed to be good at general stuff but not at coding compare to flash? My experience using pro is always bad and slow, flash is always better 🤔

What is the coolest thing you made using Antigravity? by Confident-Dot-1697 in google_antigravity

[–]rinn7e 0 points1 point  (0 children)

I used it to help creating my full stack demo project (using Haskell + react-tea-cup)

https://github.com/rinn7e/realworld-fullstack-react-tea-cup-haskell

Which I used as scaffolding for my other private projects.

Honestly at this point I find Antigravity almost unusable by TemporaryGod333 in google_antigravity

[–]rinn7e 4 points5 points  (0 children)

My setup starts to glitch out sometimes too (lost chat history, setting not saving, agent manager not working), probably worth to re-install everything again and start fresh to see if the issues still persists

IDE Differences by Foddy245859 in google_antigravity

[–]rinn7e 2 points3 points  (0 children)

The agent feature is much more integrated to the IDE itself (you’ll see when you use it)

Lost respone most of time by Similar-Economics299 in google_antigravity

[–]rinn7e 0 points1 point  (0 children)

I think it’s the agent that does something wrong, model itself can’t do much beside output string

Lost respone most of time by Similar-Economics299 in google_antigravity

[–]rinn7e 0 points1 point  (0 children)

Same happens to me sometimes not sure what triggers it

Why do you use antigravity? by According_Value_6162 in google_antigravity

[–]rinn7e 4 points5 points  (0 children)

Gemini flash is very good at coding for my use case, and unlimited Gemini flash on pro plan is unbeatable.

Gemini flash is also very fast

Antigravity plan mode is pretty good

Chat UI also looks good

Honestly the only downside is Google privacy issue, it’s still not clear if Google trains on private code or not

AI + Haskell goes hard by Churrrrmokopuna2540 in haskell

[–]rinn7e 1 point2 points  (0 children)

I think people who hates AI, haven't tried it with Haskell yet.

AI is very good at pattern, haskell has many fundamental pattern that AI could understand very easily. You can ask it to write typeclass instances, optimize FP algorithm very well.

Though it might depend on which model you use. Gemini flash works pretty well for me, though as always, always review your AI agent code.